Mechanizable Inductive Proofs for a Class of Forall Exists Formulas.

Jacques Chazarain Emmanuel Kounalis

Published in: CADE (1994)

Keyphrases

concept learning
databases
machine learning
artificial intelligence
theorem prover
inductive inference
probabilistic model
theorem proving
multi class classification