Learning Domain Knowledge to Improve Theorem Proving.

Jörg Denzinger Stephan Schulz

Published in: CADE (1996)

Keyphrases

theorem proving
domain knowledge
learning algorithm
prior knowledge
automated reasoning
first order logic
training data
semi supervised
background knowledge
theorem prover
parallel search
geometry theorem proving