Keyphrases
- theorem proving
- horn clauses
- theorem prover
- logic programs
- logic programming
- inductive inference
- automated theorem proving
- deductive databases
- predicate logic
- machine learning
- fixpoint
- neural network
- search algorithm
- stable models
- compositional semantics
- expert systems
- multiscale
- classical logic
- information retrieval
- containment of conjunctive queries