Keyphrases
- theorem proving
- automated theorem proving
- defeasible logic
- automated deduction
- proof procedure
- temporal resolution
- inductive logic programming
- horn clauses
- computer algebra
- decision procedures
- databases
- database systems
- web services
- artificial intelligence
- information retrieval
- data sets
- algebraic structure
- database