Keyphrases
- defeasible logic
- queries using views
- decision procedures
- conjunctive queries
- theorem proving
- rewrite rules
- constraint propagation
- inductive logic programming
- rewriting rules
- temporal resolution
- query rewriting
- horn clauses
- rewriting systems
- presburger arithmetic
- databases
- propositional theories
- datalog programs
- regular path queries
- spatial resolution
- temporal logic
- database systems