{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:49:02Z","timestamp":1749221342694},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:41Z","timestamp":1330276721000},"page":"203-216","source":"Crossref","is-referenced-by-count":4,"title":["Hypothetical updates, priority and inconsistency in a logic programming language"],"prefix":"10.1007","author":[{"given":"D.","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Giordano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Olivetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"n.1","key":"15_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":"15_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":"15_CR3","unstructured":"L. Cholvy. Proving theorems in a multi-source environment. In Proc. International Joint Conference on Artificial Intelligence, pages 66\u201371, Chambery, 1993."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"L. Cholvy. A logical approach to multi-sources reasoning. In Knowledge Representation and Reasoning under Uncertainty-LNAI 808, pages 183\u2013196, 1994.","DOI":"10.1007\/3-540-58095-6_13"},{"key":"15_CR5","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In Proc. 6th Int. Conference on Logic Programming, pages 234\u2013254, Lisbon, 1989."},{"key":"15_CR6","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."},{"issue":"4","key":"15_CR7","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","volume":"2","author":"D. M. Gabbay","year":"1985","unstructured":"D. M. Gabbay. NProlog: An extension of Prolog with hypothetical implications.II. J.Logic Programming, 2(4):251\u2013283, 1985.","journal-title":"J.Logic Programming"},{"key":"15_CR8","unstructured":"D. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. In Proc. 11th Int. Conf. on Logic Programming, Santa Margherita Ligure, pages 272\u2013289, 1994."},{"key":"15_CR9","unstructured":"D. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. A language for handling hypothetical updates and inconsistency. MEDLAR II Deliverable DII.5.2P, 1994."},{"key":"15_CR10","doi-asserted-by":"crossref","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":"15_CR11","unstructured":"L.Giordano and N.Olivetti. Negation as failure in intuitionistic logic programming. In Proc. Joint International Conference and Symposium on Logic Programming, pages 431\u2013445, Washington, 1992."},{"key":"15_CR12","unstructured":"A.C. Kakas, P. Mancarella, P.M. Dung. The acceptability semantics for logic programs. In Proc. 11th Int. Conf. on Logic Programming, Santa Margherita Ligure, pages 504\u2013519, 1994."},{"issue":"6","key":"15_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":"15_CR14","volume-title":"Foundation of Deductive Databases and Logic Programming","author":"S. Manchanda","year":"1987","unstructured":"S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming. Morgan-Kaufman, Los Alto, CA, 1987."},{"issue":"1","key":"15_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"L. T. M. Carty","year":"1988","unstructured":"L. T. Mc Carty. Clausal intuitionistic logic. i. fixed-point semantics. J. Logic Programming, 5(1):1\u201331, 1988.","journal-title":"J. Logic Programming"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"D. Miller. A theory of modules for logic programming. In Proc. IEEE Symp. on Logic Programming, pages 106\u2013114, September 1986.","DOI":"10.1007\/3-540-16492-8_94"},{"key":"15_CR17","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":"15_CR18","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole A logical framework for default reasoning. Artificial Intelligence, 36 (1988) 27\u201347.","journal-title":"Artificial Intelligence"},{"key":"15_CR19","unstructured":"L.M. Pereira, J.J. Alferes, J.N. Aparicio Contradiction Removal within the Well Founded Semantics. Logic Programming and Non-monotonic Reasoning Workshop, (1991) 105\u2013119."},{"key":"15_CR20","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","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:52:13Z","timestamp":1687287133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}