Towards learning new methods in proof planning

MaRDI QIDQ2751546zbMATH OpenFDO

Authors Mateja Jamnik, Manfred Kerber, Christoph Benzmüller

Publication date 13 June 2002

zbMATH Keywords

automated learningproof planning systems

Mathematics Subject Classification ID

Recommendations

• Automatic Learning of Proof Methods in Proof Planning
• scientific article; zbMATH DE number 2090296
• scientific article; zbMATH DE number 1980936
• Proof planning for strategy development
• scientific article; zbMATH DE number 827983

Cited in

(12)

• Adaptation of declaratively represented methods in proof planning
• Knowledge-based proof planning
• Proof planning with multiple strategies
• Generating plans from proofs. The interpolation-based approach to query reformulation
• Concept Formation via Proof Planning Failure
• scientific article; zbMATH DE number 1980936 (Why is no real title available?)
• Automatic Learning of Proof Methods in Proof Planning
• Learning domain knowledge to improve theorem proving
• scientific article; zbMATH DE number 1926636 (Why is no real title available?)
• scientific article; zbMATH DE number 2090296 (Why is no real title available?)
• Learning-assisted theorem proving with millions of lemmas
• Mathematical Knowledge Management

Describes a project that uses

Uses Software

• OMEGA
• Omega-ANTS

This page was built for publication: Towards learning new methods in proof planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751546)