SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories.
Narjes BerregebAdel BouhoulaMichaël RusinowitchPublished in: RTA (1996)
Keyphrases
- equational theories
- proof search
- formal proofs
- special case
- theorem proving
- theorem prover
- explanation based learning
- concept formation
- spreading activation
- arc consistency
- domain theory
- artificial intelligence
- version space
- cognitive psychology
- causal reasoning
- inductive learning
- information processing
- spike trains
- program synthesis
- theoretical framework
- machine learning
- proof planning
- rough sets
- constructive induction
- neural network
- computational models