Keyphrases
- default logic
- logic programs
- logic programming
- data quality
- commonsense knowledge
- global consistency
- answer sets
- theorem prover
- default reasoning
- consistency checking
- propositional logic
- closed world assumption
- disjunctive logic programming
- nonmonotonic logics
- path consistency
- real time
- situation calculus
- belief revision
- database systems
- case study