Algebraic considerations of autoepistemic logic.
Cecylia RauszerPublished in: Fundam. Informaticae (1991)
Keyphrases
- autoepistemic logic
- default logic
- nonmonotonic reasoning
- default theories
- logic programs
- classical logic
- modal logic
- minimal models
- commonsense reasoning
- nonmonotonic logics
- general logic programs
- logic programming
- truth maintenance systems
- higher order
- default reasoning
- artificial intelligence
- defeasible logic
- high level
- model theoretic
- machine learning