Problem-Solving Methods: Understanding, Description, Development, and Reuse

What Are Problem-Solving Methods.- Making Assumptions for Efficiency Reasons.- What Are Problem-Solving Methods.- Making Assumptions for Efficiency Reasons.- An Empirical Survey of Assumptions.- How to Describe Problem-Solving Methods.- A Four Component Architecture for Knowledge-Based Systems.- Logics for Knowledge-Based Systems: MLPM and MCL.- A Verification Framework for Knowledge-Based Systems.- How to Develop and Reuse Problem-Solving Methods.- Methods for Context Explication and Adaptation.- Organizing a Library of Problem-Solving Methods.- Conclusions and Future Work.- Conclusions and Future Work.