Keyphrases
- equational theories
- theorem proving
- theorem prover
- automated theorem proving
- inference rules
- first order logic
- application of machine learning methods
- data sets
- higher order
- decision trees
- information retrieval
- probabilistic model
- database systems
- horn clauses
- function symbols
- decision making
- tutorial dialogue
- learning algorithm