Failure reasoning in multiple-strategy proof planning

MaRDI QIDQ2848045zbMATH OpenFDO

Authors Andreas Meier, Erica Melis

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000964

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696826
• Mathematical Knowledge Management
• Proof planning with multiple strategies
• Artificial Intelligence and Symbolic Computation
• Automated Deduction – CADE-20

Cited in

(12)

• Introspective multistrategy learning: On the construction of learning strategies
• Productive use of failure in inductive proof
• Proof planning with multiple strategies
• scientific article; zbMATH DE number 1696826 (Why is no real title available?)
• Action failure recovery via model-based diagnosis and conformant planning
• Concept Formation via Proof Planning Failure
• Inverse verification of problem-solving methods
• scientific article; zbMATH DE number 733397 (Why is no real title available?)
• scientific article; zbMATH DE number 2044479 (Why is no real title available?)
• Automated Deduction – CADE-20
• scientific article; zbMATH DE number 5201473 (Why is no real title available?)
• Mathematical Knowledge Management

Describes a project that uses

Uses Software

• Multi
• Lambda-Clam
• OMEGA

This page was built for publication: Failure reasoning in multiple-strategy proof planning

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