Keyphrases
- propositional logic
- default logic
- fixed point
- minimal models
- autoepistemic logic
- nonmonotonic logics
- default reasoning
- closed world assumption
- commonsense knowledge
- logic programs
- situation calculus
- theorem prover
- nonmonotonic reasoning
- closed world reasoning
- loop formulas
- disjunctive logic programming
- answer sets
- classical logic
- logic programming
- domain knowledge
- multiscale
- clustering algorithm
- artificial intelligence
- data sets
- general logic programs
- database