Inverse verification of problem-solving methods

DOI10.1006/IJHC.1998.0210MaRDI QIDQ4224673zbMATH OpenOpenAlexFDO

Authors Dieter Fensel, Arno Schönegge

Publication date 17 January 1999

Published in International Journal of Human-Computer Studies (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/37508995b64a1f6d32b1d1b47c6c2ab2c4b31b50

zbMATH Keywords

problem-solving methods

Mathematics Subject Classification ID

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

Recommendations

• A state space analysis of propose-and-revise
• scientific article; zbMATH DE number 4043307
• Task modeling with reusable problem-solving methods
• A competence theory approach to problem solving method construction
• Failure reasoning in multiple-strategy proof planning

This page was built for publication: Inverse verification of problem-solving methods

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