Failure reasoning in multiple-strategy proof planning

zbMATH Open1272.68374MaRDI QIDQ2848045FDOQ2848045

Authors: Andreas Meier, Erica Melis 

Publication date: 25 September 2013

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Automated Deduction – CADE-20
• Productive use of failure in inductive proof
• Mathematical Knowledge Management
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof planning with multiple strategies
• Concept Formation via Proof Planning Failure
• Title not available (Why is that?)
• Action failure recovery via model-based diagnosis and conformant planning
• Introspective multistrategy learning: On the construction of learning strategies

Uses Software

• Lambda-Clam
• OMEGA
• Multi

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)