Automatic Proofs by Induction in Theories without Constructors
Jean-Pierre JouannaudEmmanuel KounalisPublished in: Inf. Comput. (1989)
Keyphrases
- equational theories
- description logics
- rule induction
- machine learning
- fully automatic
- inductive learning
- search algorithm
- natural language
- theoretical framework
- version space
- mathematical proofs
- formal proofs
- knowledge representation and reasoning
- cognitive psychology
- theorem prover
- hidden markov models
- image sequences
- feature selection
- information retrieval