{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:09:56Z","timestamp":1725858596300},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319416489"},{"type":"electronic","value":"9783319416496"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41649-6_18","type":"book-chapter","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T19:40:33Z","timestamp":1466883633000},"page":"181-191","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Axiomatic and Analogical Reasoning"],"prefix":"10.1007","author":[{"given":"Claes","family":"Stranneg\u00e5rd","sequence":"first","affiliation":[]},{"given":"Abdul Rahim","family":"Nizamani","sequence":"additional","affiliation":[]},{"given":"Ulf","family":"Persson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,25]]},"reference":[{"key":"18_CR1","unstructured":"Bartha, P.: Analogy and analogical reasoning. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University, fall 2013 edn. (2013)"},{"key":"18_CR2","unstructured":"Cornu\u00e9jols, A.: Analogie, principe d\u2019\u00e9conomie et complexit\u00e9 algorithmique. Actes des 11\u00e8mes Journ\u00e9es Fran\u00e7aises de l\u2019Apprentissage (1996)"},{"key":"18_CR3","series-title":"Studies in Computational Intelligence","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-642-54516-0_5","volume-title":"Computational Approaches to Analogical Reasoning: Current Trends","author":"TB Tour De La","year":"2014","unstructured":"De La Tour, T.B., Peltier, N.: Analogy in automated deduction: a survey. In: Prade, H., Richard, G. (eds.) Computational Approaches to Analogical Reasoning: Current Trends. SCI, vol. 548, pp. 103\u2013130. Springer, Heidelberg (2014)"},{"issue":"1","key":"18_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(89)90077-5","volume":"41","author":"B Falkenhainer","year":"1989","unstructured":"Falkenhainer, B., Forbus, K.D., Gentner, D.: The structure-mapping engine: Algorithm and examples. Artif. Intell. 41(1), 1\u201363 (1989)","journal-title":"Artif. Intell."},{"issue":"2","key":"18_CR5","doi-asserted-by":"crossref","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."},{"issue":"1","key":"18_CR6","first-page":"8","volume":"22","author":"H Gust","year":"2008","unstructured":"Gust, H., Krumnack, U., K\u00fchnberger, K.U., Schwering, A.: Analogical reasoning: A core of cognition. KI 22(1), 8\u201312 (2008)","journal-title":"KI"},{"issue":"1","key":"18_CR7","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.tcs.2005.11.009","volume":"354","author":"H Gust","year":"2006","unstructured":"Gust, H., K\u00fchnberger, K.U., Schmid, U.: Metaphors and heuristic-driven theory projection (hdtp). Theor. Comput. Sci. 354(1), 98\u2013117 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model theory","author":"W Hodges","year":"1993","unstructured":"Hodges, W.: Model theory, vol. 42. Cambridge University Press, New York (1993)"},{"key":"18_CR9","unstructured":"Hofstadter, D.: Analogy as the core of cognition, presidential Lecture by Douglas Hofstadter at Stanford University, February 2006"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/978-3-642-11931-6_3","volume-title":"Approaches and Applications of Inductive Programming","author":"E Kitzelmann","year":"2010","unstructured":"Kitzelmann, E.: Inductive programming: a survey of program synthesis techniques. In: Schmid, U., Kitzelmann, E., Plasmeijer, R. (eds.) AAIP 2009. LNCS, vol. 5812, pp. 50\u201373. Springer, Heidelberg (2010)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-319-21365-1_18","volume-title":"Artificial General Intelligence","author":"AR Nizamani","year":"2015","unstructured":"Nizamani, A.R., Juel, J., Persson, U., Stranneg\u00e5rd, C.: Bounded cognitive resources and arbitrary domains. In: Bieger, J., Goertzel, B., Potapov, A. (eds.) AGI 2015. LNCS, vol. 9205, pp. 166\u2013176. Springer, Heidelberg (2015)"},{"issue":"7","key":"18_CR12","doi-asserted-by":"crossref","first-page":"e1000858","DOI":"10.1371\/journal.pcbi.1000858","volume":"6","author":"S Phillips","year":"2010","unstructured":"Phillips, S., Wilson, W.H.: Categorial compositionality: A category theory explanation for the systematicity of human cognition. PLoS Comput. Biol. 6(7), e1000858 (2010)","journal-title":"PLoS Comput. Biol."},{"issue":"8","key":"18_CR13","doi-asserted-by":"crossref","first-page":"e1002102","DOI":"10.1371\/journal.pcbi.1002102","volume":"7","author":"S Phillips","year":"2011","unstructured":"Phillips, S., Wilson, W.H.: Categorial compositionality ii: Universal constructions and a general theory of (quasi-) systematicity in human cognition. PLoS Comput. Biol. 7(8), e1002102 (2011)","journal-title":"PLoS Comput. Biol."},{"key":"18_CR14","volume-title":"Mathematics and plausible reasoning: Induction and analogy in mathematics","author":"G P\u00f3lya","year":"1990","unstructured":"P\u00f3lya, G.: Mathematics and plausible reasoning: Induction and analogy in mathematics, vol. 1. Princeton University Press, Princeton (1990)"},{"key":"18_CR15","volume-title":"Handbook of Automated Reasoning","author":"A Robinson","year":"2001","unstructured":"Robinson, A., Voronkov, A.: Handbook of Automated Reasoning. Elsevier, San Diego (2001)"},{"key":"18_CR16","series-title":"Studies in Computational Intelligence","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-642-54516-0_7","volume-title":"Computational Approaches to Analogical Reasoning: Current Trends","author":"M Schmidt","year":"2014","unstructured":"Schmidt, M., Krumnack, U., Gust, H., K\u00fchnberger, K.U.: Heuristic-driven theory projection: an overview. In: Prade, H., Richard, G. (eds.) Computational Approaches to Analogical Reasoning: Current Trends. SCI, vol. 548, pp. 163\u2013194. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Artificial General Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41649-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T13:09:32Z","timestamp":1498309772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41649-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319416489","9783319416496"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41649-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}