Keyphrases
- default logic
- logic programs
- default reasoning
- commonsense knowledge
- closed world assumption
- closed world reasoning
- situation calculus
- autoepistemic logic
- minimal models
- theorem prover
- nonmonotonic logics
- logic programming
- disjunctive logic programming
- answer sets
- data mining
- nonmonotonic reasoning
- knowledge base
- event calculus
- classical logic
- real world
- natural language
- e learning
- sensitive data
- multiscale
- belief revision