Another View of Autoepistemic Logic and Truth Maintenance System.
Yuejun JiangPublished in: ISMIS (1991)
Keyphrases
- truth maintenance systems
- autoepistemic logic
- default logic
- nonmonotonic reasoning
- constraint propagation
- default theories
- minimal models
- logic programs
- temporal reasoning
- logic programming
- inference mechanism
- modal logic
- belief revision
- knowledge base
- propositional logic
- default reasoning
- classical logic
- nonmonotonic logics
- defeasible logic
- general purpose
- high level