Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

Lignende værker

• Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
  af: Gottlob, G, et al.
  Udgivet: (1999)
• Herbrand-Confluence
  af: Stefan Hetzl, et al.
  Udgivet: (2013-12-01)
• Herbrand expansions of some formulas of modal logic S4
  af: Stanislovas Norgėla
  Udgivet: (2003-12-01)
• On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
  af: Federico Aschieri
  Udgivet: (2017-04-01)
• Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
  af: Gottlob, G, et al.
  Udgivet: (2006)