Keyphrases
- closed world assumption
- disjunctive logic programming
- nonmonotonic logics
- logic programs
- default reasoning
- radon transform
- projection method
- answer sets
- np complete
- theorem prover
- database
- nonmonotonic reasoning
- event calculus
- information systems
- artificial intelligence
- information retrieval
- loop formulas
- neural network