| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 422 |      | Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nathan Linial: No justified complaints: on fair sharing of multiple resources. ITCS 2012: 68-75 |
| 421 | | Joseph Y. Halpern: Dexter Kozen: An Appreciation. Logic and Program Semantics 2012: 324-325 |
| 420 | | Joseph Y. Halpern, Willemien Kets: Ambiguous Language and Differences in Beliefs CoRR abs/1203.0699: (2012) |
| 419 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: An Equilibrium Analysis of Scrip Systems CoRR abs/1204.2942: (2012) |
| 418 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion CoRR abs/1204.3494: (2012) |
| 417 | | Joseph Y. Halpern, Rafael Pass: Iterated regret minimization: A new solution concept. Games and Economic Behavior 74(1): 184-207 (2012) |
| 416 | | Leandro Chaves Rêgo, Joseph Y. Halpern: Generalized solution concepts in games with possibly unaware players. Int. J. Game Theory 41(1): 131-155 (2012) |
| 2011 | ||
| 415 | | Joseph Y. Halpern: Constructive Decision Theory: Short Summary. ECSQARU 2011: 36-37 |
| 414 | | Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. GameSec 2011: 1-3 |
| 413 | | Joseph Y. Halpern: Causality, Responsibility, and Blame: A Structural-Model Approach. SUM 2011: 1 |
| 412 | | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass: Reasoning about justified belief. TARK 2011: 221-227 |
| 411 | | Joseph Y. Halpern, Riccardo Pucella: Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175(1): 220-235 (2011) |
| 410 | | Joseph Y. Halpern: A Counter Example to Theorems of Cox and Fine CoRR abs/1105.5450: (2011) |
| 409 | | Joseph Y. Halpern: From Causal Models To Counterfactual Structures CoRR abs/1106.2647: (2011) |
| 408 | | Joseph Y. Halpern, David C. Parkes: Viewpoint: Journals for Certification, Conferences for Rapid Dissemination CoRR abs/1106.2649: (2011) |
| 407 | | Joseph Y. Halpern, Christopher Hitchcock: Actual causation and the art of modeling CoRR abs/1106.2652: (2011) |
| 406 | | Joseph Y. Halpern, Rafael Pass: I Don't Want to Think About it Now:Decision Theory With Costly Computation CoRR abs/1106.2657: (2011) |
| 405 | | Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nati Linial: No justified complaints: On fair sharing of multiple resources CoRR abs/1106.2673: (2011) |
| 404 | | Joseph Y. Halpern, David C. Parkes: Journals for certification, conferences for rapid dissemination. Commun. ACM 54(8): 36-38 (2011) |
| 403 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent Learning in Large Anonymous Games. J. Artif. Intell. Res. (JAIR) 40: 571-598 (2011) |
| 402 | | Peter D. Grünwald, Joseph Y. Halpern: Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. J. Artif. Intell. Res. (JAIR) 42: 393-426 (2011) |
| 401 | | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures Logical Methods in Computer Science 7(2): (2011) |
| 400 | | Ittai Abraham, Lorenzo Alvisi, Joseph Y. Halpern: Distributed computing meets game theory: combining insights from two fields. SIGACT News 42(2): 69-76 (2011) |
| 399 | | Joseph Y. Halpern, Rafael Pass: Algorithmic rationality: adding cost of computation to game theory. SIGecom Exchanges 10(2): 9-15 (2011) |
| 2010 | ||
| 398 | | Joseph Y. Halpern, Nan Rong: Cooperative equilibrium. AAMAS 2010: 1465-1466 |
| 397 | | Joseph Y. Halpern, Rafael Pass: Game Theory with Costly Computation: Formulation and Application to Protocol Security. ICS 2010: 120-142 |
| 396 | | Joseph Y. Halpern: From Causal Models To Counterfactual Structures. KR 2010 |
| 395 | | Joseph Y. Halpern: I Don't Want to Think About it Now: Decision Theory with Costly Computation. KR 2010 |
| 394 | | Joseph Y. Halpern: Awareness in Games, Awareness in Logic. LPAR (Yogyakarta) 2010: 15 |
| 393 | | Joseph Y. Halpern, Nan Rong, Ashutosh Saxena: MDPs with Unawareness. UAI 2010: 228-235 |
| 392 | | Hana Chockler, Joseph Y. Halpern, Orna Kupferman: Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11(4): (2010) |
| 391 | | Joseph Y. Halpern, Nan Rong, Ashutosh Saxena: MDPs with Unawareness CoRR abs/1006.2204: (2010) |
| 390 | | Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni: On spectrum sharing games. Distributed Computing 22(4): 235-248 (2010) |
| 389 | | Joseph Y. Halpern, Sabina Petride: A knowledge-based analysis of global function computation. Distributed Computing 23(3): 197-224 (2010) |
| 388 | | Joseph Y. Halpern: Lexicographic probability, conditional probability, and nonstandard probability. Games and Economic Behavior 68(1): 155-179 (2010) |
| 387 | | Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, Dan Suciu: Causality in Databases. IEEE Data Eng. Bull. 33(3): 59-67 (2010) |
| 2009 | ||
| 386 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent learning in large anonymous games. AAMAS (2) 2009: 765-772 |
| 385 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Manipulating Scrip Systems: Sybils and Collusion. AMMA 2009: 13-24 |
| 384 | | David J. Martin, Joseph Y. Halpern: Shared Winner Determination in Sponsored Search Auctions. ICDE 2009: 270-280 |
| 383 | | Joseph Y. Halpern, Rafael Pass: Iterated Regret Minimization: A New Solution Concept. IJCAI 2009: 153-158 |
| 382 | | Joseph Y. Halpern, Rafael Pass: A logical characterization of iterated admissibility. TARK 2009: 146-155 |
| 381 | | Joseph Y. Halpern, Rafael Pass, Vasumathi Raman: An epistemic characterization of zero knowledge. TARK 2009: 156-165 |
| 380 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about knowledge of unawareness revisited. TARK 2009: 166-173 |
| 379 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Manipulating Scrip Systems: Sybils and Collusion CoRR abs/0903.2278: (2009) |
| 378 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent Learning in Large Anonymous Games CoRR abs/0903.2282: (2009) |
| 377 | | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Constructive Decision Theory CoRR abs/0906.4316: (2009) |
| 376 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning About Knowledge of Unawareness Revisited CoRR abs/0906.4321: (2009) |
| 375 | | Joseph Y. Halpern, Rafael Pass: A Logical Characterization of Iterated Admissibility CoRR abs/0906.4326: (2009) |
| 374 | | Adam J. Grove, Joseph Y. Halpern: Updating Sets of Probabilities CoRR abs/0906.4332: (2009) |
| 373 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about knowledge of unawareness. Games and Economic Behavior 67(2): 503-525 (2009) |
| 372 | | Joseph Y. Halpern: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory 38(1): 37-49 (2009) |
| 371 | | Stéphane Airiau, Ulle Endriss, Joseph Y. Halpern: Solution to Exchanges 8.1 puzzle: identifying the champion. SIGecom Exchanges 8(2): 11 (2009) |
| 370 | | Joseph Y. Halpern, Riccardo Pucella: Evidence with uncertain likelihoods. Synthese 171(1): 111-133 (2009) |
| 2008 | ||
| 369 |  | Joseph Y. Halpern: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. AAAI 2008: 454-459 |
| 368 | | Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CONCUR 2008: 1 |
| 367 | | David J. Martin, Johannes Gehrke, Joseph Y. Halpern: Toward Expressive and Scalable Sponsored Search Auctions. ICDE 2008: 237-246 |
| 366 | | Joseph Y. Halpern: Defaults and Normality in Causal Structures. KR 2008: 198-208 |
| 365 | | Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. KR 2008: 6-15 |
| 364 | | Joseph Y. Halpern: Beyond nash equilibrium: solution concepts for the 21st century. PODC 2008: 1-10 |
| 363 | | Ittai Abraham, Danny Dolev, Joseph Y. Halpern: An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. PODC 2008: 405-414 |
| 362 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: The lotus-eater attack. PODC 2008: 455 |
| 361 | | Ittai Abraham, Danny Dolev, Joseph Y. Halpern: Lower Bounds on Implementing Robust and Resilient Mediators. TCC 2008: 302-319 |
| 360 | | Peter Grünwald, Joseph Y. Halpern: A Game-Theoretic Analysis of Updating Sets of Probabilities. UAI 2008: 240-247 |
| 359 | | Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): (2008) |
| 358 | | Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. ACM Trans. Inf. Syst. Secur. 11(4): (2008) |
| 357 | | Joseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. ACM Trans. Inf. Syst. Secur. 12(1): (2008) |
| 356 | | Joseph Y. Halpern: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic CoRR abs/0804.2155: (2008) |
| 355 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: The Lotus-Eater Attack CoRR abs/0806.1711: (2008) |
| 354 | | Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century CoRR abs/0806.2139: (2008) |
| 353 | | Joseph Y. Halpern: Defaults and Normality in Causal Structures CoRR abs/0806.2140: (2008) |
| 352 | | Joseph Y. Halpern, Vicky Weissman: A Formal Foundation for XrML CoRR abs/0808.1215: (2008) |
| 351 | | Ittai Abraham, Danny Dolev, Joseph Y. Halpern: An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience CoRR abs/0808.1505: (2008) |
| 350 | | Joseph Y. Halpern, Rafael Pass: Game Theory with Costly Computation CoRR abs/0809.0024: (2008) |
| 349 | | David J. Martin, Johannes Gehrke, Joseph Y. Halpern: Toward Expressive and Scalable Sponsored Search Auctions CoRR abs/0809.0116: (2008) |
| 348 | | Joseph Y. Halpern, Rafael Pass: Iterated Regret Minimization: A More Realistic Solution Concept CoRR abs/0810.3023: (2008) |
| 347 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Interactive unawareness revisited. Games and Economic Behavior 62(1): 232-262 (2008) |
| 346 | | Joseph Y. Halpern, Vicky Weissman: A formal foundation for XrML. J. ACM 55(1): (2008) |
| 2007 | ||
| 345 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. ACM Conference on Electronic Commerce 2007: 305-315 |
| 344 | | David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern: Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. ICDE 2007: 126-135 |
| 343 | | Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307 |
| 342 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. IJCAI 2007: 2306-2311 |
| 341 | | Joseph Y. Halpern, Riccardo Pucella: Dealing with logical omniscience. TARK 2007: 169-176 |
| 340 | | Leandro Chaves Rêgo, Joseph Y. Halpern: Generalized solution concepts in games with possibly unaware players. TARK 2007: 253-262 |
| 339 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Extensive Games with Possibly Unaware Players CoRR abs/0704.2014: (2007) |
| 338 | | Ittai Abraham, Danny Dolev, Joseph Y. Halpern: Lower Bounds on Implementing Robust and Resilient Mediators CoRR abs/0704.3646: (2007) |
| 337 | | David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern: Worst-Case Background Knowledge for Privacy-Preserving Data Publishing CoRR abs/0705.2787: (2007) |
| 336 | | Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash: Efficiency and Nash Equilibria in a Scrip System for P2P Networks CoRR abs/0705.4094: (2007) |
| 335 | | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists CoRR abs/0705.4110: (2007) |
| 334 | | Leandro Chaves Rêgo, Joseph Y. Halpern: Generalized Solution Concepts in Games with Possibly Unaware Players CoRR abs/0707.1904: (2007) |
| 333 | | Joseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation CoRR abs/0707.3435: (2007) |
| 332 | | Peter D. Grünwald, Joseph Y. Halpern: A Game-Theoretic Analysis of Updating Sets of Probabilities CoRR abs/0711.3235: (2007) |
| 331 | | Joseph Y. Halpern, Riccardo Pucella: Dealing With Logical Omniscience: Expressiveness and Pragmatics CoRR abs/cs/0702011: (2007) |
| 330 | | Joseph Y. Halpern: Computer Science and Game Theory: A Brief Survey CoRR abs/cs/0703148: (2007) |
| 329 | | Joseph Y. Halpern, Riccardo Pucella: Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54(3): 15 (2007) |
| 328 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. J. Log. Comput. 17(4): 795-806 (2007) |
| 2006 | ||
| 327 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Extensive games with possibly unaware players. AAMAS 2006: 744-751 |
| 326 | | Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash: Efficiency and nash equilibria in a scrip system for P2P networks. ACM Conference on Electronic Commerce 2006: 140-149 |
| 325 | | Joseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation. DISC 2006: 136-150 |
| 324 | | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Redoing the Foundations of Decision Theory. KR 2006: 14-24 |
| 323 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about Knowledge of Unawareness. KR 2006: 6-13 |
| 322 | | Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern: Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. PODC 2006: 53-62 |
| 321 | | Joseph Y. Halpern: From statistical knowledge bases to degrees of belief: an overview. PODS 2006: 110-113 |
| 320 | | Joseph Y. Halpern: Causality, Responsibility, and Blame: A Structural-Model Approach. QEST 2006: 3-8 |
| 319 | | Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies CoRR abs/cs/0601034: (2006) |
| 318 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic CoRR abs/cs/0603019: (2006) |
| 317 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning About Knowledge of Unawareness CoRR abs/cs/0603020: (2006) |
| 316 | | Joseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis CoRR abs/cs/0607146: (2006) |
| 315 | | Joseph Y. Halpern, Sabina Petride: Expressing Security Properties Using Selective Interleaving Functions CoRR abs/cs/0608022: (2006) |
| 314 | | Joseph Y. Halpern: Using Sets of Probability Measures to Represent Uncertainty CoRR abs/cs/0608028: (2006) |
| 313 | | Joseph Y. Halpern, Vanessa Teague: Rational Secret Sharing and Multiparty Computation: Extended Abstract CoRR abs/cs/0609035: (2006) |
| 312 | | Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs CoRR abs/cs/0610098: (2006) |
| 311 | | Zygmunt J. Haas, Joseph Y. Halpern, Li Li: Gossip-based ad hoc routing. IEEE/ACM Trans. Netw. 14(3): 479-491 (2006) |
| 310 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. J. Artif. Intell. Res. (JAIR) 26: 1-34 (2006) |
| 2005 | ||
| 309 | | Joseph Y. Halpern: Reasoning about uncertainty. MIT Press 2005: I-XIV, 1-483 |
| 308 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Interactive unawareness revisited. TARK 2005: 78-91 |
| 307 | | Joseph Y. Halpern, Riccardo Pucella: Evidence with Uncertain Likelihoods. UAI 2005: 243-250 |
| 306 | | Joseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge CoRR abs/cs/0503018: (2005) |
| 305 | | Joseph Y. Halpern, Leandro Chaves Rêgo: Interactive Unawareness Revisited CoRR abs/cs/0509058: (2005) |
| 304 | | Joseph Y. Halpern, Riccardo Pucella: Evidence with Uncertain Likelihoods CoRR abs/cs/0510079: (2005) |
| 303 | | Peter D. Grünwald, Joseph Y. Halpern: When Ignorance is Bliss CoRR abs/cs/0510080: (2005) |
| 302 | | Joseph Y. Halpern, Aleta Ricciardi: A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Distributed Computing 17(3): 223-236 (2005) |
| 301 | | Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer: A cone-based distributed topology-control algorithm for wireless multi-hop networks. IEEE/ACM Trans. Netw. 13(1): 147-159 (2005) |
| 300 | | Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and information hiding in multiagent systems. Journal of Computer Security 13(3): 483-512 (2005) |
| 299 | | Joseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge. Logical Methods in Computer Science 1(3): (2005) |
| 2004 | ||
| 298 | | David Maxwell Chickering, Joseph Y. Halpern: UAI '04, Proceedings of the 20th Conference in Uncertainty in Artificial Intelligence, Banff, Canada, July 7-11, 2004 AUAI Press 2004 |
| 297 | | Joseph Y. Halpern, Vicky Weissman: A Formal Foundation for XrML. CSFW 2004: 251- |
| 296 | | Joseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. KR 2004: 12-22 |
| 295 | | Joseph Y. Halpern: Intransitivity and Vagueness. KR 2004: 121-129 |
| 294 | | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465 |
| 293 | | Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni: On spectrum sharing games. PODC 2004: 107-114 |
| 292 | | Joseph Y. Halpern, Vanessa Teague: Rational secret sharing and multiparty computation: extended abstract. STOC 2004: 623-632 |
| 291 | | Peter Grünwald, Joseph Y. Halpern: When Ignorance is Bliss. UAI 2004: 226-234 |
| 290 | | Francis C. Chu, Joseph Y. Halpern: Great expectations. Part II: generalized expected utility as a universal decision rule. Artif. Intell. 159(1-2): 207-229 (2004) |
| 289 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence CoRR cs.AI/0405098: (2004) |
| 288 | | Joseph Y. Halpern: Intransitivity and Vagueness CoRR cs.AI/0410049: (2004) |
| 287 | | Joseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems CoRR cs.AI/0410050: (2004) |
| 286 | | Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems CoRR cs.CR/0402042: (2004) |
| 285 | | Joseph Y. Halpern, Aleta Ricciardi: A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors CoRR cs.DC/0402012: (2004) |
| 284 | | Joseph Y. Halpern, Yoram Moses: Using counterfactuals in knowledge-based programming. Distributed Computing 17(2): 91-106 (2004) |
| 283 | | Li Li, Joseph Y. Halpern: A minimum-energy path-preserving topology-control algorithm. IEEE Transactions on Wireless Communications 3(3): 910-921 (2004) |
| 282 | | Joseph Y. Halpern, Richard A. Shore: Reasoning about common knowledge with infinitely many agents. Inf. Comput. 191(1): 1-40 (2004) |
| 281 | | Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. J. Artif. Intell. Res. (JAIR) 21: 319-356 (2004) |
| 280 | | Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. (JAIR) 22: 93-115 (2004) |
| 279 | | Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. 33(3): 674-703 (2004) |
| 2003 | ||
| 278 | | Joseph Y. Halpern, Moshe Tennenholtz: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003 ACM 2003 |
| 277 | | Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. CSFW 2003: 187-201 |
| 276 | | Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems. CSFW 2003: 75-88 |
| 275 | | Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153 |
| 274 | | Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part I: On the Customizability of Generalized Expected Utility. IJCAI 2003: 291-296 |
| 273 | | Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. IJCAI 2003: 297-302 |
| 272 | | Joseph Y. Halpern, Riccardo Pucella: Probabilistic algorithmic knowledge. TARK 2003: 118-130 |
| 271 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. UAI 2003: 297-304 |
| 270 | | Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno: LICS 2001 special issue. ACM Trans. Comput. Log. 4(3): 295 (2003) |
| 269 | | Joseph Y. Halpern, Riccardo Pucella: On the relationship between strand spaces and multi-agent systems. ACM Trans. Inf. Syst. Secur. 6(1): 43-70 (2003) |
| 268 | | Joseph Y. Halpern, Bruce M. Kapron: Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. Ann. Pure Appl. Logic 121(2-3): 281-283 (2003) |
| 267 | | Peter Grünwald, Joseph Y. Halpern: Updating Probabilities CoRR cs.AI/0306124: (2003) |
| 266 | | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief CoRR cs.AI/0307056: (2003) |
| 265 | | Joseph Y. Halpern, Riccardo Pucella: A logic for reasoning about upper probabilities CoRR cs.AI/0307069: (2003) |
| 264 | | Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations CoRR cs.AI/0307070: (2003) |
| 263 | | Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revisions and Update CoRR cs.AI/0307071: (2003) |
| 262 | | Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part I: On the Customizability of Generalized Expected Utility CoRR cs.AI/0311026: (2003) |
| 261 | | Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule CoRR cs.AI/0311027: (2003) |
| 260 | | Joseph Y. Halpern, Riccardo Pucella: Reasoning About Expectation CoRR cs.AI/0312037: (2003) |
| 259 | | Hana Chockler, Joseph Y. Halpern: Responsibility and blame: a structural-model approach CoRR cs.AI/0312038: (2003) |
| 258 | | Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference CoRR cs.AI/0312048: (2003) |
| 257 | | Joseph Y. Halpern, Riccardo Pucella: On the Relationship between Strand Spaces and Multi-Agent Systems CoRR cs.CR/0306107: (2003) |
| 256 | | Kevin R. O'Neill, Joseph Y. Halpern: Secrecy in Multiagent Systems CoRR cs.CR/0307057: (2003) |
| 255 | | Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming CoRR cs.DC/0311028: (2003) |
| 254 | | Joseph Y. Halpern: Lexicographic probability, conditional probability, and nonstandard probability CoRR cs.GT/0306106: (2003) |
| 253 | | Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036: (2003) |
| 252 | | Joseph Y. Halpern: A computer scientist looks at game theory. Games and Economic Behavior 45(1): 114-131 (2003) |
| 251 | | Joseph Y. Halpern: JACM's 50th anniversary. J. ACM 50(1): 3-7 (2003) |
| 250 | | Peter Grünwald, Joseph Y. Halpern: Updating Probabilities. J. Artif. Intell. Res. (JAIR) 19: 243-278 (2003) |
| 249 | | Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. Journal of Computer Security 11(4): 581-614 (2003) |
| 2002 | ||
| 248 | | Joseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. CSFW 2002: 32- |
| 247 | | Joseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis. FASec 2002: 115-132 |
| 246 | | Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li: Gossip-based ad hoc routing. INFOCOM 2002 |
| 245 | | Francis C. Chu, Joseph Y. Halpern, Johannes Gehrke: Least Expected Cost Query Optimization: What Can We Expect? PODS 2002: 293-302 |
| 244 | | Peter Grünwald, Joseph Y. Halpern: Updating Probabilities. UAI 2002: 187-196 |
| 243 | | Joseph Y. Halpern, Riccardo Pucella: Reasoning about Expectation. UAI 2002: 207-215 |
| 242 | | Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach. Part II: Explanations CoRR cs.AI/0208034: (2002) |
| 241 | | Joseph Y. Halpern, Ron van der Meyden: A logical reconstruction of SPKI CoRR cs.CR/0208028: (2002) |
| 240 | | Joseph Y. Halpern: A computer scientist looks at game theory CoRR cs.GT/0201016: (2002) |
| 239 | | Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time CoRR cs.LO/0208033: (2002) |
| 238 | | Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li: Gossip Based Ad-Hoc Routing CoRR cs.NI/0209011: (2002) |
| 237 | | Erran L. Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer: Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks CoRR cs.NI/0209012: (2002) |
| 236 | | Erran L. Li, Joseph Y. Halpern: Minimum-Energy Mobile Wireless Networks Revisited CoRR cs.NI/0209013: (2002) |
| 235 | | Joseph Y. Halpern: Update: Time to publication statistics. J. ACM 49(6): 715 (2002) |
| 234 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. (JAIR) 17: 57-81 (2002) |
| 233 | | Joseph Y. Halpern: Characterizing the Common Prior Assumption. J. Economic Theory 106(2): 316-355 (2002) |
| 2001 | ||
| 232 | | Joseph Y. Halpern, Riccardo Pucella: On the relationship between strand spaces and multi-agent systems. ACM Conference on Computer and Communications Security 2001: 106-115 |
| 231 | | Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. CSFW 2001: 59- |
| 230 | | Joseph Y. Halpern: Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI 2001: 1474-1483 |
| 229 | | Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001: 27-34 |
| 228 | | Erran L. Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer: Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. PODC 2001: 264-273 |
| 227 | | Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach: Part 1: Causes. UAI 2001: 194-202 |
| 226 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. UAI 2001: 203-210 |
| 225 | | Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu: On the unusual effectiveness of logic in computer science. Bulletin of Symbolic Logic 7(2): 213-236 (2001) |
| 224 | | Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique CoRR cs.AI/0103020: (2001) |
| 223 | | Francis C. Chu, Joseph Y. Halpern: On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs CoRR cs.DC/0103019: (2001) |
| 222 | | Francis C. Chu, Joseph Y. Halpern: A decision-theoretic approach to reliable message delivery. Distributed Computing 14(1): 1-16 (2001) |
| 221 | | Joseph Y. Halpern: Alternative Semantics for Unawareness. Games and Economic Behavior 37(2): 321-339 (2001) |
| 220 | | Joseph Y. Halpern: Substantive Rationality and Backward Induction. Games and Economic Behavior 37(2): 425-435 (2001) |
| 219 | | Francis C. Chu, Joseph Y. Halpern: On the NP-completeness of finding an optimal strategy in games with common payoffs. Int. J. Game Theory 30(1): 99-106 (2001) |
| 218 | | Nir Friedman, Joseph Y. Halpern: Plausibility measures and default reasoning. J. ACM 48(4): 648-685 (2001) |
| 217 | | Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. J. Artif. Intell. Res. (JAIR) 14: 359-389 (2001) |
| 216 | | Joseph Y. Halpern, Gerhard Lakemeyer: Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001) |
| 215 | | Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. Journal of Computer Security 9(1/2): 105-142 (2001) |
| 214 | | Joseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001) |
| 2000 | ||
| 213 | | Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker: A decision-theoretic approach to resource allocation in wireless multimedia networks. DIAL-M 2000: 86-95 |
| 212 | | Joseph Y. Halpern: Degrees of Belief, Random Worlds, and Maximum Entropy. Discovery Science 2000: 15-16 |
| 211 | | Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. UAI 2000: 247-255 |
| 210 | | Joseph Y. Halpern: CoRR: a computing research repository. ACM Journal of Computer Documentation 24(2): 41-48 (2000) |
| 209 | | Joseph Y. Halpern: A response to the commentaries on CoRR. ACM Journal of Computer Documentation 24(2): 72-77 (2000) |
| 208 | | Nir Friedman, Joseph Y. Halpern, Daphne Koller: First-order conditional logic for default reasoning revisited. ACM Trans. Comput. Log. 1(2): 175-207 (2000) |
| 207 | | Joseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing CoRR cs.AI/0001015: (2000) |
| 206 | | Joseph Y. Halpern: Axiomatizing Causal Reasoning CoRR cs.AI/0005030: (2000) |
| 205 | | Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks CoRR cs.AI/0005031: (2000) |
| 204 | | Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach, Part I: Causes CoRR cs.AI/0011012: (2000) |
| 203 | | Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces CoRR cs.CR/0001026: (2000) |
| 202 | | Joseph Y. Halpern: A note on knowledge-based programs and specifications CoRR cs.DC/0003058: (2000) |
| 201 | | Cynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing work efficiently in the presence of faults CoRR cs.DC/0006008: (2000) |
| 200 | | Joseph Y. Halpern, Yoram Moses: Knowledge and common knowledge in a distributed environment CoRR cs.DC/0006009: (2000) |
| 199 | | Joseph Y. Halpern: CoRR: A Computing Research Repository CoRR cs.DL/0005003: (2000) |
| 198 | | Joseph Y. Halpern: A response to the commentaries on CoRR CoRR cs.DL/0005004: (2000) |
| 197 | | Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker: A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks CoRR cs.NI/0006037: (2000) |
| 196 | | Joseph Y. Halpern: A note on knowledge-based programs and specifications. Distributed Computing 13(3): 145-153 (2000) |
| 195 | | Joseph Y. Halpern: Editorial: a bill of rights and responsibilities. J. ACM 47(5): 823-825 (2000) |
| 194 | | Joseph Y. Halpern: Axiomatizing Causal Reasoning. J. Artif. Intell. Res. (JAIR) 12: 317-337 (2000) |
| 1999 | ||
| 193 | | Joseph Y. Halpern, Carl Lagoze: The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. ACM DL 1999: 3-11 |
| 192 | | Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122 |
| 191 | | Joseph Y. Halpern, Nir Friedman: Plausibility Measures and Default Reasoning: An Overview. LICS 1999: 130-135 |
| 190 | | Joseph Y. Halpern, Richard A. Shore: Reasoning about Common Knowledge with Infinitely Many Agents. LICS 1999: 384-393 |
| 189 | | Joseph Y. Halpern, Aleta Ricciardi: A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. PODC 1999: 73-82 |
| 188 | | Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri: Least Expected Cost Query Optimization: An Exercise in Utility. PODS 1999: 138-147 |
| 187 | | Joseph Y. Halpern: Set-theoretic completeness for epistemic and conditional logic. Ann. Math. Artif. Intell. 26(1-4): 1-27 (1999) |
| 186 | | Joseph Y. Halpern: Errata: "The relationship between knowledge, belief, and certainty". Ann. Math. Artif. Intell. 26(1-4): 253-256 (1999) |
| 185 | | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999) |
| 184 | | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. 111(1-2): 171-208 (1999) |
| 183 | | Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update CoRR cs.AI/9903016: (1999) |
| 182 | | Joseph Y. Halpern: Cox's Theorem Revisited CoRR cs.AI/9911012: (1999) |
| 181 | | Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri: Least expected cost query optimization: an exercise in utility CoRR cs.DB/9909016: (1999) |
| 180 | | Francis C. Chu, Joseph Y. Halpern: A decision-theoretic approach to reliable message delivery CoRR cs.DC/9909015: (1999) |
| 179 | | Joseph Y. Halpern, Richard A. Shore: Reasoning About Common Knowledge with Infinitely Many Agents CoRR cs.LO/9909014: (1999) |
| 178 | | Joseph Y. Halpern: Hypothetical knowledge and counterfactual reasoning. Int. J. Game Theory 28(3): 315-330 (1999) |
| 177 | | Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi: The hierarchical approach to modeling knowledge and common knowledge. Int. J. Game Theory 28(3): 331-365 (1999) |
| 176 | | Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update. J. Artif. Intell. Res. (JAIR) 10: 117-167 (1999) |
| 175 | | Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. J. Artif. Intell. Res. (JAIR) 10: 67-85 (1999) |
| 174 | | Joseph Y. Halpern: Cox's Theorem Revisited (technical addendum). J. Artif. Intell. Res. (JAIR) 11: 429-435 (1999) |
| 173 | | Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. Journal of Logic, Language and Information 8(4): 401-420 (1999) |
| 1998 | ||
| 172 | | Craig Boutilier, Nir Friedman, Joseph Y. Halpern: Belief Revision with Unreliable Observations. AAAI/IAAI 1998: 127-134 |
| 171 | | Francis C. Chu, Joseph Y. Halpern: A Decision-Theoretic Approach to Reliable Message Delivery. DISC 1998: 89-103 |
| 170 | | Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty. ICMAS 1998: 6-7 |
| 169 | | Joseph Y. Halpern: Characterizing the Common Prior Assumption. TARK 1998: 133-146 |
| 168 | | Joseph Y. Halpern: Hypothetical Knowledge and Counterfactual Reasoning. TARK 1998: 83-96 |
| 167 | | Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110 |
| 166 | | Adam J. Grove, Joseph Y. Halpern: Updating Sets of Probabilities. UAI 1998: 173-182 |
| 165 | | Joseph Y. Halpern: Axiomatizing Causal Reasoning. UAI 1998: 202-210 |
| 164 | | Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham: On the Knowledge Requirements of Tasks. Artif. Intell. 98(1-2): 317-349 (1998) |
| 163 | | Nir Friedman, Joseph Y. Halpern, Daphne Koller: First-Order Conditional Logic Revisited CoRR cs.AI/9808005: (1998) |
| 162 | | Joseph Y. Halpern: Set-Theoretic Completeness for Epistemic and Conditional Logic CoRR cs.AI/9808006: (1998) |
| 161 | | Nir Friedman, Joseph Y. Halpern: Plausibility Measures and Default Reasoning CoRR cs.AI/9808007: (1998) |
| 160 | | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR cs.AI/9809013: (1998) |
| 159 | | Joseph Y. Halpern, Carl Lagoze: The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research CoRR cs.DL/9812020: (1998) |
| 158 | | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited CoRR cs.LO/9809003: (1998) |
| 157 | | Joseph Y. Halpern: A Computing Research Repository. D-Lib Magazine 4(11): (1998) |
| 156 | | Joseph Y. Halpern: Time to Publication: A Progress Report. J. ACM 45(3): 379-380 (1998) |
| 155 | | Cynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing Work Efficiently in the Presence of Faults. SIAM J. Comput. 27(5): 1457-1491 (1998) |
| 1997 | ||
| 154 | | Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty (invited talk). SCAI 1997 |
| 153 | | Adam J. Grove, Joseph Y. Halpern: Probability Update: Conditioning vs. Cross-Entropy. UAI 1997: 208-214 |
| 152 | | Urszula Chajewska, Joseph Y. Halpern: Defining Explanation in Probabilistic Systems. UAI 1997: 62-71 |
| 151 | | Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations. Artif. Intell. 95(2): 257-316 (1997) |
| 150 | | Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Preferential Structures CoRR cs.AI/9707103: (1997) |
| 149 | | Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Computational Intelligence 13(1): 144-163 (1997) |
| 148 | | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997) |
| 147 | | Joseph Y. Halpern: On becoming editor-in-chief of JACM. J. ACM 44(3): 363-365 (1997) |
| 146 | | Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Structures. J. Artif. Intell. Res. (JAIR) 7: 1-24 (1997) |
| 145 | | Joseph Y. Halpern: A Theory of Knowledge and Ignorance for Many Agents. J. Log. Comput. 7(1): 79-108 (1997) |
| 1996 | ||
| 144 | | Daphne Koller, Joseph Y. Halpern: Irrelevance and Conditioning in First-Order Probabilistic Logic. AAAI/IAAI, Vol. 1 1996: 569-576 |
| 143 | | Nir Friedman, Joseph Y. Halpern: Plausibility Measures and Default Reasoning. AAAI/IAAI, Vol. 2 1996: 1297-1304 |
| 142 | | Nir Friedman, Joseph Y. Halpern, Daphne Koller: First-Order Conditional Logic Revisited. AAAI/IAAI, Vol. 2 1996: 1305-1312 |
| 141 | | Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. AAAI/IAAI, Vol. 2 1996: 1313-1319 |
| 140 | | Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty. AAAI/IAAI, Vol. 2 1996: 1329-1330 |
| 139 | | Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. KR 1996: 421-431 |
| 138 | | Joseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing. TARK 1996: 251-265 |
| 137 | | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298 |
| 136 | | Joseph Y. Halpern: On Ambiguities in the Interpretation of Game Trees. TARK 1996: 77-96 |
| 135 | | Nir Friedman, Joseph Y. Halpern: A Qualitative Markov Assumption and Its Implications for Belief Change. UAI 1996: 263-273 |
| 134 | | Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Preferential Structures. UAI 1996: 299-306 |
| 133 | | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief. Artif. Intell. 87(1-2): 75-143 (1996) |
| 132 | | Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities: The Non-Unary Case. J. Symb. Log. 61(1): 250-276 (1996) |
| 131 | | Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities: The Unary Case. SIAM J. Comput. 25(1): 1-51 (1996) |
| 1995 | ||
| 130 | | Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. IJCAI 1995: 1853-1861 |
| 129 | | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940 |
| 128 | | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163 |
| 127 | | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics 1995: 218-220 |
| 126 | | Nir Friedman, Joseph Y. Halpern: Plausibility Measures: A User's Guide. UAI 1995: 175-184 |
| 125 | | Joseph Y. Halpern, Gerhard Lakemeyer: Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. 74(2): 381-387 (1995) |
| 124 | | Joseph Y. Halpern: The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. Artif. Intell. 75(2): 361-372 (1995) |
| 123 | | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995) |
| 122 | | Joseph Y. Halpern, Edward L. Wimmers: Full Abstraction and Expressive Completeness for FP Inf. Comput. 118(2): 246-271 (1995) |
| 121 | | Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: Dynamic Fault-Tolerant Clock Synchronization. J. ACM 42(1): 143-185 (1995) |
| 1994 | ||
| 120 | | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147 |
| 119 | | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Forming Beliefs about a Changing World. AAAI 1994: 222-229 |
| 118 | | Nir Friedman, Joseph Y. Halpern: Conditional Logics of Belief Change. AAAI 1994: 915-921 |
| 117 | | Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR 1994: 190-201 |
| 116 | | Nir Friedman, Joseph Y. Halpern: On the Complexity of Conditional Logics. KR 1994: 202-213 |
| 115 | | Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266 |
| 114 | | Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994: 44-64 |
| 113 | | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating New Beliefs from Old. UAI 1994: 37-45 |
| 112 | | Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic. Ann. Pure Appl. Logic 69(2-3): 157-193 (1994) |
| 111 | | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: A Response to "Believing on the Basis of the Evidence". Computational Intelligence 10: 21-25 (1994) |
| 110 | | Martín Abadi, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability Inf. Comput. 112(1): 1-36 (1994) |
| 109 | | Ronald Fagin, Joseph Y. Halpern: Reasoning About Knowledge and Probability. J. ACM 41(2): 340-367 (1994) |
| 108 | | Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Random Worlds and Maximum Entropy. J. Artif. Intell. Res. (JAIR) 2: 33-88 (1994) |
| 1993 | ||
| 107 | | Joseph Y. Halpern: Reasoning about only Knowing with Many Agents. AAAI 1993: 655-661 |
| 106 | | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993: 318-325 |
| 105 | | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569 |
| 104 | | Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Kurt Gödel Colloquium 1993: 43-60 |
| 103 | | Joseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. J. ACM 40(4): 917-962 (1993) |
| 102 | | Adam J. Grove, Joseph Y. Halpern: Naming and Identity in Epistemic Logics Part I: The Propositional Case. J. Log. Comput. 3(4): 345-378 (1993) |
| 101 | | Vassos Hadzilacos, Joseph Y. Halpern: The Failure Discovery Problem. Mathematical Systems Theory 26(1): 103-129 (1993) |
| 100 | | Vassos Hadzilacos, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement. Mathematical Systems Theory 26(1): 41-102 (1993) |
| 1992 | ||
| 99 | | Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern: From Statistics to Beliefs. AAAI 1992: 602-608 |
| 98 | | Daphne Koller, Joseph Y. Halpern: A Logic for Approximate Reasoning. KR 1992: 153-164 |
| 97 | | Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Random Worlds and Maximum Entropy LICS 1992: 22-33 |
| 96 | | Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic LICS 1992: 369-380 |
| 95 | | Cynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing Work Efficiently in the Presence of Faults. PODC 1992: 91-102 |
| 94 | | Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities for First-Order Logic STOC 1992: 294-305 |
| 93 | | Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi: The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK 1992: 229-244 |
| 92 | | Joseph Y. Halpern, Ronald Fagin: Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artif. Intell. 54(2): 275-317 (1992) |
| 91 | | Joseph Y. Halpern, Yoram Moses: A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artif. Intell. 54(2): 319-379 (1992) |
| 90 | | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Properties of Knowledge in Distributed Systems. J. ACM 39(2): 328-376 (1992) |
| 89 | | Joseph Y. Halpern, Lenore D. Zuck: A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. J. ACM 39(3): 449-478 (1992) |
| 88 | | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992) |
| 1991 | ||
| 87 | | Adam J. Grove, Joseph Y. Halpern: Naming and Identity in a Multi-Agent Epistemic Logic. KR 1991: 301-312 |
| 86 | | Joseph Y. Halpern, Moshe Y. Vardi: Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334 |
| 85 | | Vassos Hadzilacos, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). PODC 1991: 309-323 |
| 84 | | Joseph Y. Halpern: Knowledge and Probability in Distributed Systems (Abstract). TAPSOFT, Vol.2 1991: 50-54 |
| 83 | | Joseph Y. Halpern: The relationship between knowledge, belief and certainty. Ann. Math. Artif. Intell. 4: 301-322 (1991) |
| 82 | | Ronald Fagin, Joseph Y. Halpern: Uncertainty, belief, and probability. Computational Intelligence 7: 160-173 (1991) |
| 81 | | Joseph Y. Halpern, Ichiro Suzuki: Clock Synchronization and the Power of Broadcasting. Distributed Computing 5: 73-82 (1991) |
| 80 | | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991) |
| 79 | | Joseph Y. Halpern, Yoav Shoham: A Propositional Modal Logic of Time Intervals. J. ACM 38(4): 935-962 (1991) |
| 78 | | Joseph Y. Halpern: Presburger Arithmetic with Unarr Predicates is Pi11 Complete. J. Symb. Log. 56(2): 637-642 (1991) |
| 1990 | ||
| 77 | | Joseph Y. Halpern, Ronald Fagin: Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI 1990: 112-119 |
| 76 | | Joseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346 |
| 75 | | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990: 41-55 |
| 74 | | Ronald Fagin, Joseph Y. Halpern: A new approach to updating beliefs. UAI 1990: 347-374 |
| 73 | | Joseph Y. Halpern: An Analysis of First-Order Logics of Probability. Artif. Intell. 46(3): 311-350 (1990) |
| 72 | | Joseph Y. Halpern: Let many flowers bloom: a response to An inquiry into computer understanding e. Computational Intelligence 6: 184-188 (1990) |
| 71 | | Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo: A Logic for Reasoning about Probabilities Inf. Comput. 87(1/2): 78-128 (1990) |
| 70 | | Joseph Y. Halpern, John H. Williams, Edward L. Wimmers: Completeness of Rewrite Rules and Rewrite Strategies for FP J. ACM 37(1): 86-143 (1990) |
| 69 | | Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment J. ACM 37(3): 549-587 (1990) |
| 1989 | ||
| 68 | | Martín Abadi, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) FOCS 1989: 148-153 |
| 67 | | Ronald Fagin, Joseph Y. Halpern: Uncertainty, Belief, and Probability. IJCAI 1989: 1161-1167 |
| 66 | | Joseph Y. Halpern: An Analysis of First-Order Logics of Probability. IJCAI 1989: 1375-1381 |
| 65 | | Joseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. PODC 1989: 103-118 |
| 64 | | Joseph Y. Halpern, Ronald Fagin: Modelling Knowledge and Action in Distributed Systems. Distributed Computing 3(4): 159-177 (1989) |
| 63 | | Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: Reasoning about Procedures as Parameters in the Language L4 Inf. Comput. 83(3): 265-359 (1989) |
| 62 | | Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. 38(1): 195-237 (1989) |
| 1988 | ||
| 61 | | Joseph Y. Halpern, Ronald Fagin: Modelling Knowledge and Action in Distributed Systems. Concurrency 1988: 18-32 |
| 60 | | Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo: A Logic for Reasoning about Probabilities LICS 1988: 410-421 |
| 59 | | Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC 1988: 132-147 |
| 58 | | Joseph Y. Halpern, Moshe Y. Vardi: Reasoning about Knowledge and Time in Asynchronous Systems STOC 1988: 53-65 |
| 57 | | Joseph Y. Halpern: Reasoning About Knowledge: A Tutorial. TARK 1988: 161 |
| 56 | | Ronald Fagin, Joseph Y. Halpern: Reasoning about Knowledge and Probability. TARK 1988: 277-293 |
| 1987 | ||
| 55 | | Joseph Y. Halpern, Edward L. Wimmers: Full Abstraction and Expressive Completenes for FP LICS 1987: 257-271 |
| 54 | | Ronald Fagin, Joseph Y. Halpern: I'm OK if You're OK: On the Notion of Trusting Communication LICS 1987: 280-292 |
| 53 | | Joseph Y. Halpern: A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. PODC 1987: 269-280 |
| 52 | | Joseph Y. Halpern, Michael O. Rabin: A Logic to Reason about Likelihood. Artif. Intell. 32(3): 379-405 (1987) |
| 51 | | Ronald Fagin, Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning. . Artif. Intell. 34(1): 39-76 (1987) |
| 50 | | Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: A New Look at Fault-Tolerant Network Routing Inf. Comput. 72(3): 180-196 (1987) |
| 1986 | ||
| 49 | | Joseph Y. Halpern: Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, August 11-13, 1986 ACM 1986 |
| 48 | | Joseph Y. Halpern: Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986 Morgan Kaufmann 1986 |
| 47 | | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986: 428-435 |
| 46 | | Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: True Relative Completeness of an Axiom System for the Language L4 (Abridged) LICS 1986: 11-25 |
| 45 | | Joseph Y. Halpern, John H. Williams, Edward L. Wimmers: Good Rewrite Strategies for FP LICS 1986: 149-162 |
| 44 | | Joseph Y. Halpern, Yoav Shoham: A Propositional Model Logic of Time Intervals LICS 1986: 279-292 |
| 43 | | Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time: Extended Abstract STOC 1986: 304-315 |
| 42 | | Joseph Y. Halpern: Reasoning About Knowledge: An Overview. TARK 1986: 1-17 |
| 41 | | Yoram Moses, Danny Dolev, Joseph Y. Halpern: Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Computing 1(3): 167-176 (1986) |
| 40 | | E. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. J. ACM 33(1): 151-178 (1986) |
| 39 | | Danny Dolev, Joseph Y. Halpern, H. Raymond Strong: On the Possibility and Impossibility of Achieving Clock Synchronization. J. Comput. Syst. Sci. 32(2): 230-250 (1986) |
| 38 | | Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise: On Time versus Space III. Mathematical Systems Theory 19(1): 13-28 (1986) |
| 1985 | ||
| 37 | | Joseph Y. Halpern, Yoram Moses: A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490 |
| 36 | | Ronald Fagin, Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI 1985: 491-501 |
| 35 | | Yoram Moses, Danny Dolev, Joseph Y. Halpern: Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). PODC 1985: 215-223 |
| 34 | | Joseph Y. Halpern, Ronald Fagin: A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. PODC 1985: 224-236 |
| 33 | | Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler: Denotational Semantics and Rewrite Rules for FP. POPL 1985: 108-120 |
| 32 | | Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi: Optimal Precision in the Presence of Uncertainty (Preliminary Version) STOC 1985: 346-355 |
| 31 | | Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi: Optimal precision in the presence of uncertainty. J. Complexity 1(2): 170-196 (1985) |
| 30 | | E. Allen Emerson, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Comput. Syst. Sci. 30(1): 1-24 (1985) |
| 29 | | Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer: Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. 14(4): 935-942 (1985) |
| 1984 | ||
| 28 | | Joseph Y. Halpern, David A. McAllester: Likelihood, Probability, and Knowledge. AAAI 1984: 137-141 |
| 27 | | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge: Preliminary Report FOCS 1984: 268-278 |
| 26 | | Joseph Y. Halpern, Yoram Moses: Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143 |
| 25 | | Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61 |
| 24 | | Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev: Fault-Tolerant Clock Synchronization. PODC 1984: 89-102 |
| 23 | | Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot: The Semantics of Local Storage, or What Makes the Free-List Free? POPL 1984: 245-257 |
| 22 | | Joseph Y. Halpern: A Good Hoare Axiom System for an Algol-like Language. POPL 1984: 262-271 |
| 21 | | Danny Dolev, Joseph Y. Halpern, H. Raymond Strong: On the Possibility and Impossibility of Achieving Clock Synchronization STOC 1984: 504-511 |
| 20 | | Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: A New Look at Fault Tolerant Network Routing STOC 1984: 526-535 |
| 1983 | ||
| 19 | | Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski: A Hardware Semantics Based on Temporal Intervals. ICALP 1983: 278-291 |
| 18 | | Steven M. German, Edmund M. Clarke, Joseph Y. Halpern: Reasoning About Procedures as Parameters. Logic of Programs 1983: 206-220 |
| 17 | | Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer: From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. Logic of Programs 1983: 474-500 |
| 16 | | E. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. POPL 1983: 127-140 |
| 15 | | Joseph Y. Halpern, Michael O. Rabin: A Logic to Reason about Likelihood STOC 1983: 310-319 |
| 14 | | Joseph Y. Halpern: Deterministic Process Logic is Elementary Information and Control 57(1): 56-89 (1983) |
| 13 | | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern: Effective Axiomatizations of Hoare Logics J. ACM 30(3): 612-636 (1983) |
| 12 | | Joseph Y. Halpern, John H. Reif: The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. Theor. Comput. Sci. 27: 127-165 (1983) |
| 1982 | ||
| 11 | | Joseph Y. Halpern: Deterministic Process Logic Is Elementary FOCS 1982: 204-216 |
| 10 | | Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn: On the Power of Nondeterminism in Dynamic Logic. ICALP 1982: 48-60 |
| 9 | | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern: On Effective Axiomatizations of Hoare Logics. POPL 1982: 309-321 |
| 8 | | E. Allen Emerson, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time STOC 1982: 169-180 |
| 7 | | Albert R. Meyer, Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment. J. ACM 29(2): 555-576 (1982) |
| 6 | | Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli: Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. J. Comput. Syst. Sci. 25(3): 402-417 (1982) |
| 1981 | ||
| 5 | | Joseph Y. Halpern, John H. Reif: The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) FOCS 1981: 322-334 |
| 4 | | Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli: Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981: 249-263 |
| 3 | | Joseph Y. Halpern, Albert R. Meyer: Axiomatic Definitions of Programming Languages, II. POPL 1981: 139-148 |
| 2 | | Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh: Equations between Regular Terms and an Application to Process Logic STOC 1981: 384-390 |
| 1980 | ||
| 1 | | Albert R. Meyer, Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment. POPL 1980: 203-212 |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page