Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898517zbMATH OpenOpenAlexFDO

Authors Andreas Meier, Erica Melis

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Failure reasoning in multiple-strategy proof planning
• Proof planning with multiple strategies
• scientific article; zbMATH DE number 1696826
• Knowledge-based proof planning
• Artificial Intelligence and Symbolic Computation

Cited in

(6)

• Knowledge-based proof planning
• Proof planning with multiple strategies
• scientific article; zbMATH DE number 1696826 (Why is no real title available?)
• Failure reasoning in multiple-strategy proof planning
• Concept Formation via Proof Planning Failure
• scientific article; zbMATH DE number 1926636 (Why is no real title available?)

Describes a project that uses

Uses Software

• Multi

This page was built for publication: Mathematical Knowledge Management

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