Keyphrases
- query answering
- default logic
- disjunctive logic programming
- autoepistemic logic
- data exchange
- loop formulas
- closed world assumption
- propositional logic
- logic programs
- answering queries
- default theories
- incomplete information
- logic programming
- conjunctive queries
- nonmonotonic logics
- default reasoning
- data complexity
- integrity constraints
- nonmonotonic reasoning
- first order logic
- data integration
- theorem prover
- query rewriting
- inconsistent databases
- modal logic
- query answers
- ontology based data access
- stable models
- datalog programs
- databases
- situation calculus