{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:15:49Z","timestamp":1761401749709,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_26","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"309-316","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["ASP, Amalgamation, and the Conceptual Blending Workflow"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Eppe","sequence":"first","affiliation":[]},{"given":"Ewen","family":"Maclean","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Confalonieri","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Kutz","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Schorlemmer","sequence":"additional","affiliation":[]},{"given":"Enric","family":"Plaza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/B:LOGI.0000019236.64896.fd","volume":"33","author":"D Anderson","year":"2004","unstructured":"Anderson, D., Zalta, E.: Frege, boolos and logical objects. J. Philos. Logic 33, 1\u201326 (2004)","journal-title":"J. Philos. Logic"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/B978-012161964-0\/50011-X","volume-title":"Artificial Intelligence (Handbook of Perception and Cognition)","author":"MA Boden","year":"1996","unstructured":"Boden, M.A.: Creativity. In: Boden, M.A. (ed.) Artificial Intelligence (Handbook of Perception and Cognition), pp. 267\u2013291. Academic Press, London (1996)"},{"key":"26_CR3","unstructured":"Eppe, M., Confalonieri, R., Maclean, E., Kaliakatsos, M., Cambouropoulos, E., Schorlemmer, M., K\u00fchnberger, K.-U.: Computational invention of cadences and chord progressions by conceptual chord-blending. In: IJCAI (2015, to appear)"},{"key":"26_CR4","volume-title":"The Way We Think: Conceptual Blending and the Mind\u2019s Hidden Complexities","author":"G Fauconnier","year":"2002","unstructured":"Fauconnier, G., Turner, M.: The Way We Think: Conceptual Blending and the Mind\u2019s Hidden Complexities. Basic Books, New York (2002). ISBN 978-0-465-08785-3"},{"key":"26_CR5","volume-title":"Answer Set Solving in Practice","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, San Rafael (2012)"},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-12337-5_12","volume-title":"The Structure of Style: Algorithmic Approaches to Understanding Manner and Meaning","author":"J Goguen","year":"2010","unstructured":"Goguen, J., Harrell, D.F.: Style: a computational and conceptual blending-based approach. In: Argamon, S., Burns, K., Dubnov, S. (eds.) The Structure of Style: Algorithmic Approaches to Understanding Manner and Meaning, pp. 291\u2013316. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-12337-5_12. ISBN 978-3-642-12336-8"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-48834-0_15","volume-title":"Computation for Metaphors, Analogy, and Agents","author":"J Goguen","year":"1999","unstructured":"Goguen, J.: An introduction to algebraic semiotics, with application to user interface design. In: Nehaniv, C.L. (ed.) CMAA 1998. LNCS (LNAI), vol. 1562, pp. 242\u2013291. Springer, Heidelberg (1999)"},{"issue":"3\u20134","key":"26_CR8","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/j.cogsys.2011.01.004","volume":"12","author":"M Guhe","year":"2011","unstructured":"Guhe, M., Pease, A., Smaill, A., Mart\u00ednez, M., Schmidt, M., Gust, H., K\u00fchnberger, K.-U., Krumnack, U.: A computational account of conceptual blending in basic mathematics. Cogn. Syst. Res. 12(3\u20134), 249\u2013265 (2011). doi:10.1016\/j.cogsys.2011.01.004","journal-title":"Cogn. Syst. Res."},{"issue":"1\u20132","key":"26_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF00244460","volume":"16","author":"A Ireland","year":"1996","unstructured":"Ireland, A., Bundy, A.: Productive use of failure in inductive proof. J. Autom. Reason. 16(1\u20132), 79\u2013111 (1996)","journal-title":"J. Autom. Reason."},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10817-010-9193-y","volume":"47","author":"M Johansson","year":"2011","unstructured":"Johansson, M., Dixon, L., Bundy, A.: Conjecture synthesis for inductive theories. J. Autom. Reason. 47, 251\u2013289 (2011)","journal-title":"J. Autom. Reason."},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-16761-4_31","volume-title":"Advances in Artificial Intelligence","author":"O Montano-Rivas","year":"2010","unstructured":"Montano-Rivas, O., McCasland, R., Dixon, L., Bundy, A.: Scheme-based synthesis of inductive theories. In: Sidorov, G., Hern\u00e1ndez Aguirre, A., Reyes Garc\u00eda, C.A. (eds.) MICAI 2010, Part I. LNCS, vol. 6437, pp. 348\u2013361. Springer, Heidelberg (2010)"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-64299-4_42","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T Mossakowski","year":"1998","unstructured":"Mossakowski, T.: Colimits of order-sorted specifications. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 316\u2013332. Springer, Heidelberg (1998)"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS, vol. 2960. Springer, Heidelberg (2004)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-14274-1_20","volume-title":"Case-Based Reasoning. Research and Development","author":"S Onta\u00f1\u00f3n","year":"2010","unstructured":"Onta\u00f1\u00f3n, S., Plaza, E.: Amalgams: a formal approach for combining multiple case solutions. In: Bichindaritz, I., Montani, S. (eds.) ICCBR 2010. LNCS, vol. 6176, pp. 257\u2013271. Springer, Heidelberg (2010)"},{"key":"26_CR15","unstructured":"Pereira, F.C.: A computational model of creativity. PhD thesis, Universidade de Coimbra (2005)"},{"key":"26_CR16","doi-asserted-by":"crossref","DOI":"10.1515\/9783110198560","volume-title":"Creativity and Artificial Intelligence: A Conceptual Blending Approach","author":"FC Pereira","year":"2007","unstructured":"Pereira, F.C.: Creativity and Artificial Intelligence: A Conceptual Blending Approach. Mouton de Gruyter, Berlin (2007)"},{"key":"26_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B Pierce","year":"1991","unstructured":"Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991). ISBN 0262660717"},{"issue":"3\u20134","key":"26_CR18","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1515\/cogl.2001.016","volume":"11","author":"T Veale","year":"2000","unstructured":"Veale, T., Donoghue, D.O.: Computation and blending. Cogn. Linguist. 11(3\u20134), 253\u2013282 (2000). doi:10.1515\/cogl.2001.016","journal-title":"Cogn. Linguist."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T11:27:45Z","timestamp":1676978865000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}