Login / Signup
On Embedding Default Logic into Moore's Autoepistemic Logic.
Grigori Schwarz
Published in:
Artif. Intell. (1996)
Keyphrases
</>
autoepistemic logic
default logic
default theories
nonmonotonic reasoning
logic programming
default reasoning
commonsense reasoning
nonmonotonic logics
modal logic
default rules
fixed point
truth maintenance systems
minimal models
logic programs
classical logic
data model