Automatic Learning of Proof Methods in Proof Planning

DOI10.1093/jigpal/11.6.647zbMath1042.03012OpenAlexW2063371232WikidataQ62046890 ScholiaQ62046890MaRDI QIDQ4465166

Mateja Jamnik, Manfred Kerber, Christoph Benzmüller, Martin Pollet

Publication date: 27 May 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ff53597bb1a954846c600ba7aef659cf342d69bc

zbMATH Keywords

automated reasoningknowledge acquisitionautomated theorem provingautomated learningproof planningmathematical reasoning systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Mechanization of proofs and logical operations (03B35)

Related Items

SEPIA: Search for Proofs Using Inferred Automata ⋮ Learning Strategies for Mechanised Building of Decision Procedures ⋮ Mining State-Based Models from Proof Corpora

Uses Software

• OMEGA