Keyphrases
- order sorted
- predicate logic
- theorem proving
- higher order
- equational theories
- information extraction
- genetic algorithm
- spatial reasoning
- clifford algebra
- theorem prover
- knowledge representation and reasoning
- distributive lattices
- artificial intelligence
- natural language processing
- temporal reasoning
- database
- neural network
- boolean algebra
- relation algebra
- data sets