{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:21Z","timestamp":1725455601690},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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\/bfb0026775","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:33:26Z","timestamp":1132367606000},"page":"17-32","source":"Crossref","is-referenced-by-count":0,"title":["A systematic approach to the functionality of problem-solving methods"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Beys","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten","family":"van Someren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1006\/knac.1993.1005","volume":"5","author":"M. Aben","year":"1993","unstructured":"M. Aben. Formally specifying re-usable knowledge model components. Knowledge Acquisition, 5:119\u2013141, 1993.","journal-title":"Knowledge Acquisition"},{"key":"2_CR2","volume-title":"Problem Solving Methods for Diagnosis","author":"V. R. Benjamins","year":"1993","unstructured":"V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, June 1993."},{"key":"2_CR3","unstructured":"V. R. Benjamins, A. Abu-Hanna, and W. N. H. Jansweijer. Suitability criteria for model based diagnostic methods. In In Proceedings of ECAI-workshop on Model Based Reasoning, Vienna, 1992. SKBS\/A2\/92-13."},{"key":"2_CR4","unstructured":"P. Beys, R. Benjamins, and G. van Heijst. Task-neutrality: An essential factor for reuse? In The Open University, editor, Proc. of the 7th KEML Workshop, Milton Keynes, UK, January 1997. Knowledge Media Institute."},{"volume-title":"The CommonKADS Library for Expertise Modelling","year":"1994","key":"2_CR5","unstructured":"J. A. Breuker and W. Van de Velde, editors. The CommonKADS Library for Expertise Modelling. IOS Press, Amsterdam, The Netherlands, 1994."},{"key":"2_CR6","unstructured":"B. Chandrasekaran. Limitations of the generic task toolkit idea. proposal for an architecture that integrates different types of problem solving. In L. Steels and J. McDermott, editors, Expert System Foundations. 1990."},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-1-4684-7122-9_3","volume-title":"Automating Knowledge Acquisition for Expert Systems","author":"L. Eshelman","year":"1988","unstructured":"L. Eshelman. MOLE: A knowledge-acquisition tool for cover-and-differentiate systems. In S. Marcus, editor, Automating Knowledge Acquisition for Expert Systems, pages 37\u201380. Kluwer, Boston, 1988."},{"key":"2_CR8","unstructured":"D. Fensel, J. Angele, and D. Landes. Knowledge representation and acquisition language (KARL). In Proceedings 11th International workshop on expert systems and their applications (Volume: Tools and Techniques), pages 821\u2013833, Avignon, France, May 1991."},{"key":"2_CR9","unstructured":"D. Fensel, A. Sch\u00f6negge, R. Groenboom, and B. Wielinga. Specification and verification of knowledge-based systems. In Proc. Validation and Verification workshop at ECAI-96, 1996."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T. R. Gruber","year":"1993","unstructured":"T. R. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5:199\u2013220, 1993.","journal-title":"Knowledge Acquisition"},{"key":"2_CR11","volume-title":"Building Expert Systems","author":"F. Hayes-Roth","year":"1983","unstructured":"F. Hayes-Roth, D. A. Waterman, and D. B. Lenat. Building Expert Systems. Addison-Wesley, New York, 1983."},{"key":"2_CR12","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 programming constructs. Knowledge Acquisition, 3:117\u2013136, 1991.","journal-title":"Knowledge Acquisition"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-1-4684-7122-9_8","volume-title":"Automating Knowledge Acquisition for Expert Systems","author":"J. McDermott","year":"1988","unstructured":"J. McDermott. Preliminary steps towards a taxonomy of problem-solving methods. In S. Marcus, editor, Automating Knowledge Acquisition for Expert Systems, pages 225\u2013255. Kluwer, Boston, 1988."},{"issue":"3\/4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1023\/A:1022606806868","volume":"4","author":"J. McDermott","year":"1989","unstructured":"J. McDermott. The world would be a better place if non-programmers could program. Machine Learning, 4(3\/4):337\u2013338, 1989.","journal-title":"Machine Learning"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-55546-3_36","volume-title":"Current Developments in Knowledge Acquisition \u2014 EKAW'92","author":"A. T. Schreiber","year":"1992","unstructured":"A. Th. Schreiber, B. J. Wielinga, and J. M. Akkermans. Differentiating problem solving methods. In Th. Wetter, K-D. Althoff, J. Boose, B. Gaines, M. Linster, and F. Schmalhofer, editors, Current Developments in Knowledge Acquisition \u2014 EKAW'92, pages 95\u2013111, Berlin, Germany, 1992. Springer-Verlag."},{"key":"2_CR16","unstructured":"F. van Harmelen, J. M. Akkermans, J. R. Balder, A. Th. Schreiber, and B. J. Wielinga. Formal specifications of knowledge models. ESPRIT Basic Research Action P3178 REFLECT, Deliverable R.1 RFL\/ECN\/I.4\/1, Netherlands Energy Research Foundation ECN, August 1990. Available from: University of Amsterdam, Social Science Informatics, Roetersstraat 15, NL-1018 WB, Amsterdam, The Netherlands."},{"key":"2_CR17","unstructured":"F. van Harmelen and J. R. Balder. (ML)2: a formal language for KADS models of expertise. Knowledge Acquisition, 4(1), 1992. Special issue: \u2018The KADS approach to knowledge engineering', reprinted in KADS: A Principled Approach to Knowledge-Based System Development, 1993, Schreiber, A. Th. et al. (eds.)."},{"issue":"5","key":"2_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0933-3657(95)00005-Q","volume":"7","author":"G. Heijst van","year":"1995","unstructured":"G. van Heijst, S. Falasconi, A. Abu-Hanna, A. Th. Schreiber, and M. Stefanelli. A case study in ontology library construction. Artificial Intelligence in Medicine, 7(5):227\u2013255, June 1995.","journal-title":"Artificial Intelligence in Medicine"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T17:39:27Z","timestamp":1549301967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0026775","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}