Papers by David Poole

REFEREED PUBLICATIONS

Journals

• D. Poole, ``Abducing Through Negation as Failure: Stable models within the independent choice logic '' to appear, Journal of Logic Programming, 1998.
• D. Poole, ``The Independent Choice Logic for modelling multiple agents under uncertainty'', Artificial Intelligence, 94(1-2), special issue on economic principles of multi-agent systems, pages 7-56, 1997.
• D. Poole, `` Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks'', Artificial Intelligence, 88, 69-100, 1996.
• N.L. Zhang and D. Poole, ``Exploiting Causal Independence in Bayesian Network Inference'', Journal of Artificial Intelligence Research, 5, 301-328, 1996.
• R. Qi and D. Poole, ``A New Method for Influence Diagram Evaluation'', Computational Intelligence, 11(3), 498-528, 1995.
• A. Csinger, K. S. Booth, D. Poole, ``AI Meets Authoring: User Models for Intelligent Multimedia'', Artificial Intelligence Review, special issue on user modelling, 8, 447-468, 1995.
• D. Poole, ``Representing Diagnosis Knowledge'', Annals of Mathematics and Artificial Intelligence, 11, 33-50, 1994.
• N.L. Zhang, R. Qi and D. Poole, ``A Computational Theory of Decision Networks'', International Journal of Approximate Reasoning, 11(2), 83-158, 1994.
• D. Poole, ``Probabilistic Horn abduction and Bayesian networks'', Artificial Intelligence, 64(1), 81-129, 1993.
• Y. Xiang, D. Poole and M. P. Beddoes, ``Multiply sectioned Bayesian networks and junction forests for large knowledge-based systems'', Computational Intelligence 9(2), 171-220, May 1993.
• Y. Xiang, B. Pant, A. Eisen, M. P. Beddoes and D. Poole, ``Multiply Sectioned Bayesian Networks for Neuromuscular Diagnosis'', Artificial Intelligence in Medicine, 5(4) 293-314, 1993.
• D. Poole, ``Logic Programming, Abduction and Probability: a top-down anytime algorithm for estimating prior and posterior probabilities'', New Generation Computing, 11(3-4), 377-400, 1993.
• D. Poole, ``The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning'', Artificial Intelligence, 49, 281-307, 1991. Republished in R. J. Brachman, H. J. Levesque and R. Reiter (Eds.), Knowledge Representation, MIT Press, 1991.
• D. Poole, ``Compiling a default reasoning system into Prolog'', New Generation Computing, 9(1), 3-38, 1991.
• D. Poole, ``A methodology for using a default and abductive reasoning system'', International Journal of Intelligent Systems, 1990, 5(5), 521-548, 1990.
• D. Poole, ``Explanation and Prediction: An Architecture for Default and Abductive Reasoning'', Computational Intelligence 5(2), 97-110, 1989.
• D. Poole, ``A Logical Framework for Default Reasoning'', Artificial Intelligence, 36(1), 27-47, 1988.

Conference Proceedings

• D. Poole, ``Context-specific approximation in probabilistic inference'', Proc. Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI-98), Madison, Wisconsin, July 1998.
• M. C. Horsch and D. Poole, ``An Anytime Algorithm for Decision Making under Uncertainty'', Proc. Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI-98), Madison, Wisconsin, July 1998.
• D. Poole, ``Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference'', Proc. Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August 1997, pp. 1284-1291.
• D. Poole, ``Multi-agent actions under uncertainty: situation caclulus, discrete time, plans and policies'', IJCAI-97 Workshop on Nonmonotonic Reasoning, Action, and Change, Nagoya, Japan, August 1997, pp. 139-158.
• A. Csinger and D. Poole, ``Adapting Decision Theory for Multimedia Presentation Design: User Modelling for Intent-based Authoring'', Proc. Twelfth European Conference on Artificial Intelligence (ECAI-96), Budapest, August 1996.
• C. Boutilier and D. Poole, ``Computing Optimal Policies for Partially Observable Decision Processes using Compact Representations'', Proc. Thirteenth National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, August 1996.
• D. Poole, ``A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility'', Proc. Twelfth Conference on Uncertainty in Artificial Intelligence, Portland, Oregon, August 1996.
• M. Horsch and D. Poole, "Flexible Policy Construction by Information Refinement", Proc. Twelfth Conference on Uncertainty in Artificial Intelligence, Portland Oregon, August 1996.
• A. Csinger and D. Poole, ``User Models and Perceptual Salience: Formal Abduction for Model Recognition and Presentation Design'', Proc. Fifth International Conference on User Modeling, Kona, HI, 51-58, 1996.
• D. Poole, ``Logic Programming for Robot Control'', Proc. Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, August 1995, 150-157.
• D. Poole, ``Exploiting the Rule Structure for Decision Making within the Independent Choice Logic'', Proceedings of the Eleventh Conference on Uncertainty in AI, Montreal, August 1995, 454-463.
• N. L. Zhang and D. Poole, ``Intercausal independence and heterogeneous factorization'', Proceedings of the Tenth Conference on Uncertainty in AI, Seattle, July 1994, 606-614.
• R. Qi, N. L. Zhang and D. Poole, ``Solving Asymmetric Decision Problems with Influence Diagrams'', Proceedings of the Tenth Conference on Uncertainty in AI, Seattle, July 1994, 491-497.
• N.L. Zhang and D. Poole, ``A simple approach to Bayesian network computations'', Proceedings of the Tenth Biennial Canadian Artificial Intelligence Conference (AI-94), Banff, May 1994, 171-178.
• D. Poole, ``Probabilistic Conflicts'', Fourth International Workshop on the Principles of Diagnosis, pp. 178-186, Aberystwyth, Wales, September 1993.
• D. Poole, ``Average-case analysis of a search algorithm for estimating prior and posterior probabilities in Bayesian networks with extreme probabilities'', Proc. Thirteenth International Joint Conference on Artificial Intelligence, pages 606-612, France, August 1993.
• A. Csinger and D. Poole, ``Hypothetically Speaking: Default Reasoning and Discourse Structure'', Proc. Thirteenth International Joint Conference on Artificial Intelligence, pages 1179-1184, France, August 1993.
• D. Poole, ``The Use of Conflicts in Searching Bayesian Networks'', Proceedings of the Ninth Conference on Uncertainty in AI, Washington D.C., pages 359-367, July 1993.
• L. Zhang, R. Qi and D. Poole, ``Incremental computation of the value of perfect information in stepwise-decomposable influence diagrams'', Proceedings of the Ninth Conference on Uncertainty in AI, Washington D.C., pages 400-407, July 1993.
• L. Zhang, R. Qi and D. Poole, ``Minimizing Decision Table Sizes in Stepwise-decomposable Influence Diagrams'', Proc. Fourth International Workshop on Artificial Intelligence and Statistics, Ft. Lauderdale, Florida, pages 423-432, January 1993.
• D. Poole, ``Efficient Model-based Diagnosis: Searching in Bayesian Networks'', Proceedings of the Third International Workshop on Principles of Diagnosis, Rosario, Washington, October 1992.
• L. Zhang and D. Poole, ``Stepwise-Decomposable Influence Diagrams'', Proceedings of the Third International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, Mass., pages 141-152, October 1992.
• R. Qi and D. Poole, ``Two Algorithms for Decision Tree Search'', Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence, Seoul, Korea, pages 121-127, September 1992.
• R. Qi and D. Poole, ``A Framework for U-graph Based Path Planning'', Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence, Seoul, Korea, pages 287-293, September 1992.
• Y. Xiang, D. Poole and M. P. Beddoes, ``Exploring Locality in Bayesian Networks for Large Expert Systems'', Proceedings of the Eighth Conference on Uncertainty in AI, pages 344-351, Stanford, July 1992.
• L. Zhang and D. Poole, ``Sidestepping the Triangulation Problem in Bayesian Net Computation'', Proceedings of the Eighth Conference on Uncertainty in AI, pages 360-367, Stanford, July 1992.
• D. Poole, ``Logic Programming, Abduction and Probability'', Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'92), pages 530-538, Tokyo, June 1992.
• D. Poole, ``Decision-theoretic Defaults'', Proceedings of the Ninth Biennial Canadian Artificial Intelligence Conference (CSCSI-92), pages 190-197, Vancouver, May 1992.
• Y. Xiang, B. Pant, A. Eisen, M.P.Beddoes, D. Poole, ``PAINULIM: A Neuromuscular Diagnostic Aid Using Multiply Sectioned Bayesian Networks'', Proc. of the ISMM International Conference on Mini and Microcomputers in Medicine and Healthcare, Long Beach, CA, Dec. 1991, pp. 64-69.
• D. Poole and G. Provan, ``Use and Granularity in Consistency-based Diagnosis'', Proc. Second International Workshop on the Principles of Diagnosis, Milan, October 1991, pp. 1-10.
• D. Poole, ``Representing Diagnostic Knowledge for Probabilistic Horn Abduction'', Proc. Twelfth International Joint Conference on Artificial Intelligence, Sydney, Australia, August 1991, pp. 1129-1135. Reprinted in W. Hamscher, L. Console and J. de Kleer (Eds.), Readings in Model-based Diagnosis, Morgan Kaufmann, forthcoming, 1992.
• N. Helft, K. Inoue and D. Poole, ``Answer Extraction in Circumscription'', Proc. Twelfth International Joint Conference on Artificial Intelligence, Sydney, Australia, August 1991, pp. 426-431.
• D. Poole, ``Representing Bayesian Networks within Probabilistic Horn Abduction'', Proceedings of the Seventh Conference on Uncertainty in AI, Los Angeles, July 1991, pp. 271-278.
• R. Qi and D. Poole, ``Path Planning under Uncertainty'', Proceedings of the Seventh Conference on Uncertainty in AI, Los Angeles, July 1991, pp. 287-294.
• G. Provan and D. Poole, ``The Utility of Consistency-Based Diagnostic Techniques'', Proc. Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass., April 1991, pp. 461-472.
• D. Poole and G. Provan, ``What is an optimal diagnosis?'', Proceedings of the Sixth Conference on Uncertainty in AI, Boston, July 1990, pp. 46-53. Revised version published as ``What is the Most Likely Diagnosis?'', in P. P. Bonissone, M. Henrion, L. N. Kanal and J. Lemmer (Eds.) Uncertainty in Artificial Intelligence VI, Elsevier, North Holland, 1991.
• M. Horsch and D. Poole, ``Dynamic Bayes Networks'', Proceedings of the Sixth Conference on Uncertainty in AI, Boston, July 1990, pp. 155-161.
• D. Poole, ``Dialectics and Specificity: Conditioning in Logic-based hypothetical reasoning'', Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI-90), Ottawa, May 1990, pp. 69-76. () Revised version in Proceedings of the Third International Workshop on Nonmonotonic Reasoning, California, June 1990, pp. 201-208.
• Y. Xiang, M. P. Beddoes and D. Poole, ``Sequential Updating of conditional probability in Bayesian networks by posterior probability'' Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI-90), Ottawa, May 1990, pp. 21-27.
• A. Csinger and D. Poole, ``From Utterance to Belief via Presupposition: Default Reasoning in User-Modelling'', Proc. Conference on Knowledge Based Computer Systems -- KBCS-89, 408-419, Bombay, India, December 1989. Reprinted in S. Ramani, R. Chandrasekar and K. S. R. Anjaneyulu (Eds.) Knowledge Based Computer systems, Lecture Notes in AI, Volume 444, Springer Verlag, 1989.
• D. L. Poole, ``Normality and Faults in Logic-Based Diagnosis'', Proceedings Eleventh International Joint Conference on Artificial Intelligence, Detroit, August 1989, pp. 1304-1310. Reprinted in W. Hamscher, L. Console and J. de Kleer (Eds.), Readings in Model-based Diagnosis, Morgan Kaufmann, forthcoming, 1992.
• Y. Xiang, M. P. Beddoes and D. Poole, ``Can uncertainty management be realized in a finite totally ordered probability algebra?'', Fifth Workshop on Uncertainty in Artificial Intelligence, Windsor Ontario, August 1989, pp. 385-393. Revised version in Uncertainty in Artificial Intelligence: Volume V, M. Henrion, R. Shacter, L. N. Kanal and J. Lemmer (Eds), Elsevier, North-Holland, 41-57, 1990.
• D. L. Poole, ``What the Lottery Paradox tells us about default reasoning'', Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, May 1989, pp. 333-340.
• D. L. Poole, ``Representing Knowledge for Logic-based Diagnosis'', Proc. International Conference on Fifth Generation Computer Systems 1988, Tokyo, November 1988, pp. 1282-1290.
• E. M. Neufeld and D. L. Poole, ``Probabilistic Semantics and Defaults'', Proceedings of the Fourth Workshop Uncertainty in Artificial Intelligence, University of Minnesota, August 1988, pp. 275-282. Revised version as E. M. Neufeld, D. Poole and R. Aleliunas, ``Probabilistic Semantics and Defaults'', in R. Shacter et. al. (eds.) Uncertainty in Artificial Intelligence, IV, North Holland, 121-131, 1990.
• D. L. Poole, ``Variables in Hypotheses'', Proceedings Tenth International Joint Conference on Artificial Intelligence, Milano, August 1987, pp. 905-908.
• E. M. Neufeld and D. L. Poole, ``Towards solving the multiple extension problem: combining defaults and probabilities'', Proceedings Third AAAI Workshop on Reasoning with Uncertainty, Seattle, July 1987, pp. 305-312. Revised version in Uncertainty in Artificial Intelligence, III, North Holland, 1989.
• D. L. Poole and R. G. Goebel, ``Gracefully Adding Negation and Disjunction to Prolog'', Proc. Third International Logic Programming Conference, Springer-Verlag Lecture Notes in Computer Science 225, pp. 635-641, 1986.
• R. Goebel, K. Furukawa and D. L. Poole, ``Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning'', Proc. Third International Logic Programming Conference, Springer-Verlag Lecture Notes in Computer Science 225, pp. 211-222, 1986.
• D. L. Poole, ``On the Comparison of Theories: Preferring the Most Specific Explanation'', Proceedings Ninth International Joint Conference on Artificial Intelligence, Los Angeles, August 1985, pp. 144-147.
• D. L. Poole, ``A Logical System for Default Reasoning'', Proc. AAAI Workshop on Non-Monotonic Reasoning, NY Oct 1984, pp. 373-384.
• M. L. Jones and D. L. Poole, ``An Expert System for Educational Diagnosis Based on Default Logic'', Proc. Fifth International Workshop on Expert Systems and Applications, Avignon, France, May 1985, pp. 673-683.
• D. L. Poole, ``Making `Clausal' Theorem Provers `Non-Clausal' '', Proc. Canadian Society for Computational Studies of Intelligence National Conference (CSCSI-84), London, May 1984, pp. 124-125.
• D. L. Poole, ``A Taxonomy of Control in Production Systems'', Proc. Australian Computer Science Conference, Canberra, Jan 1980.

NON-REFEREED PUBLICATIONS

Journals

• E. M. Neufeld and D. Poole, ``Combining Logic and Probability'', peer commentary on P. Cheeseman, ``Inquiry into Computer Understanding'' (Edited by M. McLeish), Computational Intelligence, 4(1), 98-99. 1988.
• D. Poole, ``The Use of Logic'', peer commentary on D. McDermott, ``Taking Issues: A Critique of Pure Reason'', (Edited by H. Levesque), Computational Intelligence, 3(3), 205-206, 1987.
• D. L. Poole and R. G. Goebel, ``On Eliminating loops in Prolog'', SIGPLAN Notices, Vol 20, No 8, August 1985, pp. 38-40,

Conference Proceedings

• C. Boutilier, R. Brafman, C. Geib and D. Poole, ``A Constraint-Based Approach to Preference Elicitation and Decision Making'', to appear, AAAI Spring Symposium on Qualitative Decision Theory, Stanford, March 1997.
• M. Horsch and D. Poole, ``Flexibe Construction of Decision Functions using Information Refinement'', Proc AAAI Fall Symposium on Felxible Compuation in Intelligent Systems: Results, Issues and Opportunities, MIT, Cambridge, Mass, November 1996, 68-72.
• D. Poole, ``Sensing and Acting in the Independent Choice Logic'', Working Notes AAAI Spring Symposium 1995 -- Extending Theories of Actions: Formal Theory and Practical Applications, Stanford, March 1995, 163-168.
• D. Poole and K. Kanazawa, ``A decision-theoretic abductive basis for planning'', Proc. AAAI Spring Symposium on Decision-Theoretic Planning, Stanford University, March 1994, 232-239.
• D. Poole, ``Hypo-deductive reasoning for abduction, default reasoning and design'', Proc. AAAI Spring Symposium on Automated Abduction, Stanford University, March 1990.
• N. Helft, K. Inoue and D. Poole, ``Extracting answers in circumscription'', ICOT Technical Memorandum TM-855, ICOT, 1989. Also in First Workshop on Defeasible Reasoning and Uncertainty Management Systems, Marseille, February, 1990.
• D. Poole, ``Minimalist AI and the Theorist conjecture'', AAAI Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, St. Louis, April 1989.
• D. L. Poole and E.M.Neufeld, ``Sound Probabilistic Inference in Prolog: An executable specification of influence graphs'', invited paper, Proc. First International Symposium on Artificial Intelligence, Monterrey, Mexico, pp. 37-54, October 1988.

BOOKS

• D. Poole, A. Mackworth, and R. Goebel, Computational Intelligence: A Logical Approach, Oxford University Press, 1998.
• R. Lopez de Mantaras and D. Poole (Eds), Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, 1994.

Chapters

• D. Poole, "Learning, Bayesian Probability, Graphical Models, and Abduction", to appear, Peter Flach and Antonis Kakas, editors, Abduction and Induction: essays on their relation and integration, Kluwer, 1998.
• D. Poole, ``Who chooses the assumptions?'', in P. O'Rorke (Ed.) Abduction, AAAI/MIT Press, forthcoming, 1997.
• D. Poole, ``Default Logic'', in D. M. Gabbay, C. J. Hogger J. A. Robinson (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Oxford University Press, 1994, 189-215.
• D. Poole, ``Formal Logic'', in Standards and Review Manual for Certification in Knowledge Engineering, Handbook of Theory and Practice, International Association for Knowledge Engineers, Systemsware Corporation (Publisher), July 1990.
• D. L. Poole, R. Goebel and R. Aleliunas, ``Theorist: a logical reasoning system for defaults and diagnosis'', in N. Cercone and G. McCalla (Eds.) The Knowledge Frontier: Essays in the Representation of Knowledge, Springer Varlag, New York, 1987, pp. 331-352.

MANUSCRIPTS

• D. Poole, ``Decision Theory, the Situation Calculus and Conditional Plans'' under discussion, The Electronic Transactions on Artificial Intelligence.