{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T13:51:28Z","timestamp":1772373088164,"version":"3.50.1"},"reference-count":29,"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)00071-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:08:53Z","timestamp":1027634933000},"page":"5-35","source":"Crossref","is-referenced-by-count":50,"title":["Abducing through negation as failure: stable models within the independent choice logic"],"prefix":"10.1016","volume":"44","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"3-4","key":"10.1016\/S0743-1066(99)00071-0_BIB1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","article-title":"Acyclic programs","volume":"9","author":"Apt","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB2","unstructured":"M. Baker, T.E. Boult, Pruning Bayesian networks for efficient computation, in: Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI-90), Cambridge, MA, 1990, pp. 257\u2013264"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB3","unstructured":"C. Boutilier, R. Dearden, M. Goldszmidt, Exploiting structure in policy construction, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montr\u00e9al, Qu\u00e9bec, 1995, pp. 1104\u20131111"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB4","series-title":"Symbolic Logical and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB5","doi-asserted-by":"crossref","unstructured":"K.L. Clark, Negation as failure, in: H. Gallaire, J. Minker (Eds.), Logic and Databases, Plenum Press, New York, 1978, pp. 293\u2013322","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"5","key":"10.1016\/S0743-1066(99)00071-0_BIB6","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","article-title":"On the relationship between abduction and deduction","volume":"1","author":"Console","year":"1991","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB7","doi-asserted-by":"crossref","unstructured":"G.V. Davydov, I.M. Davydova, Dual algorithms in discrete optimization, in: V. Kreinovich, G. Mints (Eds.), Problems of Reducing the Exhaustive Search, American Mathematical Society, Providence, RI, 1997, pp. 79\u2013103","DOI":"10.1090\/trans2\/178\/07"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB8","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","article-title":"Characterizing diagnoses and systems","volume":"56","author":"deKleer","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB9","doi-asserted-by":"crossref","unstructured":"M. Denecker, A terminological interpretation of (abductive) logic programming. in: V.W. Markek, A. Nerode, M. Truszczynski (Eds.), International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence, vol. 928, Springer, Berlin, 1995, pp. 15\u201329","DOI":"10.1007\/3-540-59487-6_2"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB10","unstructured":"M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: R. Kowalski, K. Bowen (Eds.), Proceedings of the Fifth Logic Programming Symposium, Cambridge, MA, 1988, pp. 1070\u20131080"},{"issue":"2","key":"10.1016\/S0743-1066(99)00071-0_BIB11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0743-1066(95)00119-0","article-title":"A fixpoint characterization of abductive logic programs","volume":"27","author":"Inoue","year":"1996","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"10.1016\/S0743-1066(99)00071-0_BIB12","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","article-title":"Abductive logic programming","volume":"2","author":"Kakas","year":"1993","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB13","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","article-title":"An incremental method for generating prime implicants\/implicates","volume":"9","author":"Kean","year":"1990","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB14","unstructured":"R. Kowalski, Logic for Problem Solving, Artificial Intelligence Series, North-Holland, New York"},{"issue":"1","key":"10.1016\/S0743-1066(99)00071-0_BIB15","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"4","author":"Kowalski","year":"1986","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1613\/jair.198","article-title":"Practical methods for proving termination of general logic programs","volume":"4","author":"Marchiori","year":"1996","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB17","series-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1988"},{"issue":"3-4","key":"10.1016\/S0743-1066(99)00071-0_BIB18","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF03037184","article-title":"Logic programming, abduction and probability: a top-down anytime algorithm for computing prior and posterior probabilities","volume":"11","author":"Poole","year":"1993","journal-title":"New Generation Computing"},{"issue":"1","key":"10.1016\/S0743-1066(99)00071-0_BIB19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","article-title":"Probabilistic Horn abduction and Bayesian networks","volume":"64","author":"Poole","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB20","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01530736","article-title":"Representing diagnosis knowledge","volume":"11","author":"Poole","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB21","unstructured":"D. Poole, Exploiting the rule structure for decision making within the independent choice logic, in: P. Besnard, S. Hanks (Eds.), Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI-95), Montr\u00e9al, Qu\u00e9bec, 1995, pp. 454\u2013463"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB22","doi-asserted-by":"crossref","unstructured":"D. Poole, The independent choice logic for modelling multiple agents under uncertainty, in: Economic Principles of Multi-agent Systems (special issue), Artificial Intelligence 94 (1997) 7\u201356","DOI":"10.1016\/S0004-3702(97)00027-1"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB23","unstructured":"D. Poole, Probabilistic partial evaluation: exploiting rule structure in probabilistic inference, in: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, 1997, pp. 1284\u20131291"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB24","unstructured":"D. Poole, Decision theory, the situation calculus and conditional plans, Link\u00f6ping Electronic Articles in Computer and Information Science 3 (2) (1998), http:\/\/www.ep.liu.se\/ea\/cis\/1998\/008\/ 15 June 1998, The Electronic Transactions on Artificial Intelligence 2 (1998) 105\u2013154"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB25","doi-asserted-by":"crossref","unstructured":"D. Poole, R. Goebel R. Aleliunas, Theorist: a logical reasoning system for defaults and diagnosis, in: N. Cercone, G. McCalla (Eds.), The Knowledge Frontier: Essays in the Representation of Knowledge, Springer, New York, 1987, pp. 331\u2013352","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB26","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(91)90013-A","article-title":"Three-valued nonmonotonic formalisms and semantics of logic programs","volume":"49","author":"Przymusinski","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0743-1066(99)00071-0_BIB27","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB28","series-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"Shanahan","year":"1997"},{"key":"10.1016\/S0743-1066(99)00071-0_BIB29","unstructured":"J. Von Neumann, O. Morgenstern, Theory of Games and Economic Behavior, third ed., Princeton University Press, Princeton, NJ, 1953"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000710?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000710?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T19:45:49Z","timestamp":1580240749000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106699000710"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":29,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0743106699000710"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(99)00071-0","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}