Keyphrases
- inductive learning
- machine learning
- formal proofs
- theorem proving
- inductive concept learning
- inductive inference
- artificial intelligence
- inductive logic programming
- concept learning
- theorem prover
- computer programs
- decision procedures
- formal proof
- log log
- similarity measure
- three dimensional
- rule learning
- natural deduction
- inductive reasoning
- databases