Tractable Reasoning in a Fragment of Separation Logic.

Ижил төстэй зүйлс

• Tractable reasoning in a fragment of separation logic
  -н: Cook, B, зэрэг
  Хэвлэсэн: (2011)
• Tractable Reasoning with Bayesian Description Logics
  -н: d'Amato, C, зэрэг
  Хэвлэсэн: (2008)
• Tractable reasoning with bayesian description logics
  -н: D'Amato, C, зэрэг
  Хэвлэсэн: (2008)
• Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
  -н: Motik, B
  Хэвлэсэн: (2012)
• Consequence-based and fixed-parameter tractable reasoning in description logics
  -н: Simancik, F, зэрэг
  Хэвлэсэн: (2014)