{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:20Z","timestamp":1749125180097},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:10:24Z","timestamp":1330272624000},"page":"51-65","source":"Crossref","is-referenced-by-count":2,"title":["A significant extension of logic programming by adapting model building rules"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Caferra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Peltier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Christophe BOURELY, Ricardo CAFERRA, and Nicolas PELTIER. A method for building models automatically. Experiments with an extension of OTTER. In Proc. of CADE-12, pages 72\u201386. Springer Verlag, 1994. LNAI 814.","DOI":"10.1007\/3-540-58156-1_6"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/S0747-7171(89)80017-3","volume":"7","author":"H. Comon","year":"1989","unstructured":"Hubert COMON and Pierre LESCANNE. Equational problems and disunification. Journal of Symbolic Computation, 7:371\u2013475, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Keith L. CLARK. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"4_CR4","unstructured":"Ricardo CAFERRA and Nicolas PELTIER. Verifying and correcting a large class of logic programs. Submitted, 199?"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ricardo CAFERRA and Nicolas PELTIER. Model building and interactive theory discovery. In Proceeding of Tableaux'95, LNAI 918, pages 154\u2013168. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59338-1_34"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Ricardo CAFERRA and Nicolas ZABEL. Extending resolution for model construction. In Logics in AI, JELIA'90, pages 153\u2013169. Springer-Verlag, LNAI 478, 1990.","DOI":"10.1007\/BFb0018439"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1016\/S0747-7171(10)80014-8","volume":"13","author":"R. Caferra","year":"1992","unstructured":"Ricardo CAFERRA and Nicolas ZABEL. A method for simultaneous search for refutations and models by equational constraint solving. Journal of Symbolic Computation, 13:613\u2013641, 1992.","journal-title":"Journal of Symbolic Computation"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"H. GELERNTER, J.R. HANSEN, and D.W. LOVELAND. Empirical explorations of the geometry theorem-proving machine. In J\u00f6rg Siekmann and Graham Wrightson, editors, Automation of Reasoning, vol. 1, pages 140\u2013150. Springer-Verlag 1983, 1983. Originally published in 1960.","DOI":"10.1007\/978-3-642-81952-0_10"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"John W. LLOYD. Foundations of Logic Programming. Springer Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"4_CR10","unstructured":"Denis LUGIEZ. A deduction procedure for first order programs. In F. Levi and M. Martelli, editors, Proceedings of the sixth International Conference on Logic Programming, pages 585\u2013599. The MIT Press, July 1989."},{"key":"4_CR11","unstructured":"A.I. MAL'CEV. The Metamathematics of Algebraic Systems: Collected Papers 1936\u20131967, chapter Axiomatizable classes of locally free algebra of various type. Benjamin Franklin Wells III editor, North Holland, 1971. chapter 23."},{"key":"4_CR12","unstructured":"Nicolas PELTIER. Increasing the capabilities of model building by constraint solving with terms with integer exponents. To appear, 199?"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF03037419","volume":"1","author":"J.A. Robinson","year":"1983","unstructured":"J.A. ROBINSON. Logic Programming-past, present and future-. New Generation Computing, 1:107\u2013124, 1983.","journal-title":"New Generation Computing"},{"issue":"3","key":"4_CR14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/131295.131296","volume":"35","author":"J.A. Robinson","year":"1992","unstructured":"J.A. ROBINSON. Logic and Logic Programming. Communications of the ACM, 35(3):40\u201365, March 1992.","journal-title":"Communications of the ACM"},{"issue":"1","key":"4_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(91)90008-D","volume":"11","author":"L. Wos","year":"1991","unstructured":"Larry WOS and William McCUNE. Automated theorem proving and logic programming: a natural symbiosis. Journal of Logic Programming, 11(1):1\u201353, july 1991.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:23Z","timestamp":1605629003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}