Generalization Discovery for Proofs by Induction in Conditional Theories.
Emmanuel KounalisPascal UrsoPublished in: FLAIRS Conference (1999)
Keyphrases
- equational theories
- discovery process
- theorem proving
- constructive induction
- attribute oriented
- inductive learning
- scientific discovery
- subgroup discovery
- knowledge discovery
- conditional probabilities
- causal discovery
- inductive bias
- proof search
- theorem prover
- pattern discovery
- inductive logic programming
- program synthesis
- random field model
- decision rules
- formal proofs
- data mining
- mathematical proofs