Keyphrases
- mathematical proofs
- mathematical knowledge
- automated theorem provers
- proof planning
- proof search
- theorem proving
- theorem prover
- selected papers
- machine learning
- computer software
- inductive inference
- cognitive processes
- inductive learning
- computer algebra
- rule induction
- subgroup discovery
- constructive induction
- equational theories
- oblique decision trees
- concept learning
- data sets
- information retrieval
- artificial intelligence
- acm sigkdd
- functional programs
- decision trees
- knowledge discovery
- conference proceedings
- program synthesis
- invited paper
- knowledge acquisition
- concept formation
- inductive logic programming
- explanation based learning