{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:28:18Z","timestamp":1725467298323},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613138"},{"type":"electronic","value":"9783540684541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61313-7_76","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T14:19:20Z","timestamp":1152713960000},"page":"231-245","source":"Crossref","is-referenced-by-count":2,"title":["An abductive proof procedure for conditional logic programming"],"prefix":"10.1007","author":[{"given":"L.","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. L.","family":"Sapino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,6]]},"reference":[{"issue":"n.1","key":"18_CR1","first-page":"45","volume":"8","author":"C. Baral","year":"1992","unstructured":"C. Baral, S. Kraus, J. Minker, V. S. Subrahmanian. Combining knowledge bases consisting of first-order theories. J. Automated Reasoning, vol.8, n.1, pp. 45\u201371, 1992.","journal-title":"J. Automated Reasoning"},{"key":"18_CR2","unstructured":"M. Baldoni, L.Giordano, and A. Martelli. A multimodal logic to define modules in logic programming. In Proc. 1993 International Logic Programming Symposium, pages 473\u2013487, Vancouver, 1993."},{"key":"18_CR3","unstructured":"L. Cholvy. Proving theorems in a multi-source environment. In Proc. IJCAI-93, pages 66\u201371, Chambery, 1993."},{"key":"18_CR4","unstructured":"P. M. Dung. Negations as hypotheses: an abductive foundation for logic programming. In Proc. ICLP-91 Conference, pages 3\u201317, 1991."},{"key":"18_CR5","unstructured":"P. M. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming. In Proc. IJCAI93, pages 852\u2013857, 1993."},{"key":"18_CR6","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In Proc. 6th ICLP, pages 234\u2013254, Lisbon, 1989."},{"key":"18_CR7","unstructured":"L. Fari\u00f1as del Cerro and A. Herzig. An automated modal logic for elementary changes. In P. Smets et al., editor, Non-standard Logics for Automated Reasoning. Academic Press, 1988."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"4","author":"D. M. Gabbay","year":"1984","unstructured":"D. M. Gabbay and N. Reyle. NProlog: An extension of Prolog with hypothetical implications.I. Journal of Logic Programming, (4):319\u2013355, 1984.","journal-title":"Journal of Logic Programming"},{"key":"18_CR9","unstructured":"D. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. In Proc. 11th ICLP, Santa Margherita Ligure, pages 272\u2013289, 1994."},{"key":"18_CR10","first-page":"203","volume":"928","author":"D. Gabbay","year":"1995","unstructured":"Dov Gabbay, Laura Giordano, Alberto Martelli, and Nicola Olivetti. Hypothetical updates, priority and inconsistency in a logic programming language. In Proc. LPNMR-95, LNAI 928, pages 203\u2013216, 1995.","journal-title":"LNAI"},{"key":"18_CR11","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proc. ICLP-90, pages 579\u2013597, Jerusalem, 1990."},{"key":"18_CR12","unstructured":"A.C. Kakas, P. Mancarella, P.M. Dung. The acceptability semantics for logic programs. In Proc. 11th ICLP, Santa Margherita Ligure, pages 504\u2013519, 1994."},{"issue":"6","key":"18_CR13","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1093\/logcom\/3.6.621","volume":"3","author":"N. Leone","year":"1993","unstructured":"N. Leone and P. Rullo. Ordered logic programming with sets. J. of Logic and Computation, 3(6):621\u2013642, 1993.","journal-title":"J. of Logic and Computation"},{"key":"18_CR14","unstructured":"S. Naqvi and F. Rossi. Reasoning in inconsistent databases. In Proc. of the 1990 North American Conf. on Logic Programming, pages 255\u2013272, 1990."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"L.M. Pereira, J.J. Alferes, J.N. Aparicio Contradiction Removal within the Well Founded Semantics. Proc. LPNMR-91, (1991) 105\u2013119.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"L.M. Pereira, C.V. Damasio, J.J. Alferes Diagnosis and Debugging as Contradiction Removal. Proc. LPNMR-93, (1993) 316\u2013330.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"F. Toni and A. Kakas. Computing the acceptability semantics. In Proc. LPNMR-95, pages 401\u2013415, 1995.","DOI":"10.1007\/3-540-59487-6_29"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511663109"}],"container-title":["Lecture Notes in Computer Science","Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61313-7_76","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T00:19:09Z","timestamp":1555719549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61313-7_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613138","9783540684541"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61313-7_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}