Keyphrases
- commonsense reasoning
- default rules
- nonmonotonic reasoning
- autoepistemic logic
- logic programming
- incomplete information
- event calculus
- knowledge representation
- default reasoning
- classical logic
- formal theory
- nonmonotonic logics
- reasoning tasks
- missing information
- default logic
- partially ordered
- formal semantics
- model theoretic
- situation calculus
- temporal reasoning
- multi agent