Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.68636OpenAlexW2480281325MaRDI QIDQ5898517FDOQ5898517

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Knowledge-based proof planning
• Proof planning with multiple strategies
• Failure reasoning in multiple-strategy proof planning
• Concept Formation via Proof Planning Failure

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)