Login / Signup
Can inductive proofs be automated?
Peter Padawitz
Published in:
Bull. EATCS (1988)
Keyphrases
</>
semi automated
automated theorem provers
theorem prover
fully automated
inductive learning
machine learning
information systems
inductive logic programming
face recognition
feature selection
theorem proving
data driven
knowledge acquisition
real time
concept learning
rule learning
formal proof
formal proofs