Keyphrases
- commonsense reasoning
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- default logic
- proof theoretic
- formal theory
- abductive reasoning
- incomplete information
- conditional logic
- nonmonotonic inference
- possibility theory
- knowledge representation
- causal inference
- event calculus
- logic programs
- extended logic programs
- default rules
- artificial intelligence
- nonmonotonic logics
- defeasible logic
- fixpoint
- autoepistemic logic
- defeasible reasoning
- truth maintenance systems
- classical logic
- inheritance reasoning
- machine learning
- knowledge representation and reasoning
- answer set programming
- software engineering