| Code, Nr | Citation |
|---|---|
1 | NIL Papers by David PooleThe following are all of the papers by David Poole.REFEREED PUBLICATIONSJournals |
2 | http://www.cs.ubc.ca/spider/poole/abstracts/abnaf.html D. Poole, `` Abducing Through Negation as Failure: Stable models within the independent choice logic '' to appear, Journal of Logic Programming , 1998. |
3 | http://www.cs.ubc.ca/spider/poole/abstracts/icl.html 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. |
4 | http://www.cs.ubc.ca/spider/poole/abstracts/seaalg.html D. Poole, `` Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks '', Artificial Intelligence , 88, 69-100, 1996. |
5 | http://www.cs.ust.hk/faculty/lzhang/bio.html N.L. Zhang and D. Poole, `` Exploiting Causal Independence in Bayesian Network Inference '', Journal of Artificial Intelligence Research , 5, 301-328, 1996. |
6 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/QiPoo95.ps.gz R. Qi and D. Poole, `` A New Method for Influence Diagram Evaluation '', Computational Intelligence , 11(3), 498-528, 1995. |
7 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/air.ps 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. |
8 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/rep.ps.gz D. Poole, `` Representing Diagnosis Knowledge '', Annals of Mathematics and Artificial Intelligence , 11, 33-50, 1994. |
9 | http://www.cs.ust.hk/faculty/lzhang/bio.html N.L. Zhang , R. Qi and D. Poole, ``A Computational Theory of Decision Networks'', International Journal of Approximate Reasoning , 11(2), 83-158, 1994. |
10 | abstracts/pha-bn.html D. Poole, `` Probabilistic Horn abduction and Bayesian networks '', Artificial Intelligence , 64(1), 81-129, 1993. |
11 | http://cs.uregina.ca/~yxiang 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. |
12 | http://cs.uregina.ca/~yxiang 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. |
13 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/ngc.ps.gz 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. |
14 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/knowledge.ps.gz 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. |
15 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/compiling.ps.gz D. Poole, `` Compiling a default reasoning system into Prolog'', New Generation Computing , 9(1), 3-38, 1991. |
16 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/meth.ps.gz D. Poole, `` A methodology for using a default and abductive reasoning system '', International Journal of Intelligent Systems , 1990, 5(5), 521-548, 1990. |
17 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/arch.ps.gz D. Poole, `` Explanation and Prediction: An Architecture for Default and Abductive Reasoning '', Computational Intelligence 5(2), 97-110, 1989. |
18 | NIL D. Poole, ``A Logical Framework for Default Reasoning'', Artificial Intelligence , 36(1), 27-47, 1988. Conference Proceedings |
19 | http://www.cs.ubc.ca/spider/poole/abstracts/approx.html D. Poole, `` Context-specific approximation in probabilistic inference '', Proc. Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI-98) , Madison, Wisconsin, July 1998. |
20 | /spider/horsch 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. |
21 | http://www.cs.ubc.ca/spider/poole/abstracts/pro-pa.html 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. |
22 | http://www.cs.ubc.ca/spider/poole/abstracts/sv_vs_dt.html 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. |
23 | /spider/csinger 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. |
24 | /spider/cebly/craig.html 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. |
25 | http://www.cs.ubc.ca/spider/poole/abstracts/iclsc.html 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. |
26 | /spider/horsch M. Horsch and D. Poole, " Flexible Policy Construction by Information Refinement ", Proc. Twelfth Conference on Uncertainty in Artificial Intelligence , Portland Oregon, August 1996. |
27 | NIL 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. |
28 | http://www.cs.ubc.ca/spider/poole/abstracts/lprc.html D. Poole, `` Logic Programming for Robot Control '', Proc. Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95) , Montreal, August 1995, 150-157. |
29 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/exploit.ps 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. |
30 | NIL 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. |
31 | NIL 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. |
32 | NIL 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. |
33 | NIL D. Poole, ``Probabilistic Conflicts'', Fourth International Workshop on the Principles of Diagnosis , pp. 178-186, Aberystwyth, Wales, September 1993. |
34 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/avan.ps.gz 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. |
35 | NIL 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. |
36 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/conflict.ps.gz 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. |
37 | NIL 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. |
38 | NIL 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. |
39 | NIL D. Poole, ``Efficient Model-based Diagnosis: Searching in Bayesian Networks'', Proceedings of the Third International Workshop on Principles of Diagnosis , Rosario, Washington, October 1992. |
40 | NIL 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. |
41 | NIL 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. |
42 | NIL 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. |
43 | NIL 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. |
44 | NIL 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. |
45 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/fgcs92.ps.gz 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. |
46 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/dtd.ps.gz D. Poole, `` Decision-theoretic Defaults '', Proceedings of the Ninth Biennial Canadian Artificial Intelligence Conference (CSCSI-92) , pages 190-197, Vancouver, May 1992. |
47 | NIL 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. |
48 | NIL 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. |
49 | NIL 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. |
50 | NIL 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. |
51 | NIL 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. |
52 | NIL 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. |
53 | NIL 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. |
54 | NIL 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. |
55 | NIL M. Horsch and D. Poole, ``Dynamic Bayes Networks'', Proceedings of the Sixth Conference on Uncertainty in AI , Boston, July 1990, pp. 155-161. |
56 | NIL 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. |
57 | NIL 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. |
58 | NIL 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. |
59 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/ijcai89.ps.gz 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. |
60 | NIL 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. |
61 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/lottery.ps.gz 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. |
62 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/fgcs88.ps.gz D. L. Poole, `` Representing Knowledge for Logic-based Diagnosis '', Proc. International Conference on Fifth Generation Computer Systems 1988 , Tokyo, November 1988, pp. 1282-1290. |
63 | NIL 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. |
64 | NIL D. L. Poole, ``Variables in Hypotheses'', Proceedings Tenth International Joint Conference on Artificial Intelligence , Milano, August 1987, pp. 905-908. |
65 | NIL 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. |
66 | NIL 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. |
67 | NIL 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. |
68 | NIL 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. |
69 | NIL D. L. Poole, ``A Logical System for Default Reasoning'', Proc. AAAI Workshop on Non-Monotonic Reasoning , NY Oct 1984, pp. 373-384. |
70 | NIL 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. |
71 | NIL 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. |
72 | NIL D. L. Poole, ``A Taxonomy of Control in Production Systems'', Proc. Australian Computer Science Conference , Canberra, Jan 1980. NON-REFEREED PUBLICATIONSJournals |
73 | NIL 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. |
74 | NIL 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. |
75 | NIL 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 |
76 | NIL 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. |
77 | NIL 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. |
78 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/actions.ps.gz 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. |
79 | http://www.cs.ubc.ca/spider/poole/abstracts/dtp.html 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. |
80 | NIL D. Poole, ``Hypo-deductive reasoning for abduction, default reasoning and design'', Proc. AAAI Spring Symposium on Automated Abduction , Stanford University, March 1990. |
81 | NIL 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. |
82 | NIL D. Poole, ``Minimalist AI and the Theorist conjecture'', AAAI Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance , St. Louis, April 1989. |
83 | NIL 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 |
84 | http://www.cs.ubc.ca/spider/mack/ D. Poole, A. Mackworth , and R. Goebel , Computational Intelligence: A Logical Approach , Oxford University Press, 1998. |
85 | http://www.sis.pitt.edu/~dsl/uai94.html R. Lopez de Mantaras and D. Poole (Eds), Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence , Morgan Kaufmann , 1994. Chapters |
86 | http://www.cs.ubc.ca/spider/poole/abstracts/indab.html 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. |
87 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/who.ps.gz D. Poole, `` Who chooses the assumptions? '', in P. O'Rorke (Ed.) Abduction , AAAI/MIT Press, forthcoming, 1997. |
88 | ftp://ftp.cs.ubc.ca/ftp/local/poole/papers/default.ps.gz 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. |
89 | NIL 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. |
90 | NIL 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. MANUSCRIPTSThese should be referrred to as technical reports. |
91 | http://www.cs.ubc.ca/spider/poole/abstracts/sitc.html D. Poole, `` Decision Theory, the Situation Calculus and Conditional Plans '' under discussion, The Electronic Transactions on Artificial Intelligence . Last updated 25 May 1998 - David Poole |