{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:13Z","timestamp":1725455593457},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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\/bfb0026803","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:33:26Z","timestamp":1132385606000},"page":"371-376","source":"Crossref","is-referenced-by-count":0,"title":["KIDS for KADS"],"prefix":"10.1007","author":[{"given":"Remco","family":"Straatman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"30_CR1","unstructured":"M. Aben. Formal Methods in Knowledge Engineering. PhD thesis, University of Amsterdam, februari 1995."},{"key":"30_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, June 1993."},{"volume-title":"The CommonKADS Library for Expertise Modelling","year":"1994","key":"30_CR3","unstructured":"J. A. Breuker and W. Van de Velde, editors. The CommonKADS Library for Expertise Modelling. IOS Press, Amsterdam, The Netherlands, 1994."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"D. Fensel and R. Straatman. The essence of problem-solving methods: Making assumptions for efficiency reasons. In Nigel Shadbolt, Kieron O'Hara, and Guus Schreiber, editors, proceedings of the gth European Knowledge Acquisition Workshop, EKAW-96 Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61273-4_2"},{"volume-title":"KADS: A Principled Approach to Knowledge-Based System Development","year":"1993","key":"30_CR5","unstructured":"A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker, editors. KADS: A Principled Approach to Knowledge-Based System Development Academic Press, London, 1993."},{"key":"30_CR6","series-title":"Technical Report KES.U.87.12","volume-title":"Structure and design of global search algorithms","author":"D. R. Smith","year":"1987","unstructured":"D. R. Smith. Structure and design of global search algorithms. Technical Report KES.U.87.12, Kestrel Institute, Palo Alto, California, November 1987."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"D. R. Smith. Kids: A semi-automatic program development system. IEEE Transactions on Software Engineering, September 1990.","DOI":"10.1109\/32.58788"},{"key":"30_CR8","series-title":"Technical report","volume-title":"KIDS for KADS","author":"R. Straatman","year":"1996","unstructured":"R. Straatman. KIDS for KADS. Technical report, SWI, UvA, Amsterdam, 1996. http:\/\/www.swi.psy.uva.nl\/usr\/remco\/postscripts\/Straatman:96a.ps.gz"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"F. van Harmelen and M. Aben. Structure preserving specification languages for knowledge-based systems. International Journal of Human Computer Studies, 1996.","DOI":"10.1006\/ijhc.1996.0010"},{"key":"30_CR10","unstructured":"B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber. A formal analysis of parametric design problem solving. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 8th Banff KAW, Alberta, Canada, 1995."}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:35:50Z","timestamp":1586568950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0026803","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}