Abducing through negation as failure: stable models within the independent choice logic

Apt, 1991, Acyclic programs, New Generation Computing, 9, 335, 10.1007/BF03037168

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–264

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éal, Québec, 1995, pp. 1104–1111

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–103

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–29

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–1080

Inoue, 1996, A fixpoint characterization of abductive logic programs, Journal of Logic Programming, 27, 107, 10.1016/0743-1066(95)00119-0

R. Kowalski, Logic for Problem Solving, Artificial Intelligence Series, North-Holland, New York

Kowalski, 1986, A logic-based calculus of events, New Generation Computing, 4, 67, 10.1007/BF03037383

Poole, 1993, Logic programming, abduction and probability: a top-down anytime algorithm for computing prior and posterior probabilities, New Generation Computing, 11, 377, 10.1007/BF03037184

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éal, Québec, 1995, pp. 454–463

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–56

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–1291

D. Poole, Decision theory, the situation calculus and conditional plans, Linköping 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–154

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–352

Reiter, 1987, A theory of diagnosis from first principles, Artificial Intelligence, 32, 57, 10.1016/0004-3702(87)90062-2