{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:16:38Z","timestamp":1761401798050},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,4,13]],"date-time":"2016-04-13T00:00:00Z","timestamp":1460505600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s10472-016-9505-y","type":"journal-article","created":{"date-parts":[[2016,4,14]],"date-time":"2016-04-14T04:33:31Z","timestamp":1460608411000},"page":"65-89","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Theory blending: extended algorithmic aspects and examples"],"prefix":"10.1007","volume":"80","author":[{"given":"M.","family":"Martinez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. M. H.","family":"Abdel-Fattah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Krumnack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"G\u00f3mez-Ram\u00edrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Smaill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. R.","family":"Besold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Pease","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Guhe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.-U.","family":"K\u00fchnberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,13]]},"reference":[{"key":"9505_CR1","unstructured":"Abdel-Fattah, A.M.H., Krumnack, U., K\u00fchnberger, K.U.: The importance of two cognitive mechanisms in analyzing counterfactuals: an implementation-oriented explication. In: Advances in cognitive systems, Baltimore (2013)"},{"issue":"187","key":"9505_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1515\/semi.2011.063","volume":"2011","author":"J Alexander","year":"2011","unstructured":"Alexander, J.: Blending in Mathematics. Semiotica 2011(187), 1\u201348 (2011)","journal-title":"Semiotica"},{"key":"9505_CR3","unstructured":"Besold, T.R., K\u00fchnberger, K.U., Plaza, E.: Analogy, amalgams, and concept blending. In: Proceedings of the third annual conference on advances in cognitive systems (ACS 2015), Poster Collection. CogSys.org (2015)"},{"key":"9505_CR4","unstructured":"Besold, T.R., Plaza, E.: Generalize and blend: concept blending based on generalization, analogy, and amalgams. In: Proceedings of the sixth international conference on computational creativity (ICCC 2015). Brigham Young University (2015)"},{"key":"9505_CR5","unstructured":"Bou, F., Schorlemmer, M., Corneli, J., G\u00f3mez-Ram\u00edrez, D., Maclean, E., Smaill, A., Pease, A.: The role of blending in mathematical invention. In: Proceedings of the 6th international conference on computational creativity (ICCC), Lecture Notes in Computer Science, vol. 1342 (2015)"},{"issue":"1\u20132","key":"9505_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/S0304-3975(97)00106-0","volume":"189","author":"S Cicerone","year":"1997","unstructured":"Cicerone, S., Parisi-Presicce, F.: On the complexity of specification morphisms. Theor. Comput. Sci. 189(1\u20132), 239\u2013248 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"9505_CR7","unstructured":"Colton, S., Ramezani, R., Llano, M.T.: The HR3 discovery system: design decisions and implementation details. In: Kibble, R. (ed.) Proceedings of the 50th anniversary convention of the AISB (2014)"},{"key":"9505_CR8","unstructured":"Confalonieri, R., Corneli, J., Pease, A., Plaza, E., Schorlemmer, M.: Using argumentation to evaluate concept blends in combinatorial creativity. In: Proceedings of the sixth international conference on computational creativity (ICCC 2015). Brigham Young University (2015)"},{"key":"9505_CR9","volume-title":"Semantic leaps: frame-shifting and conceptual blending in meaning construction","author":"S Coulson","year":"2006","unstructured":"Coulson, S.: Semantic leaps: frame-shifting and conceptual blending in meaning construction. Cambridge University Press, Cambridge (2006)"},{"issue":"4","key":"9505_CR10","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1023\/A:1008607717635","volume":"6","author":"R Diaconescu","year":"1998","unstructured":"Diaconescu, R.: Extra theory morphisms for institutions: logical semantics for multi-paradigm languages. Appl. Categ. Struct. 6(4), 427\u2013453 (1998)","journal-title":"Appl. Categ. Struct."},{"key":"9505_CR11","doi-asserted-by":"publisher","unstructured":"Eppe, M., Maclean, E., Confalonieri, R., Schorlemmer, M., Kutz, O., Plaza, E.: ASP, amalgamation and the conceptual blending workflow. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) Logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015, Lecture Notes in Artificial Intelligence, vol. 9345. Springer (2015)","DOI":"10.1007\/978-3-319-23264-5_26"},{"key":"9505_CR12","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)"},{"issue":"2","key":"9505_CR13","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1207\/s15516709cog0702_3","volume":"7","author":"D Gentner","year":"1983","unstructured":"Gentner, D.: Structure-mapping: a theoretical framework for analogy. Cogn. Sci. 7(2), 155\u2013170 (1983)","journal-title":"Cogn. Sci."},{"key":"9505_CR14","unstructured":"Goguen, J., Andler, D., Ogawa, Y., Okada, M., Watanabe S.: Mathematical models of cognitive space and time. In: Reasoning and cognition: proceedings of the interdisciplinary conference on reasoning and cognition, pp 125\u2013128. Keio University Press (2006)"},{"key":"9505_CR15","unstructured":"G\u00f3mez-Ram\u00edrez, D.: Conceptual blending as a creative meta-generator of mathematical concepts: prime ideals and dedekind domains as a blend. In: Besold, T.R., K\u00fchnberger, K.U., Schorlemmer, M., Smaill, A. (eds.) Proceedings of the 4th international workshop on computational creativity, concept invention, and general intelligence (C3GI), Publications of the Institute of Cognitive Science, vol. 02-2015, pp 1\u201311. Institute of Cognitive Science (2015)"},{"key":"9505_CR16","unstructured":"Kutz, O., Neuhaus, F., Mossakowski, T., Codescu, M.: Blending in the hub: Towards a computational concept invention platform. In: Proceedings of the fifth international conference on computational creativity (ICCC 2015). Jozef Stefan Institute (2014)"},{"key":"9505_CR17","volume-title":"Where mathematics comes from: how the embodied mind brings mathematics into being","author":"G Lakoff","year":"2000","unstructured":"Lakoff, G., Nu\u00f1ez\u0301, R.: Where mathematics comes from: how the embodied mind brings mathematics into being. Basic Books, New York (2000)"},{"key":"9505_CR18","unstructured":"Lee, M., Barnden, J.: A computational approach to conceptual blending within counterfactuals. cognitive science research papers CSRP-01-10, School of Computer Science. University of Birmingham (2001)"},{"key":"9505_CR19","unstructured":"Li, B., Zook, A., Davis, N., O\u2019 Riedl, M.: Goal-driven conceptual blending: A computational approach for creativity. In: Proceedings of the third international conference on computational creativity (ICCC 2015). University College Dublin (2012)"},{"key":"9505_CR20","doi-asserted-by":"crossref","unstructured":"MacNish, C.K., Antoniou, G.: Specification morphisms for nonmonotonic knowledge systems. In: Sattar, A. (ed.) Knowledge representation and reasoning, lecture notes in computer science, vol. 1342, pp 246\u2013254. Springer (2005)","DOI":"10.1007\/3-540-63797-4_77"},{"key":"9505_CR21","doi-asserted-by":"publisher","unstructured":"Manna, Z., Zarba, C.: Combining decision procedures. In: Formal methods at the crossroads: from panacea to foundational support, LNCS 2787, pp 381\u2013422. Springer (2003)","DOI":"10.1007\/978-3-540-40007-3_24"},{"key":"9505_CR22","doi-asserted-by":"publisher","unstructured":"Martinez, M., Krumnack, U., Smaill, A., Besold, T.R., Abdel-Fattah, A., Schmidt, M., Gust, H., K\u00fchnberger, K.U., Guhe, M., Pease, A.: Algorithmic aspects of theory blending. In: Aranda-Corral, G., Mart\u0131n-Mateos, F., Calmet, J. (eds.) Proceedings of the 12th international conference on artificial intelligence and symbolic computation (AISC). LNAI, Springer (2014)","DOI":"10.1007\/978-3-319-13770-4_16"},{"key":"9505_CR23","unstructured":"Martins, P., Urbanci, T., Pollak, S., Lavrac, N., Cardoso, A.: The good, the bad, and the aha! blends. In: Proceedings of the sixth international conference on computational creativity (ICCC 2015). Brigham Young University (2015)"},{"key":"9505_CR24","unstructured":"Mossakowski, T., Maeder, C., Codescu, M.: Hets user guide version 0.99 (2014). http:\/\/www.informatik.uni-bremen.de\/agbkb\/forschung\/formal_methods\/CoFI\/hets\/UserGuide.pdf"},{"key":"9505_CR25","volume-title":"Creativity and AI: a conceptual blending approach. applications of cognitive linguistics (ACL)","author":"FC Pereira","year":"2007","unstructured":"Pereira, F.C.: Creativity and AI: a conceptual blending approach. applications of cognitive linguistics (ACL). Mouton de Gruyter, Berlin (2007)"},{"key":"9505_CR26","first-page":"153","volume":"5","author":"GD Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A note on inductive generalization. Mach. Intell. 5, 153\u2013163 (1970)","journal-title":"Mach. Intell."},{"key":"9505_CR27","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1023\/A:1023673520853","volume":"52","author":"M Schiralli","year":"2003","unstructured":"Schiralli, M., Sinclair, N.: A constructive response to \u201cwhere mathematics comes from\u201d. Educ. Stud. Math. 52, 79\u201391 (2003)","journal-title":"Educ. Stud. Math."},{"key":"9505_CR28","doi-asserted-by":"publisher","unstructured":"Schmidt, M., Krumnack, U., Gust, H., K\u00fchnberger, K.U.: Heuristic-driven theory projection: an overview. In: Computational approaches to analogical reasoning: current trends, studies in computational intelligence, vol. 548, pp 163\u2013194. Springer (2014)","DOI":"10.1007\/978-3-642-54516-0_7"},{"key":"9505_CR29","unstructured":"Veale, T.: Computability as a test on linguistic theories. In: Kristiansen, G., Achard, M., Dirven, R., Ruiz de Mendoza Ibanez, F. (eds.) Cognitive linguistics: current applications and future perspectives. Mouton DeGruyter, The Hague (2006)"},{"key":"9505_CR30","unstructured":"Veale, T.: A robust computational model of conceptual blending. In: Proceedings of the third international conference on computational creativity (ICCC 2015). University College Dublin (2012)"},{"issue":"3\u20134","key":"9505_CR31","first-page":"253","volume":"11","author":"T Veale","year":"2000","unstructured":"Veale, T., O\u2019Donoghue, D.: Computation and blending. Comput. Linguis. 11 (3\u20134), 253\u2013282 (2000). special issue on Conceptual Blending","journal-title":"Comput. Linguis."},{"key":"9505_CR32","unstructured":"Xiao, P., Linkola, S.: Vismantic: meaning-making with images. In: Proceedings of the sixth international conference on computational creativity (ICCC 2015). Brigham Young University (2015)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9505-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-016-9505-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9505-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9505-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T13:17:32Z","timestamp":1567775852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-016-9505-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,13]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["9505"],"URL":"https:\/\/doi.org\/10.1007\/s10472-016-9505-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,13]]}}}