On the Relation Between Truth Maintenance and Autoepistemic Logic.
Michael ReinfrankOskar DresslerGerhard BrewkaPublished in: IJCAI (1989)
Keyphrases
- truth maintenance
- truth maintenance systems
- autoepistemic logic
- default logic
- nonmonotonic reasoning
- default theories
- logic programs
- modal logic
- logic programming
- classical logic
- constraint propagation
- nonmonotonic logics
- inference mechanism
- propositional logic
- knowledge base
- default reasoning
- model theoretic
- linear programming
- machine learning
- belief revision
- stereo matching
- description logics
- software engineering