Keyphrases
- propositional logic
- default logic
- minimal models
- fixed point
- nonmonotonic logics
- default reasoning
- autoepistemic logic
- commonsense knowledge
- answer sets
- closed world assumption
- nonmonotonic reasoning
- theorem prover
- belief revision
- logic programs
- disjunctive logic programming
- closed world reasoning
- situation calculus
- classical logic
- loop formulas
- general logic programs
- logic programming
- event calculus
- stable model semantics
- data sets
- finite model theory
- default theories
- first order logic
- expert systems
- data mining