scientific article; zbMATH DE number 827983

zbMATH Open0838.68103MaRDI QIDQ4858950FDOQ4858950

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

Publication date: 28 May 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

declarative languageproof planningencoding plan operators

Mathematics Subject Classification ID

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

Cited In (9)

• Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
• Towards learning new methods in proof planning
• Title not available (Why is that?)
• Proof planning for strategy development
• Plans and planning in mathematical proofs
• Title not available (Why is that?)
• Proof planning: A practical approach to mechanized reasoning in mathematics
• Proof planning with multiple strategies
• Title not available (Why is that?)

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)