Automatic Learning of Proof Methods in Proof Planning.

Mateja Jamnik Manfred Kerber Martin Pollet Christoph Benzmüller

Published in: Log. J. IGPL (2003)

Keyphrases

proof planning
machine learning
artificial intelligence
theorem proving
knowledge base
natural language
expert systems
belief revision
concept learning
desirable properties
concept formation