{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T03:27:05Z","timestamp":1676863625372},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1007\/bf01530892","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T03:06:32Z","timestamp":1113879992000},"page":"17-36","source":"Crossref","is-referenced-by-count":4,"title":["A formal definition and a sound implementation of analogical reasoning in logic programming"],"prefix":"10.1007","volume":"14","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"}]},{"given":"Lorenza","family":"Sbarbaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"S. Costantini and G.A. Lanzarone, A metalogic programming language,Proc. 6th Int. Conf. on Logic Programming, eds. G. Levi and M. Martelli (MIT Press, 1989) pp. 218?233."},{"key":"CR2","unstructured":"S. Costantini and G.A. Lanzarone, Analogical reasoning in Reflective Prolog, in:Expert Systems in Law, ed. A. Martino (Elsevier, 1992) pp. 133?145."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1080\/09528139408953789","volume":"6","author":"S. Costantini","year":"1994","unstructured":"S. Costantini and G.A. Lanzarone, A metalogic programming approach: Language, semantics and applications, J. Exp. Theor. Artificial Intelligence 6(1994)239?287.","journal-title":"J. Exp. Theor. Artificial Intelligence"},{"key":"CR4","first-page":"111","volume":"1","author":"S. Costantini","year":"1994","unstructured":"S. Costantini and G.A. Lanzarone, Metalevel negation and non monotonic reasoning, J. Methods of Logic in Comp. Sci. 1(1994)111?140. (Abstract in:Proc. Workshop on Logic Programming and Non Monotonic Reasoning, Austin, TX (1990)).","journal-title":"J. Methods of Logic in Comp. Sci."},{"key":"CR5","unstructured":"T.R. Davies and S.J. Russel, A logical approach to reasoning by analogy,Proc. of IJCAI 87, ed. J. McDermott (Kaufmann, 1987) pp. 264?270."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(89)90003-9","volume":"39","author":"R.P. Hall","year":"1989","unstructured":"R.P. Hall, Computational approaches to analogical reasoning: A comparative analysis, Artificial Intelligence 39(1989)39?120.","journal-title":"Artificial Intelligence"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"M. Haraguchi and S. Arikawa, Reasoning by analogy as a partial identity between models,Analogical and Inductive Inference, Proc. Int. Workshop on AII 1986, ed. K.P. Jantke, Lecture Notes in Comp. Sci. 265 (Springer, 1987) pp. 61?87.","DOI":"10.1007\/3-540-18081-8_86"},{"key":"CR8","unstructured":"N. Iwayama, K. Satoh and J. Arima, A formalization of generalization-based analogy in general logic programs,ECAI 92, Proc. 10th Euro. Conf. on Artificial Intelligence, ed. B. Nuemann (Wiley, 1992) pp. 129?133."},{"key":"CR9","unstructured":"S. Kedar-Cabelli, Toward a computational model of purpose-directed analogy, in [14]."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Y. Kodratoff, Using abductive recovery of failed proofs for problem solving by analogy,Proc. 7th Int. Conf. on Machine Learning (1990) pp. 295?303.","DOI":"10.1016\/B978-1-55860-141-3.50039-0"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1002\/int.1990.5.1.43","volume":"5","author":"D. Leishman","year":"1990","unstructured":"D. Leishman, An annotated bibliography of works on analogy, Int. J. Intelligent Syst. 5(1990)43?81.","journal-title":"Int. J. Intelligent Syst."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd,Foundations of Logic Programming, 2nd Extended Ed. (Springer, 1987).","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CR13","unstructured":"C.S. Peirce, Elements of logic, in:Collected Papers of Charles Sanders Peirce, Vol. 2, eds. C. Hartshorne and P. Weiss (Harvard University Press, 1932)."},{"key":"CR14","unstructured":"A. Prieditis,Analogica (Pitman, 1988)."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"B. Tausend and S. Bell, Analogical reasoning for logic programming,Machine Learning, Proc. Euro. Working Session on Learning 1991, ed. Y. Kodratoff, Lecture Notes in Artificial Intelligence 482 (Springer, 1991) pp. 391?397.","DOI":"10.1007\/BFb0017032"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1145\/359038.359042","volume":"23","author":"P. Winston","year":"1980","unstructured":"P. Winston, Learning and reasoning by analogy, Commun. ACM 23(1980)689?703.","journal-title":"Commun. ACM"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(82)90004-2","volume":"19","author":"P. Winston","year":"1982","unstructured":"P. Winston, Learning new principles from precedents and exercises, Artificial Intelligence 19(1982)321?350.","journal-title":"Artificial Intelligence"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530892\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530892.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530892\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:04:09Z","timestamp":1586217849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530892"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF01530892"],"URL":"https:\/\/doi.org\/10.1007\/bf01530892","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}