Keyphrases
- theorem proving
- consequence finding
- proof planning
- proof search
- inference rules
- theorem prover
- decision procedures
- first order logic
- high resolution
- inductive logic programming
- program synthesis
- low resolution
- inductive learning
- rule induction
- database
- feature selection
- explanation based learning
- sampling rate
- higher resolution
- data mining
- neural network
- data sets