Automating Inductive Proofs Using Theory Exploration.

Koen Claessen Moa Johansson Dan Rosén Nicholas Smallbone

Published in: CADE (2013)

Keyphrases

theoretical framework
deductive reasoning
equational theories
machine learning
neural network
inductive learning
information retrieval
clustering algorithm
case study
bayesian networks
computational model
information theory
conceptual framework
theorem prover
theoretical basis