D. Papers in Conference Proceedings



next up previous
Next: E. Unrefereed Publications Up: Publications Previous: C. Papers in Journals

D. Papers in Conference Proceedings

  1. Axiomatic definitions of programming languages: a theoretical assessment, Proceedings of 7th Annual ACM Symposium on Principles of Programming Languages, 1980, pp. 203-212 (with A. R. Meyer).

  2. Axiomatic definitions of programming languages, II, Proceedings of 8th Annual ACM Symposium on Principles of Programming Languages, 1981, pp. 139-148 (with A. R. Meyer).

  3. Finite models of deterministic propositional dynamic logic, Proceedings of the 8th International Colloquium on Automata, Languages, and Programming, 1981, pp. 249-263 (with M. Ben-Ari and A. Pnueli).

  4. The propositional dynamic logic of deterministic, well-structured programs, Proceedings of the 22nd Annual Symposium on the Foundations of Computer Science, 1981, pp. 322-334 (with J. H. Reif).

  5. Equations between regular terms and an application to process logic, Proceedings of 13th ACM Symposium on Theory of Computing, 1981, pp. 384-390 (with A. Chandra, A. R. Meyer, and R. Parikh).

  6. On effective axiomatizations of Hoare Logics, Proceeding of the 9th Annual ACM Symposium on Principles of Programming Languages, 1982, pp. 309-321 (with E. M. Clarke and S. M. German).

  7. Decision procedures and expressiveness in the temporal logic of branching time, Proceedings of the 14th ACM Symposium on Theory of Computing, 1982, pp. 169-180 (with E. A. Emerson).

  8. On the expressive power of nondeterminism in dynamic logic, Proceedings of the 9th International Colloquium on Automata, Languages, and Programming, 1982, pp. 48-60 (with P. Berman and J. Tiuryn).

  9. Deterministic process logic is elementary, Proceedings of 23rd Annual Symposium on the Foundations of Computer Science, 1982, pp. 204-216.

  10. ``Sometimes'' and ``not never'' revisited: on branching vs. linear time, Proceedings of the 10th Annual ACM Symposium on Principles of Programming Languages, 1983, pp. 127-140 (with E. A. Emerson).

  11. A logic to reason about likelihood, Proceedings of the 15th ACM Symposium on the Theory of Computing, 1983, pp. 310-319 (with M. O. Rabin).

  12. Reasoning about procedures with parameters, Proceedings of the CMU Logics of Programs Conference, Lecture Notes in Computer Science, 1983, pp. 206-220.

  13. From denotational to operational and axiomatic semantics for Algol-like languages: an overview, Proceedings of CMU Logics of Programs Conference, Lecture Notes in Computer Science, 1983, pp. 474-500 (with B. A. Trakhtenbrot and A. R. Meyer).

  14. A hardware semantics based on temporal intervals, Proceedings of the 10th International Colloquium on Automata, Languages, and Programming, 1983, pp. 278-291 (with B. Moszkowski and Z. Manna).

  15. The semantics of local storage, or what makes the free-list free?, Proceedings of the 11th Annual ACM Symposium on the Principles of Programming Languages, 1984, pp. 245-257 (with B. A. Trakhtenbrot and A. R. Meyer).

  16. A good Hoare axiom system for an Algol-like language, Proceedings of the 11th Annual ACM Symposium on the Principles of Programming Languages, 1984, pp. 262-271.

  17. A new look at fault-tolerant network routing, Proceedings of the 16th ACM Symposium on the Theory of Computing, 1984, pp. 526-535 (with D. Dolev, B. Simons, and H. R. Strong).

  18. On the possibility and impossibility of achieving clock synchronization, Proceedings of the 16th ACM Symposium on the Theory of Computing, 1984, pp. 504-511 (with D. Dolev and H. R. Strong).

  19. Knowledge and common knowledge in a distributed environment, Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing, 1984, pp. 50-61 (with Y. Moses).

  20. Fault-tolerant clock synchronization, Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing, 1984, pp. 89-102 (with B. Simons, H. R. Strong, D. Dolev).

  21. Likelihood, probability, and knowledge, AAAI-84 (Proceedings of the Second National Conference on Artificial Intelligence, 1984, pp. 137-141 (with D. A. McAllester).

  22. Towards a theory of knowledge and ignorance, in Proceedings of the Workshop on Non-Monotonic Reasoning, 1984, pp. 125-143 (with Y. Moses).

  23. A model-theoretic analysis of knowledge, Proceedings of the 25th Annual Conference on Foundations of Computer Science, 1984, pp. 268-278 (with R. Fagin and M. Y. Vardi).

  24. Denotational semantics and rewrite rules for FP, Proceedings of the 12th Annual ACM Symposium on Principles of Programming Languages, 1985, pp. 108-120 (with J. H. Williams, E. L. Wimmers, and T. C. Winkler).

  25. Optimal precision in the presence of uncertainty, Proceedings of 17th ACM Symposium on the Theory of Computing, 1985, pp. 346-355 (with N. Megiddo and A. Munshi).

  26. A guide to the modal logics of knowledge and belief, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 85), 1985, pp. 480-490 (with Y. Moses).

  27. Belief, awareness, and limited reasoning, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 85), 1985, pp. 491-501 (with R. Fagin)

  28. Cheating husbands and other stories: a case study in knowledge, action, and communication, Proceedings of the 4th ACM Symposium on Principles of Distributed Computing, 1985, pp. 215-223 (with D. Dolev and Y. Moses).

  29. A formal model of knowledge, action, and communication in distributed systems, Proceedings of the 4th ACM Symposium on Principles of Distributed Computing, 1985, pp. 224-236 (with R. Fagin).

  30. The complexity of reasoning about knowledge and time, Proceedings of 18th ACM Symposium on the Theory of Computing, 1986, pp. 304-314 (with M. Y. Vardi).

  31. Good rewriting strategies for FP, Proceedings of the IEEE Symposium on Logic in Computer Science, 1986, pp. 149-162 (with J. H. Williams and E. L. Wimmers).

  32. True relative completeness of an axiom system for L4, Proceedings of the IEEE Symposium on Logic in Computer Science, 1986, pp. 11-25 (with E. M. Clarke and S. M. German).

  33. A propositional modal interval logic, Proceedings of the IEEE Symposium on Logic in Computer Science, 1986, pp. 279-292 (with Y. Shoham).

  34. What can machines know? On the epistemic properties of machines, AAAI-86 (Proceedings of Fourth National Conference on Artificial Intelligence, 1986, pp. 428-434 (with R. Fagin and M. Y. Vardi).

  35. I'm OK if you're OK: On the notion of trusting communication, Proceedings of the Second IEEE Symposium on Logic in Computer Science, 1987, pp. 280-292 (with R. Fagin).

  36. Full abstraction and expressive completeness for FP, Proceedings of the Second IEEE Symposium on Logic in Computer Science, 1987, pp. 257-271 (with E. L. Wimmers).

  37. A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols, Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, 1987, pp. 269-280 (with L. Zuck).

  38. Reasoning about knowledge and probability, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, 1988, pp. 277-294 (with R. Fagin).

  39. A knowledge-based analysis of zero knowledge, Proceedings of the 20th ACM Symposium on Theory of Computing, 1988, pp. 132-147 (with Y. Moses and M. Tuttle).

  40. Reasoning about knowledge and time in asynchronous systems, Proceedings of the 20th ACM Symposium on Theory of Computing, 1988, pp. 53-65 (with M. Y. Vardi).

  41. A logic for reasoning about probabilities, Proceedings of the 3rd IEEE Conference on Logic in Computer Science, 1988, pp. 410-421 (with R. Fagin and N. Megiddo).

  42. Modelling knowledge and action in distributed systems, Proceedings of Concurrency-88, 1988, pp. 18-32 (with R. Fagin).

  43. Knowledge, probability, and adversaries, Proceedings of the 8th ACM Symposium on Principles of Distributed Computing, 1989, pp. 103-118 (with M. Tuttle).

  44. An analysis of first-order logics of probability, Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI 89), 1989, pp. 1375-1381.

  45. Uncertainty, belief, and probability, Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI 89), 1989, pp. 1161-1167 (with R. Fagin).

  46. The relationship between knowledge, belief, and certainty, Proceedings of the 5th Workshop on Uncertainty in AI, 1989, pp. 142-151.

  47. Decidability and expressiveness for first-order logics of probability, Proceedings of the 30th Annual Conference on Foundations of Computer Science, 1989, pp. 148-153 (with M. Abadi).

  48. A nonstandard approach to the logical omniscience problem, Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning About Knowledge, 1990, pp. 41-55 (with R. Fagin and M. Y. Vardi).

  49. A new approach to updating beliefs, Proceedings of the 6th Conference on Uncertainty in AI, 1990, pp. 317-325 (with R. Fagin).

  50. Two views of belief: belief as generalized probability and belief as evidence, AAAI-90 (Proceedings of the Eighth National Conference on Artificial Intelligence, 1990, pp. 112-119 (with R. Fagin).

  51. A characterization of eventual Byzantine agreement, Proceedings of the 9th ACM Symposium on Principles of Distributed Computing, 1990, pp. 333-346 (with Y. Moses and O. Waarts).

  52. What is an inference rule?, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990, pp. 391-401 (with R. Fagin and M. Y. Vardi).

  53. Clock synchronization and the power of broadcasting, Proceedings of the 28th Annual Allerton Conference on Communication, Control, and Computing, 1990, pp. 588-597 (with I. Suzuki).

  54. Model checking vs. theorem proving: a manifesto, Principles of Knowledge Representation: Proceedings of the Second International Conference (KR '91) (J. A. Allen, R. Fikes, and E. Sandewall, eds.), 1991, pp. 325-334 (with M. Vardi).

  55. Naming and identity in a multi-agent epistemic logic, Principles of Knowledge Representation: Proceedings of the Second International Conference (KR '91) (J. A. Allen, R. Fikes, and E. Sandewall, eds.), 1991, pp. 301-312 (with A. J. Grove).

  56. Message-optimal protocols for Byzantine agreement, Proceedings of the 10th ACM Symposium on Principles of Distributed Computing, 1991, pp. 309-323 (with V. Hadzilacos).

  57. The expressive power of the hierarchical approach to modeling knowledge and common knowledge, Proceedings of the 4th Conference on Theoretical Aspects of Reasoning About Knowledge, 1992, pp. 229-244 (with R. Fagin, J. Geanakoplos, and M. Y. Vardi).

  58. Asymptotic conditional probabilities for first-order logic, Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992, pp. 294-305 (with A. J. Grove and D. Koller).

  59. Random worlds and maximum entropy, Proceedings of Seventh Annual IEEE Symposium on Logic in Computer Science, 1992, p. 22-33 (with A. J. Grove and D. Koller).

  60. Zero-one laws for modal logic, Proceedings of Seventh Annual IEEE Symposium on Logic in Computer Science, 1992 pp. 369-380 (with B. M. Kapron).

  61. From statistics to belief, Proceedings of AAAI-92 (Proceedings of the Tenth National Conference on Artificial Intelligence, 1992, pp. 602-608 (with F. Bacchus, A. J. Grove, and D. Koller).

  62. Indifference and irrelevance, Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning (with F. Bacchus, A. J. Grove, and D. Koller), 1992.

  63. Performing work efficiently in the presence of faults, Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992, pp. 91-102 (with C. Dwork and O. Waarts).

  64. A logic for approximate reasoning, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 1992, pp. 153-164 (with D. Koller).

  65. Statistical foundations for default reasoning, Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 93), 1993, pp. 563-569 (with F. Bacchus, A. J. Grove, and D. Koller).

  66. Reasoning about only knowing with many agents, AAAI-93 (Proceedings of the Eleventh National Conference on Artificial Intelligence) 1993, pp. 655-661.

  67. A critical reexamination of autoepistemic logic, default logic, and only knowing, Computational Logic and Proof Theory (Proceedings of the Kurt Gödel Symposium, KGC '93), Lecture Notes in Computer Science, vol. 713, Springer, 1993, pp. 43-60.

  68. Algorithmic knowledge, Proceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge, 1994, pp. 255-266 (with Y. Moses and M. Y. Vardi).

  69. A knowledge-based framework for belief change, Part I: Foundations, Proceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge, 1994, pp. 44-64 (with N. Friedman).

  70. A knowledge-based framework for belief change, Part II: Revision and update, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR '94), 1994, pp. 190-201 (with N. Friedman).

  71. On the complexity of conditional logics, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR '94), 1994, pp. 202-213 (with N. Friedman).

  72. Conditional logics of belief change, AAAI-94 (Proceedings of the Twelfth National Conference on Artificial Intelligence), 1994, pp. 915-921 (with N. Friedman).

  73. An operational semantics for knowledge bases, AAAI-94 (Proceedings of the Twelfth National Conference on Artificial Intelligence), pp. 1142-1147, 1994 (with R. Fagin, Y. Moses, and M. Y. Vardi).

  74. Forming beliefs about a changing world, AAAI-94 (Proceedings of the Twelfth National Conference on Artificial Intelligence), 1994, pp. 222-229 (with F. Bacchus, A. J. Grove, and D. Koller).

  75. Generating new beliefs from old, Proceedings of the Tenth Conference on Uncertainty in AI, 1994, pp. 37-45 (with F. Bacchus, A. J. Grove, and D. Koller).

  76. Reasoning about noisy sensors in the situation calculus, Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 95), 1995, pp. 1933-1940 (with F. Bacchus and H. Levesque).

  77. Representation dependence in probabilistic inference, Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 95), 1995, pp. 1853-1860 (with D. Koller).

  78. Knowledge-based programs, Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995, pp. 153-163 (with R. Fagin, Y. Moses, and M. Y. Vardi).

  79. Plausibility measures: a user's guide, Proceedings of the Eleventh Conference on Uncertainty in AI, 1995, pp. 175-184 (with N. Friedman).

  80. On ambiguities in the interpretation of game trees, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996, pp. 77-96.

  81. Multi-agent only knowing, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996, pp. 251-266 (with G. Lakemeyer).

  82. Common knowledge revisited, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996, pp. 283-298 (with R. Fagin, Y. Moses, and M. Y. Vardi).

  83. A counterexample to theorems of Cox and Fine, AAAI-96 (Proceedings of the Thirteenth National Conference on Artificial Intelligence), 1996, pp. 1313-1319.

  84. Plausibility measures and default reasoning, AAAI-96 (Proceedings of the Thirteenth National Conference on Artificial Intelligence), 1996, pp. 1297-1304 (with N. Friedman).

  85. First-order conditional logic revisited, AAAI-96 (Proceedings of the Thirteenth National Conference on Artificial Intelligence), 1996, pp. 1305-1312(with N. Friedman and D. Koller).

  86. Irrelevance and conditioning in first-order probabilistic logic, AAAI-96 (Proceedings of the Thirteenth National Conference on Artificial Intelligence), 1996, pp. 569-576 (with D. Koller).

  87. Defining relative likelihood in partially-ordered preferential structures, Proceedings of the Twelfth Conference on Uncertainty in AI, 1996, pp. 299-306.

  88. A qualitative Markov assumption and its implications for belief change, Proceedings of the Twelfth Conference on Uncertainty in AI, 1996, pp. 263-273 (with N. Friedman).

  89. Belief revision: a critique, Proceedings of the Fifth Internal Conference on Principles of Knowledge Representation and Reasoning (KR '96), 1996, pp. 421-431 (with N. Friedman).

  90. Common knowledge: now you have it, now you don't, Intelligent Systems: A Semiotics Perspective, Proceedings of the 1996 International Multidisciplinary Conference, Vol. 1, 1996, pp. 177-183, (with R. Fagin, Y. Moses, M. Vardi).

  91. Probability update: conditioning vs. cross-entropy, Proceedings of the Thirteenth Conference on Uncertainty in AI, 1997, pp. 208-214 (with A. J. Grove).

  92. Defining explanation in probabilistic systems, Proceedings of the Thirteenth Conference on Uncertainty in AI, 1997, pp. 62-71 (with U. Chajewska).

  93. Set-theoretic completeness for epistemic and conditional logic, Proceedings of the Fifth International Symposium on Artificial Intelligence and Mathematics, 1998.

  94. Belief revision with unreliable observations, AAAI-98 (Proceedings of the Fifteenth National Conference on Artificial Intelligence), 1998, pp. 127-134 (with C. Boutilier and N. Friedman).

  95. Axiomatizing causal reasoning, Proceedings of the Fourteenth Conference on Uncertainty in AI, 1998, pp. 202-210.

  96. Updating sets of probabilities, Proceedings of the Fourteenth Conference on Uncertainty in AI, 1998, pp. 173-182 (with A. Grove).

  97. Hypothetical knowledge and counterfactual reasoning, pp. 83-96 Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge, 1998.

  98. Characterizing the common prior assumption, Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge, 1998, pp. 133-146.

  99. Using counterfactuals in knowledge-based programming, Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge, 1998, pp. 97-110 (with Y. Moses).

  100. Sensor-assisted ALOHA for wireless networks, Proceedings of the 1998 International Symposium on Information Theory, 1998, p. 161 (with T. Fine, S. B. Wicker, and T. Berger).

  101. Sensor-assisted mutiple-access protocols for wireless networks, Proceedings of the 1998 International International Conference on Universal Personal Communications, 1998, (with T. Fine, S. B. Wicker, and T. Berger).

  102. A decision-theoretic approach to reliable message delivery, Proceedings of the 12th International Symposium on Distributed Computing, 1998, pp. 89-103 (with F. Chu).

  103. A knowledge-theoretic analysis of uniform distributed coordination and failure detectors, Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999, pp. 73-82 (with A. Ricciardi).

  104. Least expected cost query optimization: an exercise in utility, Proceedings of the 18th ACM Symposium on Principles of Database Systems, 1999, pp. 138-147 (with F. Chu and P. Seshadri).

  105. Reasoning about common knowledge with infinitely many agents, Proceedings of the 14th IEEE Symposium on Logic in Computer Science, 1999, pp. 384-393 (with R. Shore).

  106. A logic for SDSI's linked local named spaces, Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999, pp. 111-122 (with R. van der Meyden).

  107. The Computing Research Repository: promoting the rapid dissemination and archiving of computer science, Proceedings of ACM Digital Libraries '99, 1999, pp. 3-11 (with C. Lagoze).

  108. A decision theoretic-approach to resource allocation in wireless multimedia networks, Proceedings of Dial M for Mobility, 2000 (with Z. Haas, L. Li, and S. B. Wicker).

  109. Conditional plausibility measures and Bayesian networks, Proceedings of the Sixteenth Conference on Uncertainty in AI, 2000.

  110. Minimum-energy mobile wireless networks revisited, Proceedings of the IEEE Conference on Communications, 2001, pp. 278-283. (with L. Li).

  111. A logical reconstruction of SPKI, Proceedings of the 14th IEEE Computer Security Foundations Workshop, 2001, pp. 59-70 (with R. van der Meyden).

  112. Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks, Proceedings of the 20th ACM Symposium on Principles of Distributed Computing, 2001, pp. 264-273 (with L. Li, P. Bahl, Y.-M. Wang, and R. Wattenhofer).

  113. A logic for reasoning about upper probabilities, Proceedings of the Seventeenth Conference on Uncertainty in AI, 2001, pp. 203-210 (with R. Pucella).

  114. Causes and explanations: a structural-model approach-Part I: Causes, Proceedings of the Seventeenth Conference on Uncertainty in AI, 2001, pp. 194-202 (with J. Pearl).

  115. Causes and explanations: a structural-model approach-Part II: Explanations, Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001, pp. 27-34 (with J. Pearl).

  116. Lexicographic probability, conditional probability, and nonstandard probability, Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge, 2001, pp. 17-30.

  117. On the relationship between strand spaces and multi-agent systems, Proceedings of the Eighth ACM Conference on Computer and Communications Security, 2001, pp. 106-115 (with R. Pucella).

  118. Gossip-based ad hoc routing, Proceedings of Infocom, 2002, pp. 1707-1716 (with Z. Haas and L. Li).

  119. Least expected cost query optimization: What can we expect? Proceedings of the 21st ACM Symposium on Principles of Database Systems, 2002, pp. 293-302 (with F. Chu and J. Gehrke).

  120. Secrecy in multi-agent systems, Proceedings of the 15th IEEE Computer Security Foundations Workshop, 2002, pp. 32-46 (with K. O'Neill).

  121. Updating probabilities, Proceedings of the Eighteenth Conference on Uncertainty in AI, 2002, pp. 187-196 (with P. Grunwald).

  122. Reasoning about expectation, Proceedings of the Eighteenth Conference on Uncertainty in AI, 2002, pp. 207-215 (with R. Pucella).

  123. Modeling adversaries in a logic for security protocol analysis, Proceedings: Formal Aspects of Security, 2002 (with R. Pucella).

  124. Using first-order logic to reason about policies, Proceedings of the 16th IEEE Computer Security Foundations Workshop, 2003, pp. 187-201 (with V. Weissman).

  125. Anonymity and information hiding in multiagent systems, Proceedings of the 16th IEEE Computer Security Foundations Workshop, 2003, pp. 75-88 (with K. O'Neill).

  126. Great Expectations. Part I: On the Customizability of Generalized Expected Utility, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003, pp. 291-296 (with F. Chu).

  127. Great Expectations. Part II: Generalized Expected utility as a universal decision rule, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003, pp. 297-302 (with F. Chu).

  128. Responsibility and blame: A structural-model approach, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003, pp. 147-153 (with H. Chockler).

  129. Probabilistic algorithmic knowledge, Proceedings of the Ninth Conference on Theoretical Aspects of Rationality and Knowledge, 2003, pp. 118-130 (with R. Pucella).

  130. A logic for reasoning about evidence, Proceedings of the Nineteenth Conference on Uncertainty in AI, 2003, pp. 297-304 (with R. Pucella).

  131. Rational secret sharing and multiparty computation, Proceedings of 36th ACM Symposium on Theory of Computing, 2004, pp. 623-632 (with V. Teague).

  132. Sleeping Beauty reconsidered: Conditioning and reflection in asynchronous systems, Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), 2004, pp. 12-22.

  133. Intransitivity and vagueness, Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), 2004, pp. 121-129.

  134. A formal foundation for XrML, Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pp. 251-263 (with V. Weissman).

  135. When ignorance is bliss, Proceedings of the Twentieth Conference on Uncertainty in AI, 2004, pp. 226-234 (with P. Grunwald).

  136. On spectrum sharing games, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004, pp. 107-114 (with M. M. Halldorsson, L. Li, and V. Mirrokni).

  137. Knowledge-based synthesis of distributed systems using event structures, Proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), 2005 (Lecture Notes in Computer Science, vol. 3452), pp. 449-465 (with M. Bickford, R. L. Constable, and S. Petride).

  138. Interactive unawareness revisited, Proceedings of Tenth Conference on Theoretical Aspects of Rationality and Knowledge, 2005, pp. 78-91 (with L. C. Rego).

  139. Evidence with uncertain likelihoods, Proceedings of the Twenty-First Conference on Uncertainty in AI, 2005, pp. 243-250 (with R. Pucella).

  140. Extensive games with possibly unaware players, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, 2006, pp. 744-751 (with L. C. Rego).

  141. Reasoning about knowledge of unawareness, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), 2006, pp. 6-13 (with L. C. Rego).

  142. Redoing the foundations of decision theory, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), 2006, pp. 14-24 (with L. Blume and D. Easley).

  143. Efficiency and Nash equilibria in a scrip system for P2P networks, Proceedings of the Seventh ACM Conference on Electronic Commerce, 2006, pp. 140-149 (with E. Friedman and I. Kash).

  144. Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation, Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006, pp. 53-62 (with I. Abraham, D. Dolev, and R. Gonen).

  145. A knowledge-based analysis of global function computation, Proceedings of the 20th International Symposium on Distributed Computing, 2006, pp. 136-150 (with S. Petride).

  146. Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007, pp. 2306-2312 (with L. C. Rego).

  147. Characterizing solution concepts in games using knowledge-based programs, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007, pp. 1300-1307 (with Y. Moses).

  148. Worst-case background knowledge, Proceedings of the 23rd International Conference on Data Engineering, 2007, (with D. J. Martin, D. Kifer, A. Machanavajjhala, and J. Gehrke).

  149. Optimizing scrip systems: efficiency, crashes, hoarders, and altruists, Proceedings of the Eighth ACM Conference on Electronic Commerce, 2007, pp. 305-315 (with E. Friedman and I. Kash).

  150. Dealing with logical omniscience, Proceedings of Eleventh Conference on Theoretical Aspects of Rationality and Knowledge, pp. 169-176 2007 (with R. Pucella).

  151. Generalized solution concepts in games with possibly unaware players, Proceedings of Eleventh Conference on Theoretical Aspects of Rationality and Knowledge, 2007, pp. 253-262 (with L. C. Rego).

  152. Toward expressive and scalable sponsored search auctions, Proceedings of the 24th International Conference on Data Engineering, 2008, pp. 237-246 (with D. J. Martin and J. Gehrke).

  153. Lower bounds on implementing robust and resilient mediators, Proceedings of the Fifth Theory of Cryptography Conference, 2008, pp. 302-319 (with I. Abraham and D. Dolev).

  154. An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience, Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008, pp. 405-414 (with I. Abraham and D. Dolev).

  155. The Lotus-eater attack, Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008, p. 455 (with I. Kash and E. J. Friedman).

  156. From qualitative to quantitative proofs of security properties using first-order conditional logic, AAAI-08 (Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence), 2008, pp. 454-459.

  157. A game-theoretic analysis of updating sets of probabilities, Proceedings of the Twenty-Fourth Conference on Uncertainty in AI, 2008, pp. 240-247 (with P. D. Grunwald).

  158. Defaults and normality in causal structures, Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), 2008, pp. 198-208.

  159. Shared winner determination in sponsored search auctions, Proc. 25th International Conference on Data Engineering 2009, pp. 270-280 (with D. J. Martin).

  160. Multiagent learning in large anonymous games, Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2009, pp. 765-772 (with I. A. Kash and E. J. Friedman).

  161. Manipulating scrip systems: sybils and collusion, Proceedings of the First Conference on Auctions, Market Mechanisms, and Multiagent Systems (AMMA), 2009 (with I. A. Kash and E. J. Friedman).

  162. Iterated regret minimization: A more realistic solution concept, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), 2009 (with R. Pass).

  163. A logical characterization of iterated admissibility, Proceedings of Twelfth Conference on Theoretical Aspects of Rationality and Knowledge, 2009, pp. 146-155 (with R. Pass).

  164. An epistemic characterization of zero knowledge, Proceedings of Twelfth Conference on Theoretical Aspects of Rationality and Knowledge, 2009, pp. 156-165 (with R. Pass and V. Raman).

  165. Reasoning about knowledge of unawareness revisited, Proceedings of Twelfth Conference on Theoretical Aspects of Rationality and Knowledge, 2009, pp. 166-173 (with L. C. Rego).

  166. Game theory with costly computation: formulation and application to protocol security, First Symposium on Innovations in Computer Science, 2010, pp. 120-142 (with R. Pass).

  167. Cooperative equilibrium, Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010, pp. 1465-1466 (with N. Rong).

  168. From causal models to counterfactual structures, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010, pp. 153-160.

  169. I don't want to think about it now: Decision theory with costly computation, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010 (with R. Pass), pp. 182-190.

  170. MDPs with Unawareness, Proceedings of the Twenty-Sixth Conference on Uncertainty in AI (UAI 2010), 2010, pp. 228-235 (with N. Rong and A. Saxena).

  171. Reasoning about justified belief, Proceedings of Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 2011, pp. 221-227 (with A. Bjorndahl and R. Pass).

  172. No justified complaints: on fair sharing of multiple resources, Proceedings of 3rd Conference on Innovations in Theoretical Computer Science (ITCS 2012), 2012 (with D. Dolev, D. Feitelson, R. Kupferman, and N. Linial).

  173. Ambiguous language and differences in beliefs, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 2012, pp. 329-338 (with W. Kets).

  174. I'm doing as well as I can: modeling people as rational finite automata, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), 2012, pp. 1917-1923 (with R. Pass and L. Seeman).

  175. Weighted sets of probabilities and minimax weighted expected regret: new approaches for representing uncertainty and making decisions, Proceedings of the Twenty-Seventh Conference on Uncertainty in AI (UAI '2012), 2012, pp. 336--345 (with S. Leung).

  176. Language-based games, Proceedings of the Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2013, pp. 39--48 (with A. Bjorndahl and R. Pass).

  177. Game theory with translucent players, Proceedings of the Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2013, pp. 216--221 (with R. Pass).

  178. Towards a deeper understanding of cooperative equilibrium: characterization and complexity Proceedings of the Twelfth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), 2013, pp. 319--326 (with N. Rong).

  179. Weighted regret-based likelihood: a new approach to describing uncertainty, 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2013, pp. 266--277.

  180. Sequential equilibrium in computational games Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013, pp. 171--176 (with R. Pass).

  181. Distributed protocols for leader election: a game-theoretic perspective, Proceedings of the 27th International Symposium on Distributed Computing, 2013, pp. 61--75 (with I. Abraham and D. Dolev).

  182. The truth behind the myth of the folk theorem, Proceedings of 5th Conference on Innovations in Theoretical Computer Science (ITCS 2014) (with R. Pass and L. Seeman).

  183. Axiomatizing rationality, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), 2014, pp. 178-187 (with A. Bjorndahl and R. Pass).

  184. Appropriate causal models and stability of causation, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), 2014, pp. 198-207.

  185. The computational complexity of structure-based causality, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), 2014, pp. 974--980 (with G. Aleksandrowicz, H. Chockler, and A. Ivrii).

  186. Not just an empty threat: subgame-perfect equilibrium in repeated games played by computationally bounded players, Proceedings of WINE 2014: 10th Conference on Web and Internet Economics, 2014, pp. 249--262 (with L. Seeman and R. Pass).

  187. Responsibility judgments in voting scenarios, Proceedings of the 37th Annual Conference of the Cognitive Science Society (CogSci 2015), 2015, pp. 788--793 (with T. Gerstenberg and J. B. Tenenbaum).

  188. Bayesian games with intentions, Proceedings of Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 2015 (with A. Bjorndahl and R. Pass).

  189. Translucent players: explaining cooperative behavior in social dilemmas, Proceedings of Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 2015 (with V. Capraro).

  190. Minimizing regret in dynamic decision problems, 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2015, pp. 3-13 (with S. Leung).

  191. A modification of the Halpern-Pearl definition of causality, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015, pp. 3022--3033.

  192. Sequential equilibrium and imperfect recall, Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), 2016 (with R. Pass).

  193. Decentralised norm monitoring in open multi-agent systems, Proceedings of the Fifteenth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), 2016 (with N. Alechina, I. Kash, and B. Logan).

  194. Rational consensus, Proceedings of the 35th Annual ACM Symposium on Principles of Distributed Computing, 2016, pp. 137-146 (with X. Vilaca).

  195. MDPs with unawareness in robotics, Proceedings of the 32nd Conference on Uncertainty in AI, 2016, pp. 626--636 (with N. Rong and A. Saxena).

  196. Computational extensive-form games, Proceedings of the 17th Conference on Electronic Commerce, 2016, pp. 668--698 (with L. Seeman and R. Pass).

  197. Incentivising monitoring in open normative systems, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), 2017, pp. 305--311 (with N. Alechina, J. Y. Halpern, I. Kash, and B. Logan).

  198. Causality, responsibility, and blame in team plans, Proceedings of the Sixteenth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), 2017, pp. 1091-1099 (with N. Alechina and B. Logan).

  199. Games with tolerant players, Proceedings of Sixteenth Conference on Theoretical Aspects of Rationality Knowledge (TARK), Electronic Proceedings in Theoretical Computer Science 251, 2017, pp. 251--264 (with A. Ghosh).

  200. From type spaces to probability frames and back, via language, Proceedings of Sixteenth Conference on Theoretical Aspects of Rationality Knowledge (TARK), Electronic Proceedings in Theoretical Computer Science 251, 2017, pp. 75--87 (with A. Bjorndahl).

  201. A knowledge-based analysis of the blockchain protocol, Proceedings of Sixteenth Conference on Theoretical Aspects of Rationality Knowledge (TARK), Electronic Proceedings in Theoretical Computer Science 251, 2017, pp. 324--335 (with R. Pass).

  202. An epistemic foundation for authentication logics, Proceedings of Sixteenth Conference on Theoretical Aspects of Rationality Knowledge (TARK), Electronic Proceedings in Theoretical Computer Science 251, 2017, pp. 306--323 (with R. van der Meyden and R. Pucella).

  203. Combining experts' causal judgments, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), 2018 (with D. Alrajeh and H. Chockler).

  204. Information acquisition under resource limitations in a noisy environment, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), 2018 (with M. Soloviev).

  205. Towards formal definitions of blameworthiness, intention, and moral responsibility, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), 2018 (with M. Kleiman-Weiner).

  206. Combining the causal judgments of experts with possibly different focus areas, Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018 (with M. Friedenberg).

  207. Blameworthiness in multi-agent settings, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 2019 (with M. Friedenberg).

  208. Abstracting causal models, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 201 (with S. Beckers).

  209. Partial awareness, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 201 (with E. Piermont).

  210. Implementing mediators with asynchronous cheap talk, Proceedings of the 38th Annual ACM Symposium on Principles of Distributed Computing, 2019, pp. 501--510 (with I. Abraham, D. Dolev, and I. Geffner).

  211. Approximate causal abstraction, Proceedings of the 35th Conference on Uncertainty in AI (UAI 2019), 2019 (with S. Beckers and F. Eberhardt).

  212. A conceptually well-founded characterization of iterated admissibility using an ``all I know'' operator, Proceedings of Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Electronic Proceedings in Theoretical Computer Science, 2019 (with R. Pass).

  213. On the existence of Nash Equilibrium in games with resource-bounded players, Proceedings of the 12th International Symposium on A Game Theory (SAGT), 2019, pp. 139--152 (with R. Pass and D. Reichman).

  214. Bounded rationality in Las Vegas: finite automata play multi-armed bandits, Proceedings of the 36th Conference on Uncertainty in AI (UAI 2020), 2020 (with X. Liu).

  215. Dynamic partial awareness, Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020 (with E. Piermont).

  216. Probabilistic dependency graphs, Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), 2021 (with O. Richardson).

  217. Language-based decisions, Proceedings of Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Electronic Proceedings in Theoretical Computer Science, 2021 (with A. Bjorndahl).

  218. Security in asynchronous interactive systems, Proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2021 (with I. Geffner).

  219. On testing for discrimination using causal models, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-21), 2022 (with H. Chockler).

  220. Reasoning about causal models with infinitely many variables, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-21), 2022 (with S. Peters).



next up previous
Next: E. Other Publications Up: Publications Previous: C. Papers in Journals



x

Joe Halpern
Last updated, June, 2022