Keyphrases
- order sorted
- horn clauses
- predicate logic
- theorem proving
- logical formulas
- first order logic
- equational theories
- distributive lattices
- logic programs
- inference rules
- theorem prover
- relation algebra
- topological spaces
- knowledge representation and reasoning
- boolean algebra
- neural network
- inductive logic programming
- information retrieval