-
6The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logicArtificial Intelligence 75 (2): 361-372. 1995.
-
6Levesque's axiomatization of only knowing is incompleteArtificial Intelligence 74 (2): 381-387. 1995.
-
3Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous SystemsIn Tamar Szabo Gendler & John Hawthorne (eds.), Proceedings of the Twentieth Conference on Uncertainty in Ai, Oxford University Press. pp. 111-142. 2004.
-
3Erratum to ‘A logic for reasoning about ambiguity’ [Artificial Intelligence 209 (2014) 1–10]Artificial Intelligence 212 (C): 158. 2014.
-
1Actual causation and the art of modelingIn Halpern Joseph & Hitchcock Christopher (eds.), Causality, Probability, and Heuristics: A Tribute to Judea Pearl, College Publications. pp. 383-406. 2010.
-
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous SystemsOxford Studies in Epistemology 1. 2006.
-
Presburger arithmetic with uninterpreted function symbols is 1 1-completeJournal of Symbolic Logic 56 637-642. 1991.
-
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous SystemsIn Tamar Szabo Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology Volume 1, Oxford University Press Uk. 2005.
-
First-order conditional logic for default reasoning revisitedAcm Trans. Comput. Logic 1 (2): 175--207. 2000.
-
Characterizing and reasoning about probabilistic and non-probabilistic expectationJ. Acm 54 (3): 15. 2007.
Ithaca, New York, United States of America
Areas of Specialization
Epistemology |
Areas of Interest
Epistemology |
Logic and Philosophy of Logic |