New Uses of Linear Arithmetic in Automated Theorem Proving by Induction.

Deepak Kapur Mahadevan Subramaniam

Published in: J. Autom. Reason. (1996)

Keyphrases

automated theorem proving
theorem prover
theorem proving
classical logic
rule induction
linear systems
closed form
inductive logic programming
data sets
machine learning
artificial intelligence
bayesian networks
training examples
first order logic
program synthesis