Keyphrases
- nonmonotonic reasoning
- software development
- logic programming
- belief revision
- default reasoning
- commonsense reasoning
- conditional logic
- default logic
- nonmonotonic inference
- software engineering
- case study
- autoepistemic logic
- defeasible reasoning
- possibility theory
- nonmonotonic logics
- causal inference
- abductive reasoning
- model theoretic
- database
- argumentation systems
- propositional logic
- defeasible logic
- fixpoint
- default theories
- general purpose
- formal methods
- extended logic programs
- proof theoretic
- formal specification