Keyphrases
- default logic
- commonsense knowledge
- default reasoning
- closed world assumption
- situation calculus
- autoepistemic logic
- logic programs
- logic programming
- theorem prover
- nonmonotonic reasoning
- minimal models
- answer sets
- event calculus
- propositional logic
- nonmonotonic logics
- disjunctive logic programming
- loop formulas
- intellectual property rights
- databases
- sensitive data
- data structure
- case study
- artificial intelligence