{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:55Z","timestamp":1725664135871},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606543"},{"type":"electronic","value":"9783540485254"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60654-8_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:51:28Z","timestamp":1330271488000},"page":"85-90","source":"Crossref","is-referenced-by-count":0,"title":["Capturing and matching dynamic behaviour in case-based reasoning"],"prefix":"10.1007","author":[{"given":"Peter J.","family":"Funk","sequence":"first","affiliation":[]},{"given":"Dave","family":"Robertson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"No1","key":"7_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/AIC-1994-7104","volume":"7","author":"A. Aamodt","year":"1994","unstructured":"Aamodt, A. and Plaza, E., (1994). Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. AI Communications, Vol. 7, No 1, pp 39\u201359.","journal-title":"AI Communications"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bundy, A., (1992). Tutorial notes: reasoning about logic programs. Second International Logic Programming Summer School, LPSS '92. Proceedings, pp. 252\u201377, Comyn G., Fuchs N.E., & Ratcliffe M.J. (eds.), Springer-Verlag.","DOI":"10.1007\/3-540-55930-2_18"},{"key":"7_CR3","unstructured":"Dalianis H. and Hovy E. (1993). Aggregation in Natural Language Generation, The Fourth European Workshop on Natural Language Generation, Proceedings, Pisa, Italy."},{"key":"7_CR4","unstructured":"Davis, E., (1990). Representations of Commonsense Knowledge, chapters 2 and 3. Morgan Kaufmann."},{"key":"7_CR5","unstructured":"Echarti, J. P. and St\u00e5lmarck, G., (1988). A logical framework for specifying discrete dynamic systems, Technical Report, Ellemtel Telecommunication Systems Laboratories."},{"key":"7_CR6","unstructured":"Engstedt, M., (1991). A Flexible Specification Language using Natural Language and Graphics. MSc thesis, University of Edinburgh."},{"key":"7_CR7","unstructured":"Funk, P. J. and Robertson D., (1994). Case-Based Selection of Requirements Specifications for Telecommunication Systems. Second European Workshop on Case-Based Reasoning, Proceedings, Keane M., Haton J. P., Manago, M. (eds.), Chantilly, France, pp. 293\u2013301."},{"key":"7_CR8","unstructured":"Funk, P. J., (1993). Development and Maintenance of Large Formal Specifications Supported by Case-Based Reasoning. TP26. University of Edinburgh."},{"key":"7_CR9","unstructured":"Funk, P. J., Raichman, S., (1990) ROS, An Implementation Independent Specification for ISDN, Technical Report, Ellemtel Telecommunication Systems Laboratories."},{"key":"7_CR10","unstructured":"Gelfond, M. and Lifschitz, V. (1993). Representing action and change by logic programs, Logic Programming, pp. 301\u2013321."},{"key":"7_CR11","unstructured":"Lewis, H. R. and Papadimitriou C. H., (1981). Elements of theTheory of Computation, Prentice-Hall."},{"key":"7_CR12","unstructured":"Smyth, B. and Keane M. T., (1993). Retrieving Adaptable Cases, In K-D. Althoff, K. Richter, & S. Wess (eds.), First European Workshop on Case-Based Reasoning. Kaiserslauten: Germany."}],"container-title":["Lecture Notes in Computer Science","Progress in Case-Based Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60654-8_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:26:47Z","timestamp":1619558807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60654-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606543","9783540485254"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60654-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}