Interpretations of Open Default Theories in Non-Monotonic Logics.
Michael KaminskiPublished in: Ann. Math. Artif. Intell. (1993)
Keyphrases
- default theories
- default logic
- nonmonotonic logics
- autoepistemic logic
- classical logic
- modal logic
- default reasoning
- nonmonotonic reasoning
- logic programming
- valued logic
- default rules
- revision operators
- answer set programming
- expressive power
- inference rules
- general purpose
- database systems
- variants of default logic
- knowledge representation