scientific article; zbMATH DE number 827983

MaRDI QIDQ4858950zbMATHFDO

Authors Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn

Publication date 28 May 1996

zbMATH Keywords

declarative languageproof planningencoding plan operators

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Adaptation of declaratively represented methods in proof planning
• scientific article; zbMATH DE number 1980936
• Automatic Learning of Proof Methods in Proof Planning
• scientific article; zbMATH DE number 1748584
• Proof planning with multiple strategies

Cited in

(9)

• Proof planning for strategy development
• Plans and planning in mathematical proofs
• Proof planning: A practical approach to mechanized reasoning in mathematics
• Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
• scientific article; zbMATH DE number 4072439 (Why is no real title available?)
• scientific article; zbMATH DE number 1748584 (Why is no real title available?)
• Proof planning with multiple strategies
• scientific article; zbMATH DE number 1980936 (Why is no real title available?)
• Towards learning new methods in proof planning

This page was built for publication:

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