Keyphrases
- horn theories
- canonical representation
- functional dependencies
- default logic
- closed world assumption
- situation calculus
- default reasoning
- autoepistemic logic
- commonsense knowledge
- logic programs
- answer sets
- disjunctive logic programming
- nonmonotonic logics
- logical formulas
- theorem prover
- stable model semantics
- loop formulas
- nonmonotonic reasoning
- integrity constraints
- logic programming
- partial order
- minimal models
- general logic programs
- classical logic
- event calculus
- machine learning
- text mining