{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:07:48Z","timestamp":1760202468910},"reference-count":38,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":4766,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1016\/s0743-1066(99)00072-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:08:53Z","timestamp":1027634933000},"page":"37-74","source":"Crossref","is-referenced-by-count":11,"title":["Conditional reasoning in logic programming"],"prefix":"10.1016","volume":"44","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"}]},{"given":"M.L.","family":"Sapino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(99)00072-2_BIB1","unstructured":"J.J. Alferes, J.A. Leite, L.M. Pereira, H. Przymusinska, T.C. Przymusinski, Dynamic logic programming, in: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning \u2013 KR 98, Trento, Italy, June 1998, pp. 98\u2013109"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB2","doi-asserted-by":"crossref","unstructured":"M. Baldoni, L. Giordano, A. Martelli, V. Patti, An abductive proof procedure for reasoning about actions in modal logic programming, in: J. Dix, L.M. Pereira, T.C. Przymusinski (Eds.), Proceedings of the Second International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP'96, vol. 1216, LNAI, Springer, Berlin, 1997, pp. 132\u2013150","DOI":"10.1007\/BFb0023805"},{"issue":"1","key":"10.1016\/S0743-1066(99)00072-2_BIB3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","article-title":"Combining knowledge bases consisting of first-order theories","volume":"8","author":"Baral","year":"1992","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB4","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/BF01880329","article-title":"Relevant logic programming","volume":"7","author":"Bollen","year":"1991","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB5","doi-asserted-by":"crossref","unstructured":"A. Bondarenko, F. Toni, R.A. Kowalski, An assumption based framework for non-monotonic reasoning, in: Proceedings of the Second International Workshop on Logic Programming and Non-monotonic Reasoning, 1993","DOI":"10.7551\/mitpress\/4307.003.0016"},{"issue":"2","key":"10.1016\/S0743-1066(99)00072-2_BIB6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0743-1066(96)00093-3","article-title":"A logical semantics for hypothetical rulebases with deletion","volume":"32","author":"Bonner","year":"1997","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB7","unstructured":"G. Brewka, Preferred subtheories: an extended logical framework for default reasoning, in: IJCAI-89, Detroit, 1989, pp. 1043\u20131048"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB8","doi-asserted-by":"crossref","unstructured":"G. Brewka, Adding priorities and specificity in default logic, in: JELIA94, Springer, Berlin, LNAI 838, 1994, pp. 247\u2013260","DOI":"10.1007\/BFb0021977"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB9","unstructured":"G. Brewka, Reasoning about priorities in default logic, in: AAAI-94, 1994, pp. 940\u2013945"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB10","doi-asserted-by":"crossref","unstructured":"F. Buccafurri, N. Leone, P. Rullo, Stable models and their computation for logic programming with inheritance and true negation, Journal of Logic Programming 27 (1) (1996) 5\u201343","DOI":"10.1016\/0743-1066(95)00076-3"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB11","unstructured":"L. Cholvy, Proving theorems in a multi-source environment, in: Proceedings of the IJCAI-93, Chambery, 1993, pp. 66\u201371"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB12","doi-asserted-by":"crossref","unstructured":"L. Cholvy, A logical approach to multi-sources reasoning, in: Knowledge Representation and Reasoning under Uncertainty\u2013LNAI 808, 1994, pp. 183\u2013196","DOI":"10.1007\/3-540-58095-6_13"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB13","unstructured":"F. Dong, A. Lakshmanan, A deductive approach to hypothetical query answering, in: Proceedings of the 1993 International Logic Programming Symposium, 1993, pp. 609\u2013628"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB14","unstructured":"P.M. Dung, Negations as hypotheses: an abductive foundation for logic programming, in: Proceedings of the ICLP-91 Conference, 1991, pp. 3\u201317"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB15","unstructured":"P.M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming, in: Proceedings of the IJCAI93, 1993, pp. 852\u2013857"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB16","unstructured":"K. Eshghi, R. Kowalski, Abduction compared with negation by failure, in: Proceedings of the Sixth ICLP, Lisbon, 1989, pp. 234\u2013254"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB17","unstructured":"L. Fari\u00f1as del Cerro, A. Herzig. An automated modal logic for elementary changes, in: P. Smets et al. (Eds.), Non-standard Logics for Automated Reasoning, Academic Press, New York, 1988"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB18","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","article-title":"NProlog: an extension of prolog with hypothetical implications. I","volume":"4","author":"Gabbay","year":"1984","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB19","unstructured":"D. Gabbay, L. Giordano, A. Martelli, N. Olivetti, Conditional logic programming, in: Proceedings of the 11th ICLP, Santa Margherita Ligure, 1994, pp. 272\u2013289"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB20","doi-asserted-by":"crossref","unstructured":"D. Gabbay, L. Giordano, A. Martelli, N. Olivetti, Hypothetical updates, priority and inconsistency in a logic programming language, in: Proceedings of the LPNMR-95, LNAI 928, 1995, pp. 203\u2013216","DOI":"10.1007\/3-540-59487-6_15"},{"issue":"3","key":"10.1016\/S0743-1066(99)00072-2_BIB21","first-page":"385","article-title":"A language for handling hypothetical updates and inconsistency","volume":"4","author":"Gabbay","year":"1995","journal-title":"Journal of the Interest Group in Pure and Applied Logic (IGPL)"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB22","series-title":"Knowledge in flux: modeling the dynamics of epistemic states","author":"G\u00e4rdenfors","year":"1988"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB23","unstructured":"M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Fifth International Conference and Symposium on Logic Programming, Seattle, 1988, pp. 1070\u20131080"},{"issue":"2","key":"10.1016\/S0743-1066(99)00072-2_BIB24","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0743-1066(97)10014-0","article-title":"Combining negation as failure and embedded implications in logic programs","volume":"36","author":"Giordano","year":"1998","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB25","doi-asserted-by":"crossref","unstructured":"L. Giordano, A. Martelli, M.L. Sapino, An abductive proof procedure for conditional logic programming, in: Proceedings of the International Conference on Formal and Applied Practical Reasoning \u2013 FAPR96-LNAI, 1996, Bonn, pp. 231-245","DOI":"10.1007\/3-540-61313-7_76"},{"issue":"2","key":"10.1016\/S0743-1066(99)00072-2_BIB26","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","article-title":"Logic programming in a fragment of intuitionistic linear logic","volume":"110","author":"Hodas","year":"1994","journal-title":"Journal of Information and Computation"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB27","unstructured":"A.C. Kakas, P. Mancarella, P.M. Dung, The acceptability semantics for logic programs, in: Proceedings of the 11th ICLP, Santa Margherita Ligure, 1994, pp. 504\u2013519"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB28","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","article-title":"Signed data dependencies in logic programs","volume":"7","author":"Kunen","year":"1989","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB29","doi-asserted-by":"crossref","unstructured":"E. Laenens, D. Sacc\u00e0, D. Vermeir, Extending logic programming, in: Proceedings of the ACM SIGMOD, May 1990\u20131993, pp. 184\u2013193","DOI":"10.1145\/93597.98728"},{"issue":"6","key":"10.1016\/S0743-1066(99)00072-2_BIB30","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1093\/logcom\/3.6.621","article-title":"Ordered logic programming with sets","volume":"3","author":"Leone","year":"1993","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB31","unstructured":"B. Nebel, Belief revision and default reasoning: syntax-based approaches, in: Second International Conference on Principles of Knowledge Representation and Reasoning, 1991, pp. 417\u2013428"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB32","unstructured":"S. Naqvi, F. Rossi, Reasoning in inconsistent databases, in: Proceedings of the 1990 North American Conference on Logic Programming, 1990, pp. 255\u2013272"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB33","series-title":"Topics in Conditional Logic","author":"Nute","year":"1980"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB34","doi-asserted-by":"crossref","unstructured":"L.M. Pereira, J.J. Alferes, J.N. Aparicio, Contradiction removal within the well founded semantics, in: Proceedings of the LPNMR-91, 1991, pp. 105\u2013119","DOI":"10.1007\/3-540-54535-2_28"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB35","unstructured":"L.M. Pereira, J.N. Aparicio, J.J. Alferes, Derivation procedures for extended stable models, in: Proceedings of the IJCAI-91 Conference, 1991, pp. 863\u2013868"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB36","unstructured":"T.C. Przymusinski, Extended stable semantics for normal and disjunctive programs, in: Proceedings of the ICLP90 Conference, 1990, pp. 459\u2013477"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB37","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00114921","article-title":"Normative conflicts in legal reasoning","volume":"1","author":"Sartor","year":"1992","journal-title":"Artificial Intelligence and Law"},{"key":"10.1016\/S0743-1066(99)00072-2_BIB38","doi-asserted-by":"crossref","unstructured":"F. Toni, A. Kakas, Computing the acceptability semantics, in: Proceedings of the LPNMR-95, 1995, pp. 401\u2013415","DOI":"10.1007\/3-540-59487-6_29"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000722?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000722?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T14:43:00Z","timestamp":1704120180000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106699000722"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":38,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0743106699000722"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(99)00072-2","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}