Login / Signup
Can inductive proofs be automated? Part II.
Peter Padawitz
Published in:
Bull. EATCS (1989)
Keyphrases
</>
automated theorem provers
semi automated
fully automated
inductive learning
theorem proving
machine learning
formal proof
databases
bayesian networks
inductive logic programming
data sets
artificial intelligence
database systems
knowledge acquisition
context sensitive
inductive reasoning