The Complexity of Reasoning for Fragments of Autoepistemic Logic

Nadia Creignou Arne Meier Michael Thomas Heribert Vollmer

Published in: CoRR (2010)

Keyphrases

autoepistemic logic
commonsense reasoning
default logic
truth maintenance systems
nonmonotonic reasoning
default reasoning
general logic programs
modal logic
knowledge base
classical logic
default theories
logic programming
reasoning systems
nonmonotonic logics
logic programs
knowledge representation
data model