Autoepistemic Logic Revisited.

Robert C. Moore

Published in: Artif. Intell. (1993)

Keyphrases

autoepistemic logic
default logic
nonmonotonic reasoning
default theories
classical logic
general logic programs
modal logic
logic programs
logic programming
commonsense reasoning
nonmonotonic logics
minimal models
default reasoning
truth maintenance systems
knowledge representation
inference rules