Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System.
Ulrich JunkerKurt KonoligePublished in: AAAI (1990)
Keyphrases
- truth maintenance systems
- default logic
- autoepistemic logic
- default theories
- nonmonotonic reasoning
- logic programming
- nonmonotonic logics
- default reasoning
- constraint propagation
- modal logic
- fixed point
- inference mechanism
- propositional logic
- classical logic
- defeasible logic
- minimal models
- temporal reasoning
- logic programs
- general purpose
- knowledge base
- artificial intelligence