References

Abadi, M. and J. Halpern (1994). Decidability and expressiveness for first-order logics of probability. Information and Computation 112(1), 1–36.

Adams, E. (1975). The Logic of Conditionals. Dordrecht, Netherlands: Reidel.

Agrawal, M., N. Keyal, and N. Saxena (2002). Primes is in P. Unpublished manuscript.

Alchourr n, C. E., P.G rdenfors, and D. Makinson, (1985). On the logic of theory change: partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510–530.

Allais, M. (1953). Le comportement de l'homme rationel devant le risque: critique de l' cole Americaine. Econometrica 21, 503–546.

Anderson, A. and N. D. Belnap (1975). Entailment: The Logic of Relevance and Necessity. Princeton, N.J.: Princeton University Press.

Anger, B. and J. Lembcke (1985). Infinite subadditive capacities as upper envelopes of measures. Zeitschirft f r Wahrscheinlichkeithstheorie 68, 403–414.

Artzenius, F. and D. McCarthy (1997). The two-envelope paradox and infinite expectations. Analysis 57, 42–51.

Ash, R. B. (1970). Basic Probability Theory. New York: Wiley.

Aumann, R. J. (1976). Agreeing to disagree. Annals of Statistics 4(6), 1236–1239.

Bacchus, F. (1988). On probability distributions over possible worlds. In Proc. Fourth Workshop on Uncertainty in Artificial Intelligence, pp. 15–21.

Bacchus, F. (1990). Representing and Reasoning with Probabilistic Knowledge. Cambridge, Mass.: MIT Press.

Bacchus, F. and A. J. Grove (1995). Graphical models for preference and utility. In Proc. Eleventh Conference on Uncertainty in Artificial Intelligence (UAI '95), pp. 3–11.

Bacchus, F., A. J. Grove, J. Y. Halpern, and D. Koller (1992). From statistics to belief. In Proceedings, Tenth National Conference on Artificial Intelligence (AAAI '92), pp. 602–608.

Bacchus, F., A. J. Grove, J. Y. Halpern, and D. Koller (1996). From statistical knowledge bases to degrees of belief. Artificial Intelligence 87(1–2), 75–143.

Bacchus, F., H. E. Kyburg, and M. Thalos (1990). Against conditionalization. Synthese 85, 475–506.

Balke, A. and J. Pearl (1994). Probabilistic evaluation of counterfactual queries. In Proceedings, Twelfth National Conference on Artificial Intelligence (AAAI '94), pp. 230–237.

Bar-Hillel, M. and R. Falk (1982). Some teasers concerning conditional probabilities. Cognition 11, 109–122.

Benthem, J. F. A. K. van (1974). Some correspondence results in modal logic. Report 74–05, University of Amsterdam.

Benthem, J. F. A. K. van (1985). Modal Logic and Classical Logic. Naples: Bibliopolis.

Benvenuti, P. and R. Mesiar (2000). Integrals with respect to a general fuzzy measure. In M. Grabisch, T. Murofushi, and M. Sugeno (Eds.), Fuzzy Measures and Applications— Theory and Applications, pp. 205–232. Heidelberg: Physica Verlag.

Billingsley, P. (1986). Probability and Measure. New York: Wiley.

Blackburn, P., M. de Rijke, and Y. Venema (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science, No. 53. Cambridge, U.K.: Cambridge University Press.

Blume, L., A. Brandenburger, and E. Dekel (1991a). Lexicographic probabilities and choice under uncertainty. Econometrica 59(1), 61–79.

Blume, L., A. Brandenburger, and E. Dekel (1991b). Lexicographic probabilities and equilibrium refinements. Econometrica 59(1), 81–98.

Bonanno, G. and K. Nehring (1999). How to make sense of the common prior assumption under incomplete information. International Journal of Game Theory 28(3), 409–434.

Boole, G. (1854). An Investigation into the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities. London: Macmillan.

Borel, E. (1943). Les Probabilit s et la Vie. Paris: Presses Universitaires de France. English translation Probabilities and Life, New York: Dover, 1962.

Borodin, A. and, R. El-Yaniv (1998). Online Computation and Competitive Analysis. Cambridge, U.K.: Cambridge University Press.

Boutilier, C. (1994). Unifying default reasoning and belief revision in a modal framework. Artificial Intelligence 68, 33–85.

Boutilier, C. (1996). Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic 25, 262–305.

Boutilier, C. (1998). A unified model of qualitative belief change: a dynamical systems perspective. Artificial Intelligence 98(1–2), 281–316.

Boutilier, C. and M. Goldszmidt (Eds.) (2000). Proc. Sixteenth Conference on Uncertainty in Artificial Intelligence (UAI 2000). San Francisco: Morgan Kaufmann.

Boutilier, C., J. Y. Halpern, and N. Friedman (1998). Belief revision with unreliable observations. In Proceedings, Fifteenth National Conference on Artificial Intelligence (AAAI '98), pp. 127–134.

Brafman, R. I. (1997). A first-order conditional logic with qualitative statistical semantics. Journal of Logic and Computation 7(6), 777–803.

Brandenburger, A. (1999). On the existence of a "complete" belief model. Working Paper 99-056, Harvard Business School.

Brandenburger, A. and E. Dekel (1987). Common knowledge with probability 1. Journal of Mathematical Economics 16, 237–245.

Burgess, J. (1981). Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic 22, 76–84.

Camerer, C. and M. Weber (1992). Recent developments in modeling preferences: uncertainty and ambiguity. Journal of Risk and Uncertainty 5, 325–370.

Campos, L. M. de. and J. F. Huete (1993). Independence concepts in upper and lower probabilities. In B. Bouchon-Meunier, L. Valverde, and R. R. Yager (Eds.), Uncertainty in Intelligent Systems, pp. 85–96. Amsterdam: North-Holland.

Campos, L. M. de and J. F. Huete (1999a). Independence concepts in possibility theory: Part I. Fuzzy Sets and Systems 103(1), 127–152.

Campos, L. M. de and J. F. Huete (1999b). Independence concepts in possibility theory: Part II. Fuzzy Sets and Systems 103(3), 487–505.

Campos, L. M. de M. T. Lamata, and S. Moral (1990). The concept of conditional fuzzy measure. International Journal of Intelligent Systems 5, 237–246.

Campos, L. M. de and S. Moral (1995). Independence concepts for sets of probabilities. In Proc. Eleventh Conference on Uncertainty in Artificial Intelligence (UAI '95), pp. 108–115.

Carnap, R. (1946). Modalities and quantification. Journal of Symbolic Logic 11, 33–64.

Carnap, R. (1947). Meaning and Necessity. Chicago: University of Chicago Press.

Carnap, R. (1950). Logical Foundations of Probability. Chicago: University of Chicago Press.

Carnap, R. (1952). The Continuum of Inductive Methods. Chicago: University of Chicago Press.

Castillo, E., J. M. Gutierrez, and A. S. Hadi (1997). Expert Systems and Probabilistic Network Models. New York: Springer-Verlag.

Charniak, E. (1991). Bayesian networks without tears. AI Magazine Winter, 50–63.

Chellas, B. F. (1980). Modal Logic. Cambridge, U.K.: Cambridge University Press.

Choquet, G. (1953). Theory of capacities. Annales de l'Institut Fourier (Grenoble) 5, 131–295.

Chu, F. and J. Y. Halpern (2003a). Great expectations. Part I: Tailoring generalized expected utility to capture different postulates. In Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003).

Chu, F. and J. Y. Halpern (2003b). Great expectations. Part II: generalized expected utility as a universal decision rule. Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003).

Chuaqui, R. (1991). Truth, possibility, and probability: new logical foundations of probability and statistical inference. Amsterdam: North-Holland.

Cooper, G. F. and S. Moral (Eds.) (1998). Proc. Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI '98). San Francisco: Morgan Kaufmann.

Cousa, I., S. Moral, and P. Walley (1999). Examples of independence for imprecise probabilities. In Proc. First Intl. Symp. Imprecise Probabilities and Their Applications (ISIPTA '99).

Cover, T. M. and J. A. Thomas (1991). Elements of Information Theory. New York: Wiley.

Cox, R. (1946). Probability, frequency, and reasonable expectation. American Journal of Physics 14(1), 1–13.

Cozman, F. G. (1998). Irrelevance and independence relations in Quasi-Bayesian networks. In Proc. Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI '98), pp. 89–96.

Cozman, F. G. (2000a). Credal networks. Artificial Intelligence 120(2), 199–233.

Cozman, F. G. (2000b). Separation properties of setes of probability measures. In Proc. Sixteenth Conference on Uncertainty in Artificial Intelligence (UAI 2000).

Cozman, F. G. and P. Walley (1999). Graphoid properties of epistemic irrelevance and independence. Unpublished manuscript.

Darwiche, A. (1992). A Symbolic Generalization of Probability Theory. Ph.D. thesis, Stanford University.

Darwiche, A. and M. L. Ginsberg (1992). A symbolic generalization of probability theory. In Proceedings, Tenth National Conference on Artificial Intelligence (AAAI '92), pp. 622–627.

Darwiche, A. and J. Pearl (1997). On the logic of iterated belief revision. Artificial Intelligence 89, 1–29.

Davis, R. and W. Hamscher (1988). Model-based reasoning: troubleshooting. In H. Shrobe (Ed.), Exploring Artificial Intelligence, pp. 297–346. San Francisco: Morgan Kaufmann.

Dawid, A. P. (1979). Conditional independence in statistical theory. Journal of the Royal Statistical Society, Series B 41, 1–31.

Dawid, A. P. and J. M. Dickey (1977). Likelihood and Bayesian inference from selectively reported data. Journal of the American Statistical Association 72(360), 845–850.

de Finetti, B. (1931). Sul significato soggestivo del probabilit . Fundamenta Mathematica 17, 298–329.

de Finetti, B. (1936). Les probabilit s nulles. Bulletins des Science Math matiques (premi re partie) 60, 275–288.

de Finetti, B. (1937). La pr vision: ses lois logiques, ses sources subjectives. Annales de l'Institut Henri Poincar 24, 17–24. English translation "Foresight: its logical laws, its subjective sources" in H. E. Kyburg, Jr. and H. Smokler (Eds.), Studies in Subjective Probaiblity, pp. 93–158, New York: Wiley, 1964.

de Finetti, B. (1972). Probability, Induction and Statistics. New York: Wiley.

Dekel, E., B. Lipman, and A. Rusticchini (1998) Recent developments in modeling unforeseen contingencies. European Economic Review 42, 523–542.

Delgrande, J. P. (1987). A first-order conditional logic for prototypical properties. Artificial Intelligence 33, 105–130.

Delgrande, J. P. (1988). An approach to default reasoning based on a first-order conditional logic: revised report. Artificial Intelligence 36, 63–90.

Dellacherie, C. (1970). Quelques commentaires sur les prolongements de capacit s. In S minaire Probabilit s, Strasbourg, Lecture Notes in Mathematics, Volume 191. Berlin and New York: Springer-Verlag.

Dempster, A. P. (1967). Upper and lower probabilities induced by a multivalued mapping. Annals of Mathematical Statistics 38, 325–339.

Dempster, A. P. (1968). A generalization of Bayesian inference. Journal of the Royal Statistical Society, Series B 30, 205–247.

Denneberg, D. (2002). Conditional expectation for monotone measures, the discrete case. Journal of Mathematical Economics 37, 105–121.

Dershowitz, N. and Z. Manna (1979). Proving termination with multiset orderings. Communications of the ACM 22(8), 456–476.

Diaconis, P. (1978). Review of "A Mathematical Theory of Evidence". Journal of the American Statistical Society 73(363), 677–678.

Diaconis, P. and S. L. Zabell (1982). Updating subjective probability. Journal of the American Statistical Society 77(380), 822–830.

Diaconis, P. and S. L. Zabell (1986). Some alternatives to Bayes's rule. In B. Grofman and G. Owen (Eds.), Proc. Second University of California, Irvine, Conference on Political Economy, pp. 25–38.

Doyle, J., Y. Shoham, and M. P. Wellman (1991). A logic of relative desire. In Proc. 6th International Symposium on Methodologies for Intelligent Systems, pp. 16–31.

Dubois, D., L. Fari as del Cerro, A. Herzig, and H. Prade (1994). An ordinal view of independence with applications to plausible reasoning. In Proc. Tenth Conference on Uncertainty in Artificial Intelligence (UAI '94), pp. 195–203.

Dubois, D. and H. Prade (1982). On several representations of an uncertain body of evidence. In M. M. Gupta and E. Sanchez (Eds.), Fuzzy Information and Decision Processes, pp. 167–181. Amsterdam: North-Holland.

Dubois, D. and H. Prade (1987). The mean value of a fuzzy number. Fuzzy Sets and Systems 24, 297–300.

Dubois, D. and H. Prade (1990). An introduction to possibilistic and fuzzy logics. In G. Shafer and J. Pearl (Eds.), Readings in Uncertain Reasoning, pp. 742–761. San Francisco: Morgan Kaufmann.

Dubois, D. and H. Prade (1991). Possibilistic logic, preferential models, non-monotonicity and related issues. In Proc. Twelfth International Joint Conference on Artificial Intelligence (IJCAI '91), pp. 419–424.

Dubois, D. and H. Prade (1998). Possibility measures: qualitative and quantitative aspects. In D. M. Gabbay and P. Smets (Eds.), Quantified Representation of Uncertainty and Imprecision, Volume 1 of Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 169–226. Dordrecht, Netherlands: Kluwer.

Ebbinghaus, H. D. (1985). Extended logics: the general framework. In J. Barwise and S. Feferman (Eds.), Model-Theoretic Logics, pp. 25–76. New York: Springer-Verlag.

Ellsberg, D. (1961). Risk, ambiguity, and the Savage axioms. Quarterly Journal of Economics 75, 643–649.

Enderton, H. B. (1972). A Mathematical Introduction to Logic. New York: Academic Press.

Fagin, R. and J. Y. Halpern (1991a). A new approach to updating beliefs. In P. Bonissone, M. Henrion, L. Kanal, and J. Lemmer (Eds.), Uncertainty in Artificial Intelligence: Volume VI, pp. 347–374. Amsterdam: Elsevier.

Fagin, R. and J. Y. Halpern (1991b). Uncertainty, belief, and probability. Computational Intelligence 7(3), 160–173.

Fagin, R. and J. Y. Halpern (1994). Reasoning about knowledge and probability. Journal of the ACM 41(2), 340–367.

Fagin, R., J. Y. Halpern, and N. Megiddo (1990). A logic for reasoning about probabilities. Information and Computation 87(1/2), 78–128.

Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi (1995). Reasoning about Knowledge. Cambridge, Mass.: MIT Press.

Fagin, R., J. D. Ullman, and M. Y. Vardi (1983). On the semantics of updates in databases. In Proc. 2nd ACM Symp. on Principles of Database Systems, pp. 352–365.

Fari as del Cerro, L. and A. Herzig (1991). A modal analysis of possibilistic logic. In Symbolic and Quantitative Approaches to Uncertainty, Lecture Notes in Computer Science, Volume 548, pp. 58–62. Berlin/New York: Springer-Verlag.

Farquhar, P. H. (1984). Utility assessment methods. Management Science 30, 1283–1300.

Feinberg, Y. (1995). A converse to the Agreement Theorem. Technical Report Discussion Paper #83, Center for Rationality and Interactive Decision Theory.

Feinberg, Y. (2000). Characterizing common priors in the form of posteriors. Journal of Economic Theory 91(2), 127–179.

Feldman, Y. (1984). A decidable propositional probabilistic dynamic logic with explicit probabilities. Information and Control 63, 11–38.

Feller, W. (1957). An Introduction to Probability Theory and Its Applications (2nd ed.), Volume 1. New York: Wiley.

Fine, T. L. (1973). Theories of Probability. New York: Academic Press.

Fischer, M. J. and N. Immerman (1986). Foundations of knowledge for distributed systems. In Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, pp. 171–186.

Fischer, M. J. and L. D. Zuck (1988). Reasoning about uncertainty in fault-tolerant distributed systems. Technical Report YALEU/DCS/TR–643, Yale University.

Fonck, P. (1994). Conditional independence in possibility theory. In Proc. Tenth Conference on Uncertainty in Artificial Intelligence (UAI '94), pp. 221–226.

Freund, J. E. (1965). Puzzle or paradox? American Statistician 19(4), 29–44.

Freund, M. and D. Lehmann (1994). Belief revision and rational inference. Technical Report TR 94-16, Hebrew University.

Friedman, N., L. Getoor, D. Koller, and A. Pfeffer (1999). Learning probabilistic relational models. In Proc. Sixteenth International Joint Conference on Artificial Intelligence (IJCAI '99), pp. 1300–1307.

Friedman, N. and J. Y. Halpern (1994). On the complexity of conditional logics. In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), pp. 202–213.

Friedman, N. and J. Y. Halpern (1995). Plausibility measures: a user's guide. In Proc. Eleventh Conference on Uncertainty in Artificial Intelligence (UAI '95), pp. 175–184.

Friedman, N. and J. Y. Halpern (1996). A qualitative Markov assumption and its implications for belief change. In Proc. Twelfth Conference on Uncertainty in Artificial Intelligence (UAI '96), pp. 263–273.

Friedman, N. and J. Y. Halpern (1997). Modeling belief in dynamic systems. Part I: foundations. Artificial Intelligence 95(2), 257–316.

Friedman, N. and J. Y. Halpern (1999). Modeling belief in dynamic systems. Part II: revision and update. Journal of A.I. Research 10, 117–167.

Friedman, N. and J. Y. Halpern (2001). Plausibility measures and default reasoning. Journal of the ACM 48(4), 648–685.

Friedman, N., J. Y. Halpern, and D. Koller (2000). First-order conditional logic for default reasoning revisited. ACM Trans. on Computational Logic 1(2), 175–207.

Fudenberg, D. and J. Tirole (1991). Game Theory. Cambridge, Mass.: MIT Press.

Gabbay, D. (1985). Theoretical foundations for nonmonotonic reasoning in expert systems. In K. R. Apt (Ed.), Logics and Models of Concurrent Systems, pp. 459–476. Berlin: Springer-Verlag.

Gaifman, H. (1986). A theory of higher order probabilities. In Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, pp. 275–292.

G rdenfors, P. (1978). Conditionals and changes of belief. Acta Philosophica Fennica 30, 381–404.

G rdenfors, P. (1988). Knowledge in Flux. Cambridge, Mass.: MIT Press.

G rdenfors, P. and D. Makinson (1988). Revisions of knowledge systems using epistemic entrenchment. In Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 83–95. San Francisco: Morgan Kaufmann.

G rdenfors, P. and N. Sahlin (1982). Unreliable probabilities, risk taking, and decision making. Synthese 53, 361–386.

Gardner, M. (1961). Second Scientific American Book of Mathematical Puzzles and Diversions. New York: Simon & Schuster.

Garson, J. W. (1984). Quantification in modal logic. In D. Gabbay and F. Guenthner (Eds.), Handbook of Philosophical Logic, Volume II, pp. 249–307. Dordrecht, Netherlands: Reidel.

Geffner, H. (1992a). Default Reasoning: Causal and Conditional Theories. Cambridge, Mass.: MIT Press.

Geffner, H. (1992b). High probabilities, model preference and default arguments. Mind and Machines 2, 51–70.

Geiger, D. and J. Pearl (1988). On the logic of causal models. In Proc. Fourth Workshop on Uncertainty in Artificial Intelligence (UAI '88), pp. 136–147.

Geiger, D., T. Verma, and J. Pearl (1990). Identifying independence in Bayesian networks. Networks 20, 507–534.

Gilboa, I. and D. Schmeidler (1989). Maxmin expected utility with a non-unique prior. Journal of Mathematical Economics 18, 141–153.

Gilboa, I. and D. Schmeidler (1993). Updating ambiguous beliefs. Journal of Economic Theory 59, 33–49.

Gill, R. D., M. van der Laan, and J. Robins (1997). Coarsening at random: Characterisations, conjectures and counter-examples. In Proceedings First Seattle Conference on Biostatistics, pp. 255–294.

Goldberger, A. S. (1972). Structural equation methods in the social sciences. Econometrica 40(6), 979–1001.

Goldstein, M. (1984). Turning probabilities into expectations. Annals of Statistics 12(4), 1551–1557.

Goldszmidt, M., P. Morris, and J. Pearl (1993). A maximum entropy approach to nonmonotonic reasoning. IEEE Transactions of Pattern Analysis and Machine Intelligence 15(3), 220–232.

Goldszmidt, M. and J. Pearl (1992). Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions. In Proc. Third International Conference on Principles of Knowledge Representation and Reasoning (KR '92), pp. 661–672.

Good, I. J. (1960). Weights of evidence, corroboration, explanatory power, information and the utility of experiments. Journal of the Royal Statistical Society, Series B 22, 319–331.

Gordon, J. and E. H. Shortliffe (1984). The Dempster-Shafer theory of evidence. In B. G. Buchanan and E. H. Shortliffe (Eds.), Rule-based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, pp. 272–292. New York: Addison-Wesley.

Graham, R. L., D. E. Knuth, and O. Patashnik (1989). Concrete Mathematics—A Foundation for Computer Science. Reading, Mass.: Addison-Wesley.

Gray, J. (1978). Notes on database operating systems. In R. Bayer, R. M. Graham, and G. Seegmuller (Eds.), Operating Systems: An Advanced Course, Lecture Notes in Computer Science, Volume 66. Berlin/New York: Springer-Verlag. Also appears as IBM Research Report RJ 2188, 1978.

Grove, A. (1988). Two modelings for theory change. Journal of Philosophical Logic 17, 157–170.

Grove, A. J. and J. Y. Halpern (1997). Probability update: conditioning vs. cross-entropy. In Proc. Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI '97), pp. 208–214.

Grove, A. J. and J. Y. Halpern (1998). Updating sets of probabilities. In Proc. Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI '98), pp. 173–182.

Grove, A. J., J. Y. Halpern, and D. Koller (1994). Random worlds and maximum entropy. Journal of A.I. Research 2, 33–88.

Gr nwald, P. D. and J. Y. Halpern (2002). Updating probabilities. In Proc. Eighteenth Conference on Uncertainty in Artificial Intelligence (UAI 2002), pp. 187–196.

Hacking, I. (1975). The Emergence of Probability. Cambridge, U.K.: Cambridge University Press.

Hagashi, M. and G. J. Klir (1983). Measures of uncertainty and information based on possibility distributions. International Journal of General Systems 9(2), 43–58.

Halmos, P. (1950). Measure Theory. New York: Van Nostrand.

Halpern, J. Y. (1990). An analysis of first-order logics of probability. Artificial Intelligence 46, 311–350.

Halpern, J. Y. (1996). Should knowledge entail belief? Journal of Philosophical Logic 25, 483–494.

Halpern, J. Y. (1997a). Defining relative likelihood in partially-ordered preferential structures. Journal of A.I. Research 7, 1–24.

Halpern, J. Y. (1997b). On ambiguities in the interpretation of game trees. Games and Economic Behavior 20, 66–96.

Halpern, J. Y. (1998a). Characterizing the common prior assumption. In Theoretical Aspects of Rationality and Knowledge: Proc. Seventh Conference (TARK 1998), pp. 133–146.

Halpern, J. Y. (1998b). A logical approach for reasoning about uncertainty: a tutorial. In X. Arrazola, K. Korta, and F. J. Pelletier (Eds.), Discourse, Interaction, and Communication, pp. 141–155. Dordrecht, Netherlands: Kluwer.

Halpern, J. Y. (1999a). A counterexample to theorems of Cox and Fine. Journal of A.I. Research 10, 76–85.

Halpern, J. Y. (1999b). Cox's theorem revisited. Journal of A.I. Research 11, 429–435.

Halpern, J. Y. (1999c). Set-theoretic completeness for epistemic and conditional logic. Annals of Mathematics and Artificial Intelligence 26, 1–27.

Halpern, J. Y. (2001a). Conditional plausibility measures and Bayesian networks. Journal of A.I. Research 14, 359–389.

Halpern, J. Y. (2001b). Lexicographic probability, conditional probability, and nonstandard probability. In Theoretical Aspects of Rationality and Knowledge: Proc. Eighth Conference (TARK 2001), pp. 17–30.

Halpern, J. Y. (2001c). Substantive rationality and backward induction. Games and Economic Behavior 37, 425–435.

Halpern, J. Y. and R. Fagin (1989). Modelling knowledge and action in distributed systems. Distributed Computing 3(4), 159–179.

Halpern, J. Y. and R. Fagin (1992). Two views of belief: belief as generalized probability and belief as evidence. Artificial Intelligence 54, 275–317.

Halpern, J. Y. and D. Koller (1995). Representation dependence in probabilistic inference. In Proc. Fourteenth International Joint Conference on Artificial Intelligence (IJCAI '95), pp. 1853–1860.

Halpern, J. Y. and Y. Moses (1990). Knowledge and common knowledge in a distributed environment. Journal of the ACM 37(3), 549–587.

Halpern, J. Y. and Y. Moses (1992). A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 319–379.

Halpern, J. Y. and R. Pucella (2001). A logic for reasoning about upper probabilities. In Proc. Seventeenth Conference on Uncertainty in Artificial Intelligence (UAI 2001), pp. 203–210.

Halpern, J. Y. and R. Pucella (2002). Reasoning about expectation. In Proc. Eighteenth Conference on Uncertainty in Artificial Intelligence (UAI 2002), pp. 207–215.

Halpern, J. Y. and M. R. Tuttle (1993). Knowledge, probability, and adversaries. Journal of the ACM 40(4), 917–962.

Halpern, J. Y. and M. Y. Vardi (1989). The complexity of reasoning about knowledge and time, I: lower bounds. Journal of Computer and System Sciences 38(1), 195–237.

Hammond, P. J. (1994). Elementary non-Archimedean representations of probability for decision theory and games. In P. Humphreys (Ed.), Patrick Suppes: Scientific Philosopher; Volume 1. Dordrecht, Netherlands: Kluwer.

Hansson, S. O. (1999). A Textbook of Belief Dynamics: Theory Change and Database Updating. Dordrecht, Netherlands: Kluwer.

Harel, D., D. C. Kozen, and J. Tiuryn (2000). Dynamic Logic. Cambridge, Mass.: MIT Press.

Harsanyi, J. (1968). Games with incomplete information played by ‘Bayesian’ players, parts I–III. Management Science 14, 159–182, 320–334, 486–502.

Hart, S. and M. Sharir (1984). Probabilistic temporal logics for finite and bounded models. In Proc. 16th ACM Symp. on Theory of Computing, pp. 1–13.

Heckerman, D. (1990). Probabilistic similarity networks. Technical Report STAN-CS-1316, Stanford University, Departments of Computer Science and Medicine.

Heitjan, D. and D. Rubin (1991). Ignorability and coarse data. Annals of Statistics 19, 2244–2253.

Heyting, A. (1956). Intuitionism: An Introduction. Amsterdam: North-Holland.

Hintikka, J. (1962). Knowledge and Belief . Ithaca, N.Y.: Cornell University Press.

Hisdal, E. (1978). Conditional possibilities—independence and noninteractivity. Fuzzy Sets and Systems 1, 283–297.

Hoek, W. van der (1993). Systems for knowledge and belief. Journal of Logic and Computation 3(2), 173–195.

Horn, A. and A. Tarski (1948). Measures in Boolean algebras. Transactions of the AMS 64(1), 467–497.

Howard, R. A. and J. E. Matheson (1981). Influence diagrams. In R. A. Howard and J. E. Matheson (Eds.), The Principles and Applications of Decision Analysis, Volume II (1984). Menlo Park, Calif.: Strategic Decisions Group.

Howson, C. and P. Urbach (1989). Scientific Reasoning: The Bayesian Approach. La Salle, Ill.: Open Court.

Huber, P. J. (1981). Robust Statistics. New York: Wiley.

Hughes, G. E. and M. J. Cresswell (1968). An Introduction to Modal Logic. London: Methuen.

Jaffray, J.-Y. (1992). Bayesian updating and belief functions. IEEE Transactions on Systems, Man, and Cybernetics 22(5), 1144–1152.

Jaynes, E. T. (1957). Information theory and statistical mechanics. Physical Review 106(4), 620–630.

Jeffrey, R. C. (1968). Probable knowledge. In I. Lakatos (Ed.), International Colloquium in the Philosophy of Science: The Problem of Inductive Logic, pp. 157–185. Amsterdam: North-Holland.

Jeffrey, R. C. (1983). The Logic of Decision. Chicago: University of Chicago Press.

Jelinek, F. (1997). Statistical Methods for Speech Recognition. Cambridge, Mass.: MIT Press.

Jensen, F. V. (1996). Introduction to Bayesian Networks. New York: Springer-Verlag.

Johnson, W. E. (1932). Probability: The deductive and inductive problems. Mind 41(164), 409–423.

Kagel, J. H. and A. E. Roth (1995). Handbook of Experimental Economics. Princeton, N.J.: Princeton University Press.

Kahneman, D., P. Slovic, and A. Tversky (Eds.) (1982). Judgment Under Uncertainty: Heuristics and Biases. Cambridge/New York: Cambridge University Press.

Kahneman, D. and A. Tversky (1979). Prospect theory: an analysis of decision under risk. Econometrica 47(2), 263–292.

Katsuno, H. and A. Mendelzon (1991a). On the difference between updating a knowledge base and revising it. In Proc. Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91), pp. 387–394.

Katsuno, H. and A. Mendelzon (1991b). Propositional knowledge base revision and minimal change. Artificial Intelligence 52(3), 263–294.

Keeney, R. L. and H. Raiffa (1976). Decisions with Multiple Objectives: Preferences and Value Tradeoffs. New York: Wiley.

Kemeny, J. G. (1955). Fair bets and inductive probabilities. Journal of Symbolic Logic 20(3), 263–273.

Kemeny, J. G. and J. L. Snell (1960). Finite Markov Chains. Princeton, N.J.: Van Nostrand.

Keynes, J. M. (1921). A Treatise on Probability. London: Macmillan.

Kleinbaum, D. (1999). Survival Analysis: A Self-Learning Text. Statistics in the Health Sciences. New York: Springer-Verlag.

Klir, G. J. and T. A. Folger (1988). Fuzzy Sets, Uncertainty, and Information. Englewood Cliffs, N.J.: Prentice-Hall.

Klir, G. J. and M. Mariano (1987). On the uniqueness of possibilistic measure of uncertainty and information. Fuzzy Sets and Systems 24, 197–219.

Knight, F. H. (1921). Risk, Uncertainty, and Profit. New York: Houghton Mifflin.

Koller, D. and J. Halpern (1996). Irrelevance and conditioning in first-order probabilistic logic. In Proceedings, Thirteenth National Conference on Artificial Intelligence (AAAI '96), pp. 569–576.

Koller, D. and J. Y. Halpern (1992). A logic for approximate reasoning. In Proc. Third International Conference on Principles of Knowledge Representation and Reasoning (KR '92), pp. 153–164.

Koller, D. and A. Pfeffer (1998). Probabilistic frame-based systems. In Proceedings, Fifteenth National Conference on Artificial Intelligence (AAAI '98), pp. 580–587.

Kouvatsos, D. D. (1994). Entropy maximisation and queueing network models. Annals of Operations Research 48, 63–126.

Kozen, D. (1985). Probabilistic PDL. Journal of Computer and System Sciences 30, 162–178.

Kraitchik, M. (1953). Mathematical Recreations (2nd ed.). New York: Dover.

Kraus, S. and D. Lehmann (1988). Knowledge, belief, and time. Theoretical Computer Science 58, 155–174.

Kraus, S., D. Lehmann, and M. Magidor (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207.

Kreps, D. (1988). Notes on the Theory of Choice. Boulder, Colo.: Westview Press.

Kries, J. von (1886). Die Principien der Wahrscheinlichkeitsrechnung und Rational Expectation. Freiburg: Mohr.

Kripke, S. (1963). A semantical analysis of modal logic I: normal modal propositional calculi. Zeitschrift f r Mathematische Logik und Grundlagen der Mathematik 9, 67–96. Announced in Journal of Symbolic Logic 24, 1959, p. 323.

Kullback, S. and R. A. Leibler (1951). On information and sufficiency. Annals of Mathematical Statistics 22, 76–86.

Kyburg, Jr., H. E. (1974). The Logical Foundations of Statistical Inference. Dordrecht, Netherlands: Reidel.

Kyburg, Jr., H. E. (1983). The reference class. Philosophy of Science 50(3), 374–397.

La Mura, P. and Y. Shoham (1999). Expected utility networks. In Proc. Fifteenth Conference on Uncertainty in Artificial Intelligence (UAI '99), pp. 366–373.

Lamarre, P. and Y. Shoham (1994). Knowledge, certainty, belief, and conditionalisation. In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), pp. 415–424.

Lambalgen, M. van (1987). Random Sequences. Ph.D. thesis, University of Amsterdam.

Laskey, K. and H. Prade (Eds.) (1999). Proc. Fifteenth Conference on Uncertainty in Artificial Intelligence (UAI '99). San Francisco: Morgan Kaufmann.

Lehmann, D. (1989). What does a conditional knowledge base entail? In Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pp. 212–222.

Lehmann, D. (1995). Belief revision, revised. In Proc. Fourteenth International Joint Conference on Artificial Intelligence (IJCAI '95), pp. 1534–1540.

Lehmann, D. (1996). Generalized qualitative probability; Savage revisited. In Proc. Twelfth Conference on Uncertainty in Artificial Intelligence (UAI '96), pp. 318–388.

Lehmann, D. (2001). Expected qualitative utility maximization. Games and Economic Behavior 35(1–2), 54–79.

Lehmann, D. and M. Magidor (1990). Preferential logics: the predicate calculus case. In Theoretical Aspects of Reasoning about Knowledge: Proc. Third Conference, pp. 57–72. San Francisco: Morgan Kaufmann.

Lehmann, D. and M. Magidor (1992). What does a conditional knowledge base entail? Artificial Intelligence 55, 1–60.

Lehmann, D. and S. Shelah (1982). Reasoning about time and chance. Information and Control 53, 165–198.

Lemmon, E. J. (1977). The "Lemmon Notes": An Introduction to Modal Logic. Oxford, U.K.: Basil Blackwell. Written in collaboration with D. Scott; K. Segerberg (Ed.). American Philosophical Quarterly Monograph Series, No. 11

Lenzen, W. (1978). Recent work in epistemic logic. Acta Philosophica Fennica 30, 1–219.

Lenzen, W. (1979). Epistemische betrachtungen zu [S4,S5]. Erkenntnis 14, 33–56.

Levi, I. (1985). Imprecision and uncertainty in probability judgment. Philosophy of Science 52, 390–406.

Levi, I. (1988). Iteration of conditionals and the Ramsey test. Synthese 76, 49–81.

Lewis, C. I. and C. H. Langford (1959). Symbolic Logic (2nd ed.). New York: Dover.

Lewis, D. K. (1973). Counterfactuals. Cambridge, Mass.: Harvard University Press.

Luce, R. D. (1990). Rational versus plausible accounting equivalences in preference judgments. Psychological Science 1, 225–234. Reprinted with minor changes in Ward Edwards (Ed.), Utility Theories: Measurements and Applications, pp. 187–206. Boston: Kluwer, 1992.

Luce, R. D. (2000). Utility of Gains and Losses: Measurement-Theoretical and Experimental Approaches. London: Lawrence Erlbaum.

Luce, R. D. and H. Raiffa (1957). Games and Decisions. New York: Wiley.

Makinson, D. (1989). General theory of cumulative inference. In M. Reinfrank (Ed.), NonMonotonic Reasoning: 2nd International Workshop, Lecture Notes in Artificial Intelligence, Volume 346, pp. 1–18. Berlin: Springer-Verlag.

Manski, C. (1981). Learning and decision making when subjective probabilities have subjective domains. Annals of Statistics 9(1), 59–65.

Marek, W. and M. Truszczyński (1993). Nonmonotonic Logic. Berlin/New York: SpringerVerlag.

Maurer, S. B. and A. Ralston (1991). Discrete Algorithmic Mathematics. Reading, Mass: Addison-Wesley.

May, S. (1976). Probability kinematics: a constrained optimization problem. Journal of Philosophical Logic 5, 395–398.

McCarthy, J. (1980). Circumscription—a form of non-monotonic reasoning. Artificial Intelligence 13, 27–39.

McDermott, D. and J. Doyle (1980). Non-monotonic logic I. Artificial Intelligence 13(1,2), 41–72.

McGee, V. (1994). Learning the impossible. In E. Eells and B. Skyrms (Eds.), Probability and Conditionals. Cambridge, U.K.: Cambridge University Press.

McGrew, T. J., D. Shier, and H. S. Silverstein (1997). The two-envelope paradox resolved. Analysis 57, 28–33.

Miller, D. (1966). A paradox of information. British Journal for the Philosophy of Science 17, 59–61.

Milne, P. (1996). log[p(h/eb)/p(h/b)]is the one true measure of confirmation. Philosophy of Science 63, 21–26.

Monderer, D. and D. Samet (1989). Approximating common knowledge with common beliefs. Games and Economic Behavior 1, 170–190.

Moore, R. C. (1985). Semantical considerations on nonmonotonic logic. Artificial Intelligence 25, 75–94.

Morgan, J. P., N. R. Chaganty, R. C. Dahiya, and M. J. Doviak (1991). Let's make a deal: the player's dilemma (with commentary). The American Statistician 45(4), 284–289.

Morris, S. (1994). Trade with heterogeneous prior beliefs and asymmetric information. Econometrica 62, 1327–1348.

Morris, S. (1995). The common prior assumption in economic theory. Economics and Philosophy 11, 227–253.

Moses, Y. and Y. Shoham (1993). Belief as defeasible knowledge. Artificial Intelligence 64(2), 299–322.

Mosteller, F. (1965). Fifty Challenging Problems in Probability with Solutions. Reading, Mass.: Addison-Wesley.

Nalebuff, B. (1989). The other person's envelope is always greener. Journal of Economic Perspectives 3(1), 171–181.

Nayak, A. C. (1994). Iterated belief change based on epistemic entrenchment. Erkenntnis 41, 353–390.

Neapolitan, R. E. (1990). Probabilistic Reasoning in Expert Systems: Theory and Algorithms. New York: Wiley.

Niehans, J. (1948). Zur preisbildung bei ungewissen erwartungen. Scbweizerische Zietschrift f r Volkswirtschaft und Statistik 84(5), 433–456.

Nielsen, S. (1998). Coarsening at Random and Simulated EM Algorithms. Ph.D. thesis, Department of Theoretical Statistics, University of Copenhagen.

Nilsson, N. (1986). Probabilistic logic. Artificial Intelligence 28, 71–87.

Ostrogradsky, M. V. (1838). Extrait d'un m moire sur la probabilit des erreurs des tribuneaux. Memoires d'Acad mie St. Petersbourg, S ries 6 3, xix–xxv.

Parikh, R. and R. Ramanujam (1985). Distributed processing and the logic of knowledge. In R. Parikh (Ed.), Proc. Workshop on Logics of Programs, pp. 256–268.

Paris, J. B. (1994). The Uncertain Reasoner's Companion. Cambridge, U.K.: Cambridge University Press.

Paris, J. B. and A. Vencovska (1989). On the applicability of maximum entropy to inexact reasoning. International Journal of Approximate Reasoning 3, 1–34.

Paris, J. B. and A. Vencovska (1992). A method for updating justifying minimum cross entropy. International Journal of Approximate Reasoning 7, 1–18.

Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems. San Francisco: Morgan Kaufmann.

Pearl, J. (1989). Probabilistic semantics for nonmonotonic reasoning: a survey. In Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pp. 505–516. Reprinted in G. Shafer and J. Pearl (Eds.), Readings in Uncertain Reasoning, pp. 699–710. San Francisco: Morgan Kaufmann, 1990.

Pearl, J. (1990). System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In know90, pp. 121–135. San Francisco: Morgan Kaufmann.

Plantinga, A. (1974). The Nature of Necessity. Oxford, U.K.: Oxford University Press.

Pollock, J. L. (1990). Nomic Probabilities and the Foundations of Induction. Oxford, U.K.: Oxford University Press.

Poole, D. (1989). What the lottery paradox tells us about default reasoning. In Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pp. 333–340.

Popkorn, S. (1994). First Steps in Modal Logic. Cambridge/New York: Cambridge University Press.

Popper, K. R. (1968). The Logic of Scientific Discovery (2nd ed.). London: Hutchison. The first version of this book appeared as Logik der Forschung, 1934.

Puterman, M. L. (1994). Markov Decision Processes-Discrete Stochastic Dynamic Programming. New York: Wiley.

Quiggin, J. (1993). Generalized Expected Utility Theory: The Rank-Dependent Expected Utility Model. Boston: Kluwer.

Rabin, M. O. (1980). Probabilistic algorithm for testing primality. Journal of Number Theory 12, 128–138.

Rabin, M. O. (1982). N-process mutual exclusion with bounded waiting by 4 log n-valued shared variable. Journal of Computer and System Sciences 25(1), 66–75.

Ramsey, F. P. (1931a). General propositions and causality. In R. B. Braithwaite (Ed.), The Foundations of Mathematics and Other Logical Essays, pp. 237–257. London: Routledge and Kegan Paul.

Ramsey, F. P. (1931b). Truth and probability. In R. B. Braithwaite (Ed.), The Foundations of Mathematics and Other Logical Essays, pp. 156–198. London: Routledge and Kegan Paul.

Rawlings, P. (1994). A note on the two envelopes problem. Theory and Decision 36, 97–102.

Reichenbach, H. (1949). The Theory of Probability. Berkeley: University of California Press. Translation and revision of German edition, published as Wahrscheinlichkeitslehre, 1935.

Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence 13, 81–132.

Reiter, R. (1987a). Nonmonotonic reasoning. In J. F. Traub, B. J. Grosz, B. W. Lampson, and N. J. Nilsson (Eds.), Annual Review of Computer Science, Volume 2, pp. 147–186. Palo Alto, Calif.: Annual Reviews Inc.

Reiter, R. (1987b). A theory of diagnosis from first principles. Artificial Intelligence 32, 57–95. Reprinted in M. L. Ginsberg (Ed.), Readings in Nonmonotonic Reasoning. San Francisco: Morgan Kaufman, 1987.

Reiter, R. and G. Criscuolo (1981). On interacting defaults. In Proc. Seventh International Joint Conference on Artificial Intelligence (IJCAI '81), pp. 270–276.

R nyi, A. (1955). On a new axiomatic theory of probability. Acta Mathematica Academiae Scientiarum Hungaricae 6, 285–335.

R nyi, A. (1956). On conditional probability spaces generated by a dimensionally ordered set of measures. Theory of Probability and its Applications 1, 61–71. Reprinted as paper 120 in Selected Papers of Alfred R nyi, I: 1948–1956, pp. 554–557. Budapest: Akad mia Kiad , 1976.

R nyi, A. (1964). Sur les espaces simples de probabilit s conditionelles. Annales de l'Institut Henri Poincar , Nouvelle s rie, Section B 1, 3–21. Reprinted as paper 237 in Selected Papers of Alfred R nyi, III: 1962–1970, pp. 284–302. Budapest: Akad mia Kiad , 1976.

Rescher, N. (1969). Many-Valued Logic. New York: McGraw-Hill.

Resnik, M. D. (1987). Choices: An Introduction to Decision Theory. Minneapolis: University of Minnesota Press.

Rine, D. C. (Ed.) (1984). Computer Science and Multiple-Valued Logics: Theory and Applications. Amsterdam: North-Holland.

Rivest, R. L., A. Shamir, and L. Adelman (1978). A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM 21(2), 120–126.

Rosenschein, S. J. (1985). Formal theories of AI in knowledge and robotics. New Generation Computing 3, 345–357.

Rosenschein, S. J. and L. P. Kaelbling (1986). The synthesis of digital machines with provable epistemic properties. In Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, pp. 83–97.

Rubin, D. (1976). Inference and missing data. Biometrika 63, 581–592.

Ruspini, E. H. (1987). The logical foundations of evidential reasoning. Research Note 408, revised version, SRI International, Menlo Park, Calif.

Samet, D. (1997). Bayesianism without learning. Unpublished manuscript.

Samet, D. (1998a). Common priors and separation of convex sets. Games and Economic Behavior 24, 172–174.

Samet, D. (1998b). Quantified beliefs and believed quantities. In Theoretical Aspects of Rationality and Knowledge: Proc. Seventh Conference (TARK 1998), pp. 263–272.

Savage, L. J. (1951). The theory of statistical decision. Journal of the American Statistical Association 46, 55–67.

Savage, L. J. (1954). Foundations of Statistics. New York: Wiley.

Schlechta, K. (1995). Defaults as generalized quantifiers. Journal of Logic and Computation 5(4), 473–494.

Schlechta, K. (1996). A two-stage approach to first order default reasoning. Fundamenta Informaticae 28(3–4), 377–402.

Schmeidler, D. (1986). Integral representation without additivity. Proc. of the Amer. Math. Soc. 97(2), 255–261.

Schmeidler, D. (1989). Subjective probability and expected utility without additivity. Econometrica 57, 571–587.

Scott, A. D. and M. Scott (1997). What's the two-envelope paradox? Analysis 57, 34–41.

Segerberg, K. (1968). Results in Nonclassical Logic. Lund, Sweden: Berlingska Boktryckeriet.

Shachter, R. D. (1986). Evaluating influence diagrams. Operations Research 34(6), 871–882.

Shackle, G. L. S. (1969). Decision, Order, and Time in Human Affairs (2nd ed.). Cambridge, U.K.: Cambridge University Press.

Shafer, G. (1976). A Mathematical Theory of Evidence. Princeton, N.J.: Princeton University Press.

Shafer, G. (1979). Allocations of probability. Annals of Probability 7(5), 827–839.

Shafer, G. (1985). Conditional probability. International Statistical Review 53(3), 261–277.

Shafer, G. (1986). Savage revisited. Statistical Science 1(4), 463–485.

Shafer, G. (1990). Perspectives on the theory and practice of belief functions. International Journal of Approximate Reasoning 4, 323–362.

Shafer, G. and J. Pearl (Eds.) (1990). Readings in Uncertain Reasoning. San Francisco: Morgan Kaufmann.

Shannon, C. and W. Weaver (1949). The Mathematical Theory of Communication. Urbana-Champaign, Ill.: University of Illinois Press.

Shastri, L. (1989). Default reasoning in semantic networks: a formalization of recognition and inheritance. Artificial Intelligence 39(3), 285–355.

Shenoy, P. P. (1994). Conditional independence in valuation based systems. International Journal of Approximate Reasoning 10, 203–234.

Shimony, A. (1955). Coherence and the axioms of confirmation. Journal of Symbolic Logic 20(1), 1–26.

Shoham, Y. (1987). A semantical approach to nonmonotonic logics. In Proc. 2nd IEEE Symp. on Logic in Computer Science, pp. 275–279. Reprinted in M. L. Ginsberg (Ed.), Readings in Nonmonotonic Reasoning, pp. 227–250. San Francisco: Morgan Kaufman, 1987.

Shore, J. E. and R. W. Johnson (1980). Axiomatic derivation of the principle of maximum entropy and the principle of minimimum cross-entropy. IEEE Transactions on Information Theory IT-26(1), 26–37.

Skyrms, B. (1980). Causal Necessity. New Haven, Conn.: Yale University Press.

Smets, P. and R. Kennes (1989). The transferable belief model: comparison with Bayesian models. Technical Report 89-1, IRIDIA, Universit Libre de Bruxelles.

Smith, C. A. B. (1961). Consistency in statistical inference and decision. Journal of the Royal Statistical Society, Series B 23, 1–25.

Sobel, J. H. (1994). Two envelopes. Theory and Decision 36, 69–96.

Solovay, R. and V. Strassen (1977). A fast Monte Carlo test for primality. SIAM Journal on Computing 6(1), 84–85.

Spohn, W. (1980). Stochastic independence, causal independence, and shieldability. Journal of Philosophical Logic 9, 73–99.

Spohn, W. (1988). Ordinal conditional functions: a dynamic theory of epistemic states. In W. Harper and B. Skyrms (Eds.), Causation in Decision, Belief Change, and Statistics, Volume 2, pp. 105–134. Dordrecht, Netherlands: Reidel.

Stalnaker, R. C. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in Logical Theory, American Philosophical Quarterly Monograph Series, No. 2, pp. 98–112. Oxford, U.K.: Blackwell. Also appears in W. L. Harper, R. C. Stalnaker and G. Pearce (Eds.), Ifs. Dordrecht, Netherlands: Reidel, 1981.

Stalnaker, R. C. (1992). Notes on conditional semantics. In Theoretical Aspects of Reasoning about Knowledge: Proc. Fourth Conference, pp. 316–328.

Stalnaker, R. C. and R. Thomason (1970). A semantical analysis of conditional logic. Theoria 36, 246–281.

Studeny, M. (1994). Semigraphoids are two-antecedental approximations of stochastic conditional independence models. In Proc. Tenth Conference on Uncertainty in Artificial Intelligence (UAI '94), pp. 546–552.

Sutton, R. and A. Barto (1998). Reinforcement Learning. Cambridge, Mass.: MIT Press.

Teller, P. (1973). Conditionalisation and observation. Synthese 26, 218–258.

Trakhtenbrot, B. A. (1950). Impossibility of an algorithm for the decision problem in finite classes. Doklady Akademii Nauk SSSR 70, 569–572.

Uffink, J. (1995). Can the maximum entropy principle be explained as a consistency requirement? Studies in the History and Philosophy of Modern Physics 26(3), 223–261.

Ulam, S. (1930). Zur masstheorie in der allgemeinen mengenlehre. Fundamenta Mathematicae 16, 140–150.

van Fraassen, B. C. (1976). Representation of conditional probabilities. Journal of Philosophical Logic 5, 417–430.

van Fraassen, B. C. (1981). A problem for relative information minimizers. British Journal for the Philosophy of Science 32, 375–379.

van Fraassen, B. C. (1984). Belief and the will. Journal of Philosophy 81, 235–245.

van Fraassen, B. C. (1987). Symmetries of personal probability kinematics. In N. Rescher (Ed.), Scientific Enquiry in Philsophical Perspective, pp. 183–223. Lanham, Md.: University Press of America.

Vardi, M. Y. (1985). Automatic verification of probabilistic concurrent finite-state programs. In Proc. 26th IEEE Symp. on Foundations of Computer Science, pp. 327–338.

Verma, T. (1986). Causal networks: semantics and expressiveness. Technical Report R–103, UCLA Cognitive Systems Laboratory.

von Mises, R. (1957). Probability, Statistics, and Truth. London: George Allen and Unwin. English translation of third German edition, 1951.

Voorbraak, F. (1991). The theory of objective knowledge and rational belief. In Logics in AI, European Workshop JELIA '90, pp. 499–515. Berlin/New York: Springer-Verlag.

vos Savant, M. (Sept. 9, 1990). Ask Marilyn. Parade Magazine, 15. Follow-up articles appeared in Parade Magazine on Dec. 2, 1990 (p. 25) and Feb. 17, 1991 (p. 12).

Wald, A. (1950). Statistical Decision Functions. New York: Wiley.

Walley, P. (1981). Coherent lower (and upper) probabilities. Manuscript, Department of Statistics, University of Warwick.

Walley, P. (1987). Belief function representations of statistical evidence. Annals of Statistics 18(4), 1439–1465.

Walley, P. (1991). Statistical Reasoning with Imprecise Probabilities, Volume 42 of Monographs on Statistics and Applied Probability. London: Chapman and Hall.

Walley, P. (1996). Inferences from multinomial data: learning about a bag of marbles. Journal of the Royal Statistical Society, Series B 58(1), 3–34. Discussion of the paper by various commentators appears on pp. 34–57.

Walley, P. (2000). Towards a unified theory of imprecise probability. International Journal of Approximate Reasoning 24, 125–148.

Weber, S. (1991). Uncertainty measures, decomposability and admissibility. Fuzzy Sets and Systems 40, 395–405.

Weydert, E. (1994). General belief measures. In Proc. Tenth Conference on Uncertainty in Artificial Intelligence (UAI '94), pp. 575–582.

Williams, D. (1991). Probability and Martingales. Cambridge, U.K.: Cambridge University Press.

Williams, M. (1994). Transmutations of knowledge systems. In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), pp. 619–629.

Williams, P. M. (1976). Indeterminate probabilities. In M. Przelecki, K. Szaniawski, and R. Wojcicki (Eds.), Formal Methods in the Methodology of Empirical Sciences, pp. 229–246. Dordrecht, Netherlands: Reidel.

Wilson, N. (1994). Generating graphoids from generalized conditional probability. In Proc. Tenth Conference on Uncertainty in Artificial Intelligence (UAI '94), pp. 583–591.

Wolf, G. (1977). Obere und untere Wahrscheinlichkeiten. Ph.D. thesis, ETH, Zurich.

Wright, S. (1921). Correlation and causation. Journal of Agricultural Research 20, 557–585.

Yager, R. R. (1983). Entropy and specificity in a mathematical theory of evidence. International Journal of General Systems 9, 249–260.

Yates, J. F. (1990). Judgment and Decision Making. London: Prentice Hall.

Yemini, Y. and D. Cohen (1979). Some issues in distributed processes communication. In Proc. of the 1st International Conf. on Distributed Computing Systems, pp. 199–203.

Zadeh, L. A. (1975). Fuzzy logics and approximate reasoning. Synthese 30, 407–428.

Zadeh, L. A. (1978). Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1, 3–28.