{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:16Z","timestamp":1725663976139},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_262","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:12:15Z","timestamp":1330211535000},"page":"460-464","source":"Crossref","is-referenced-by-count":3,"title":["Metalevel representation of analogical inference"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetano Aurelio","family":"Lanzarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"50_CR1","unstructured":"Costantini S., Lanzarone G.A., A Metalogic Programming Language, in: Levi G., Martelli M. (eds.), Logic Programming, MIT Press, 1989, pp. 218\u2013233."},{"key":"50_CR2","unstructured":"Costantini S., Lanzarone G.A., A Metalogic Programming Approach: Language, Semantics and Applications, submitted paper."},{"key":"50_CR3","unstructured":"Darden L., Rada R., Hypothesis Formation via Interrelations, in: [Pri88]."},{"key":"50_CR4","first-page":"264","volume":"I","author":"T. R. Davies","year":"1987","unstructured":"Davies T.R., Russel S.J., A Logical Approach to Reasoning by Analogy, Procs. of Tenth IJCAI, Morgan Kaufmann, 1987, vol I, 264\u2013270.","journal-title":"Procs. of Tenth IJCAI, Morgan Kaufmann"},{"key":"50_CR5","unstructured":"Gentner D., Analogical Inference and Analogical Access, in: [Pri88], 63\u201388"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Goebel R., A Sketch of Analogy as Reasoning with Equality Hypotheses, in: [Jan89], 243\u2013253.","DOI":"10.1007\/3-540-51734-0_65"},{"key":"50_CR7","first-page":"81","volume":"35","author":"R. Greiner","year":"1988","unstructured":"Greiner R., Learning by Understanding Analogies, AI 35, 1988, 81\u2013125.","journal-title":"AI"},{"key":"50_CR8","first-page":"39","volume":"39","author":"R. P. Hall","year":"1989","unstructured":"Hall R.P. Computational Approaches to Analogical Reasoning: A Comparative Analysis, AI 39, 1989, 39\u2013120.","journal-title":"AI"},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"Indurkhya B., Constrained Semantic Transference: A Formal Theory of Metaphors, in: [Pri88], 129\u2013157.","DOI":"10.1007\/BF00413622"},{"key":"50_CR10","doi-asserted-by":"crossref","unstructured":"Jantke K.P. (ed.), Analogy and Inductive Inference, Lecture Notes in Artificial Intelligence n. 397, 1989.","DOI":"10.1007\/3-540-51734-0"},{"key":"50_CR11","doi-asserted-by":"crossref","unstructured":"Kerber M., Some Aspects of Analogy in Mathematical Reasoning, in: [Jan89].","DOI":"10.1007\/3-540-51734-0_64"},{"key":"50_CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1002\/int.1990.5.1.43","volume":"5","author":"D. Leishman","year":"1990","unstructured":"Leishman D., An Annotated Bibliography of Works on Analogy, Int. Journal of Intelligent Systems, vol.5, 1990, 43\u201381.","journal-title":"Int. Journal of Intelligent Systems"},{"key":"50_CR13","unstructured":"McCarthy J., First Order Theories of Individual Concepts and Propositions, in: Machine Intelligence n.9."},{"key":"50_CR14","unstructured":"Prieditis A. (ed.), Analogica, Pitman, 1988."},{"key":"50_CR15","unstructured":"Russel S.J., The Use of Knowledge in Analogy and Induction, Pitman, 1989"},{"key":"50_CR16","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1145\/359038.359042","volume":"23","author":"P. H. Winston","year":"1980","unstructured":"Winston P.H., Learning and Reasoning by Analogy, CACM 23 1980, 689\u2013703.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_262.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:22Z","timestamp":1605646582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_262","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}