{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T22:15:16Z","timestamp":1761862516407},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635925"},{"type":"electronic","value":"9783540696063"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026780","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:33:26Z","timestamp":1132385606000},"page":"97-112","source":"Crossref","is-referenced-by-count":19,"title":["The tower-of-adapters method for developing and reusing problem-solving methods"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Fensel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J. M. Akkermans, B. Wielinga, and A. TH. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.): Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in AI, no 723, Springer-Verlag, 1993.","key":"7_CR1","DOI":"10.1007\/3-540-57253-8_47"},{"doi-asserted-by":"crossref","unstructured":"J. Angele, D. Fensel, and R. Studer: Domain and Task Modelling in MIKE. In A. Sutcliffe et al. (eds.), Domain Knowledge for Interactive System Design, Chapman & Hall, 1996.","key":"7_CR2","DOI":"10.1007\/978-0-387-35059-2_11"},{"issue":"2","key":"7_CR3","first-page":"93","volume":"8","author":"R. Benjamins","year":"1995","unstructured":"R. Benjamins: Problem Solving Methods for Diagnosis And Their Role in Knowledge Acquisition, International Journal of Expert Systems: Research and Application, 8(2):93\u2013120, 1995.","journal-title":"International Journal of Expert Systems: Research and Application"},{"key":"7_CR4","series-title":"Lecture Notes in Artificial Intelligence (LNAI)","volume-title":"Advances in Knowledge Acquisition","author":"R. Benjamins","year":"1996","unstructured":"R. Benjamins and C. Pierret-Golbreich: Assumptions of Problem-Solving Method. In N. Shadbolt et al. (eds.), Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence (LNAI), no 1076, Springer-Verlag, Berlin, 1996."},{"unstructured":"R. Benjamins, D. Fensel, and R. Straatman: Assumptions of Problem-Solving Methods and Their Role in Knowledge Engineering. In Proceedings of the 12. European Conference on Artificial Intelligence (ECAI-96), Budapest, August 12\u201316,1996.","key":"7_CR5"},{"unstructured":"P. Beys, R. Benjamins, and G. van Heijst: Remedying the Reusability-Usability Tradeoff for Problem-solving Methods. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW 96), Banff, Canada, November 9\u201314, 1996.","key":"7_CR6"},{"unstructured":"J. Breuker: Problems in Indexing Problem Solving Methods. In Proceeedings of the Workshop on Problem-Solving Methods during the IJCAI-97, Japan, August 24, 1997.","key":"7_CR7"},{"volume-title":"The CommonKADS Library for Expertise Modelling","year":"1994","unstructured":"J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.","key":"7_CR8"},{"doi-asserted-by":"crossref","unstructured":"T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson: The Computational Complexity of Abduction, Artificial Intelligence, 49, 1991.","key":"7_CR9","DOI":"10.1016\/0004-3702(91)90005-5"},{"issue":"9","key":"7_CR10","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/130994.131002","volume":"35","author":"B. Chandrasekaran","year":"1992","unstructured":"B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124\u2013137, 1992.","journal-title":"Communications of the ACM"},{"volume-title":"Second Generation Expert Systems","year":"1993","unstructured":"J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer-Verlag, Berlin, 1993.","key":"7_CR11"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B. C. Williams: Diagnosing Multiple Faults, Artificial Intelligence, 32:97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"J. de Kleer, K. Mackworth, and R. Reiter: Characterizing Diagnoses and Systems, Artificial Intelligence, 56, 1992.","key":"7_CR13","DOI":"10.1016\/0004-3702(92)90027-U"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0004-3702(94)00040-9","volume":"79","author":"H. Eriksson","year":"1995","unstructured":"H. Eriksson, Y. Shahar, S. W. Tu, A. R. Puerta, and M. A. Musen: Task Modeling with Reusable Problem-Solving Methods, Artificial Intelligence, 79(2):293\u2013326, 1995.","journal-title":"Artificial Intelligence"},{"unstructured":"D. Fensel and R. Benjamins: Assumptions in Model-Based Diagnosis. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW 96), Banff, Canada, November 9\u201314, 1996.","key":"7_CR15"},{"unstructured":"D. Fensel: Assumptions and Limitations of a Problem-Solving Method: A Case Study. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW-95), Banff, Canada, January 26\u2013February 3, 1995.","key":"7_CR16"},{"unstructured":"D. Fensel, H. Eriksson, M. A. Musen, and R. Studer: Developing Problem-Solving by Introducing Ontological Commitments, International Journal of Expert Systems: Research & Applications, vol 9(4), 1996.","key":"7_CR17"},{"doi-asserted-by":"crossref","unstructured":"D. Fensel and R. Straatman: The Essence of Problem-Solving Methods: Making Assumptions for Efficiency Reasons. In N. Shadbolt et al. (eds.), Advances in Knowledge Acquisiiton, LNAI 1076, Springer-Verlag, 1996.","key":"7_CR18","DOI":"10.1007\/3-540-61273-4_2"},{"unstructured":"D. Fensel and R. Groenboom: Specifying Knowledge-Based Systems with Reusable Components. In Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97), Madrid, Spain, June 18\u201320, 1997.","key":"7_CR19"},{"unstructured":"D. Fensel and A. Schonegge: Assumption Hunting as Development Method for Knowledge-Based Systems. In Proceeedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems at the 15th International Joint Conference on AI (IJCAI-97), Nagoya, Japan, August 23, 1997.","key":"7_CR20"},{"unstructured":"D. Fensel and A. Sch\u00f6negge: Specifying and Verifying Knowledge-Based Systems with KIV. In Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems EUROVAV-97, Leuven Belgium, June 26\u201328, 1997.","key":"7_CR21"},{"doi-asserted-by":"crossref","unstructured":"D. Fensel, E. Motta, S. Decker, Z. Zdrahal: Using Ontologies For Defining Tasks, Problem-Solving Methods and Their Mappings. To appear in Proceedings of the European Knowledge Acquisition Workshop (EKAW-97), Sant Feliu de Guixols, Catalonia, Spain, October 15\u201318,LNAI, Springer-Verlag, 1997.","key":"7_CR22","DOI":"10.1007\/BFb0026781"},{"key":"7_CR23","series-title":"Extensions of Classical Logic","volume-title":"Handbook of Philosophical Logic, vol. II","author":"D. Harel","year":"1984","unstructured":"D. Harel: Dynamic Logic. In D. Gabby et al. (eds.), Handbook of Philosophical Logic, vol. II, Extensions of Classical Logic, Publishing Company, Dordrecht (NL), 1984."},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/1042-8143(91)90001-4","volume":"3","author":"G. Klinker","year":"1991","unstructured":"G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and Reusable Programmin Constructs, Knowledge Acquisition, 3:117\u2013136, 1991.","journal-title":"Knowledge Acquisition"},{"volume-title":"Automating Knowledge Acquisition for Experts Systems","year":"1988","unstructured":"S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.","key":"7_CR25"},{"unstructured":"E. Motta and Z. Zdrahal: Parametric Design Problem Solving. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KA W96), Banff, Canada, November 9\u201314, 1996.","key":"7_CR26"},{"unstructured":"B. Nebel: Artificial intelligence: A Computational Perspective. In G. Brewka (ed.), Essentials in Knowledge Representation, 1996.","key":"7_CR27"},{"key":"7_CR28","series-title":"LNAI 1076","volume-title":"Advances in Knowledge Acquisition","author":"K. O'Hara","year":"1996","unstructured":"K. O'Hara and N. Shadbolt: The Thin End of the Wedge: Efficiency and the Generalized Directive Model Methodology. In N. Shadbolt (eds.), Advances in Knowledge Acquisition, LNAI 1076, Springer-Verlag, Berlin, 1996."},{"key":"7_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77971-8","volume-title":"Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods","author":"F. Puppe","year":"1993","unstructured":"F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993."},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science (LNCS)","volume-title":"Proceedings of the 11th International Conference on Automated Deduction, CADE-92","author":"W. Reif","year":"1992","unstructured":"W. Reif: The KIV-System: Systematic Construction of Verified Software, Proceedings of the 11th International Conference on Automated Deduction, CADE-92, Lecture Notes in Computer Science (LNCS), no 607, Springer-Verlag, Berlin, 1992."},{"doi-asserted-by":"crossref","unstructured":"W. Reif. The KIV Approach to Software Engineering. In M. Broy and S. J\u00e4hnichen (eds.): Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009, Springer-Verlag, 1995.","key":"7_CR31","DOI":"10.1007\/BFb0015471"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0167-6423(90)90025-9","volume":"14","author":"D. R. Smith","year":"1990","unstructured":"D. R. Smith and M. R. Lowry: Algorithm Theories and Design Tactics, Science of Computer Programming, 14:305\u2013321, 1990.","journal-title":"Science of Computer Programming"},{"volume-title":"KADS: A Principled Approach to Knowledge-Based System Development, vol 11 of Knowledge-Based Systems Book Series","year":"1993","unstructured":"A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker (eds.): KADS: A Principled Approach to Knowledge-Based System Development, vol 11 of Knowledge-Based Systems Book Series, Academic Press, London, 1993.","key":"7_CR33"},{"issue":"6","key":"7_CR34","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/64.363263","volume":"9","author":"A. T. Schreiber","year":"1994","unstructured":"A. TH. Schreiber, B. Wielinga, J. M. Akkermans, W. Van De Velde, and R. de Hoog: CommonKADS. A Comprehensive Methodology for KBS Development, IEEE Expert, 9(6):28\u201337, 1994.","journal-title":"IEEE Expert"},{"unstructured":"L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.","key":"7_CR35"},{"key":"7_CR36","volume-title":"Automated Configuration of Problem Solving Methods in Diagnosis","author":"A. Teije ten","year":"1997","unstructured":"A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, PhD thesis, University of Amsterdam, Amsterdam, NL, 1997."},{"doi-asserted-by":"crossref","unstructured":"P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadbolt: Knowledge Acquisition Support Through Generalised Directive Models. In M. David et al. (eds.): Second Generation Expert Systems, Springer-Verlag, 1993.","key":"7_CR37","DOI":"10.1007\/978-3-642-77927-5_19"},{"unstructured":"G. van Heijst and A. Anjewerden: Four Propositions concerning the specification of Problem-Solving Methods. In Supplementary Proceedings of the 9th European Knowledge Acquisition Workshop EKAW-96, Nottingham, England, May 14\u201317,1996.","key":"7_CR38"},{"unstructured":"B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber: A Formal Analysis of Parametric Design Problem Solving. In Proceedings of the 9th Banff Knowledge Acquisition Workshop (KAW-95), Banff, Canada, January 26\u2013Feruary 3, 1995.","key":"7_CR39"},{"doi-asserted-by":"crossref","unstructured":"M. Wirsing: Algebraic Specification. In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ, 1990.","key":"7_CR40","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026780","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:36:36Z","timestamp":1586568996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/bfb0026780","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}