Keyphrases
- default logic
- logic programs
- situation calculus
- closed world assumption
- commonsense knowledge
- default reasoning
- nonmonotonic logics
- autoepistemic logic
- minimal models
- nonmonotonic reasoning
- stable model semantics
- disjunctive logic programming
- data quality
- theorem prover
- closed world reasoning
- data sets
- answer sets
- logic programming
- computational intelligence
- artificial intelligence
- data mining