Keyphrases
- propositional logic
- fixed point
- default logic
- commonsense knowledge
- situation calculus
- logic programs
- minimal models
- nonmonotonic logics
- closed world assumption
- default reasoning
- database
- nonmonotonic reasoning
- data sets
- autoepistemic logic
- event calculus
- classical logic
- theorem prover
- answer sets
- commonsense reasoning
- disjunctive logic programming
- neural network
- closed world reasoning