Keyphrases
- proof search
- theorem proving
- inductive logic programming
- theorem prover
- inductive learning
- proof planning
- formal proof
- inductive reasoning
- program synthesis
- rule induction
- explanation based learning
- data mining
- decision procedures
- inductive inference
- concept learning
- multi agent systems
- feature selection
- information retrieval
- programming language
- probabilistic model
- data structure
- version space
- decision making
- constructive induction
- natural deduction
- artificial intelligence
- machine learning
- databases
- formal proofs