| 2009 |
|---|
| 361 | EE | David J. Martin,
Joseph Y. Halpern:
Shared Winner Determination in Sponsored Search Auctions.
ICDE 2009: 270-280 |
| 360 | EE | Ian A. Kash,
Eric J. Friedman,
Joseph Y. Halpern:
Manipulating Scrip Systems: Sybils and Collusion
CoRR abs/0903.2278: (2009) |
| 359 | EE | Ian A. Kash,
Eric J. Friedman,
Joseph Y. Halpern:
Multiagent Learning in Large Anonymous Games
CoRR abs/0903.2282: (2009) |
| 2008 |
|---|
| 358 | | Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.
AAAI 2008: 454-459 |
| 357 | EE | Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century.
CONCUR 2008: 1 |
| 356 | EE | David J. Martin,
Johannes Gehrke,
Joseph Y. Halpern:
Toward Expressive and Scalable Sponsored Search Auctions.
ICDE 2008: 237-246 |
| 355 | | Joseph Y. Halpern:
Defaults and Normality in Causal Structures.
KR 2008: 198-208 |
| 354 | | Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century.
KR 2008: 6-15 |
| 353 | EE | Joseph Y. Halpern:
Beyond nash equilibrium: solution concepts for the 21st century.
PODC 2008: 1-10 |
| 352 | EE | Ittai Abraham,
Danny Dolev,
Joseph Y. Halpern:
An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience.
PODC 2008: 405-414 |
| 351 | EE | Ian A. Kash,
Eric J. Friedman,
Joseph Y. Halpern:
The lotus-eater attack.
PODC 2008: 455 |
| 350 | EE | Ittai Abraham,
Danny Dolev,
Joseph Y. Halpern:
Lower Bounds on Implementing Robust and Resilient Mediators.
TCC 2008: 302-319 |
| 349 | EE | Peter Grünwald,
Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities.
UAI 2008: 240-247 |
| 348 | EE | Hana Chockler,
Joseph Y. Halpern,
Orna Kupferman:
What causes a system to satisfy a specification?.
ACM Trans. Comput. Log. 9(3): (2008) |
| 347 | EE | Joseph Y. Halpern,
Vicky Weissman:
Using First-Order Logic to Reason about Policies.
ACM Trans. Inf. Syst. Secur. 11(4): (2008) |
| 346 | EE | Joseph Y. Halpern,
Kevin R. O'Neill:
Secrecy in Multiagent Systems.
ACM Trans. Inf. Syst. Secur. 12(1): (2008) |
| 345 | EE | Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
CoRR abs/0804.2155: (2008) |
| 344 | EE | Ian A. Kash,
Eric J. Friedman,
Joseph Y. Halpern:
The Lotus-Eater Attack
CoRR abs/0806.1711: (2008) |
| 343 | EE | Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century
CoRR abs/0806.2139: (2008) |
| 342 | EE | Joseph Y. Halpern:
Defaults and Normality in Causal Structures
CoRR abs/0806.2140: (2008) |
| 341 | EE | Joseph Y. Halpern,
Vicky Weissman:
A Formal Foundation for XrML
CoRR abs/0808.1215: (2008) |
| 340 | EE | 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) |
| 339 | EE | Joseph Y. Halpern,
Rafael Pass:
Game Theory with Costly Computation
CoRR abs/0809.0024: (2008) |
| 338 | EE | David J. Martin,
Johannes Gehrke,
Joseph Y. Halpern:
Toward Expressive and Scalable Sponsored Search Auctions
CoRR abs/0809.0116: (2008) |
| 337 | EE | Joseph Y. Halpern,
Rafael Pass:
Iterated Regret Minimization: A More Realistic Solution Concept
CoRR abs/0810.3023: (2008) |
| 336 | EE | Joseph Y. Halpern,
Vicky Weissman:
A formal foundation for XrML.
J. ACM 55(1): (2008) |
| 2007 |
|---|
| 335 | EE | 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 |
| 334 | EE | 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 |
| 333 | EE | Joseph Y. Halpern,
Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs.
IJCAI 2007: 1300-1307 |
| 332 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.
IJCAI 2007: 2306-2311 |
| 331 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Dealing with logical omniscience.
TARK 2007: 169-176 |
| 330 | EE | Leandro Chaves Rêgo,
Joseph Y. Halpern:
Generalized solution concepts in games with possibly unaware players.
TARK 2007: 253-262 |
| 329 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Extensive Games with Possibly Unaware Players
CoRR abs/0704.2014: (2007) |
| 328 | EE | Ittai Abraham,
Danny Dolev,
Joseph Y. Halpern:
Lower Bounds on Implementing Robust and Resilient Mediators
CoRR abs/0704.3646: (2007) |
| 327 | EE | 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) |
| 326 | EE | 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) |
| 325 | EE | Ian A. Kash,
Eric J. Friedman,
Joseph Y. Halpern:
Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists
CoRR abs/0705.4110: (2007) |
| 324 | EE | Leandro Chaves Rêgo,
Joseph Y. Halpern:
Generalized Solution Concepts in Games with Possibly Unaware Players
CoRR abs/0707.1904: (2007) |
| 323 | EE | Joseph Y. Halpern,
Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation
CoRR abs/0707.3435: (2007) |
| 322 | EE | Peter D. Grünwald,
Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities
CoRR abs/0711.3235: (2007) |
| 321 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Dealing With Logical Omniscience: Expressiveness and Pragmatics
CoRR abs/cs/0702011: (2007) |
| 320 | EE | Joseph Y. Halpern:
Computer Science and Game Theory: A Brief Survey
CoRR abs/cs/0703148: (2007) |
| 319 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Characterizing and reasoning about probabilistic and non-probabilistic expectation.
J. ACM 54(3): 15 (2007) |
| 318 | EE | 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 |
|---|
| 317 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Extensive games with possibly unaware players.
AAMAS 2006: 744-751 |
| 316 | EE | 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 |
| 315 | EE | Joseph Y. Halpern,
Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation.
DISC 2006: 136-150 |
| 314 | | Lawrence E. Blume,
David A. Easley,
Joseph Y. Halpern:
Redoing the Foundations of Decision Theory.
KR 2006: 14-24 |
| 313 | | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Reasoning about Knowledge of Unawareness.
KR 2006: 6-13 |
| 312 | EE | 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 |
| 311 | EE | Joseph Y. Halpern:
From statistical knowledge bases to degrees of belief: an overview.
PODS 2006: 110-113 |
| 310 | EE | Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach.
QEST 2006: 3-8 |
| 309 | EE | Joseph Y. Halpern,
Vicky Weissman:
Using First-Order Logic to Reason about Policies
CoRR abs/cs/0601034: (2006) |
| 308 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
CoRR abs/cs/0603019: (2006) |
| 307 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Reasoning About Knowledge of Unawareness
CoRR abs/cs/0603020: (2006) |
| 306 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis
CoRR abs/cs/0607146: (2006) |
| 305 | EE | Joseph Y. Halpern,
Sabina Petride:
Expressing Security Properties Using Selective Interleaving Functions
CoRR abs/cs/0608022: (2006) |
| 304 | EE | Joseph Y. Halpern:
Using Sets of Probability Measures to Represent Uncertainty
CoRR abs/cs/0608028: (2006) |
| 303 | EE | Joseph Y. Halpern,
Vanessa Teague:
Rational Secret Sharing and Multiparty Computation: Extended Abstract
CoRR abs/cs/0609035: (2006) |
| 302 | EE | Joseph Y. Halpern,
Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs
CoRR abs/cs/0610098: (2006) |
| 301 | EE | Zygmunt J. Haas,
Joseph Y. Halpern,
Li Li:
Gossip-based ad hoc routing.
IEEE/ACM Trans. Netw. 14(3): 479-491 (2006) |
| 300 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Evidence.
J. Artif. Intell. Res. (JAIR) 26: 1-34 (2006) |
| 2005 |
|---|
| 299 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Interactive unawareness revisited.
TARK 2005: 78-91 |
| 298 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Evidence with Uncertain Likelihoods.
UAI 2005: 243-250 |
| 297 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Probabilistic Algorithmic Knowledge
CoRR abs/cs/0503018: (2005) |
| 296 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Interactive Unawareness Revisited
CoRR abs/cs/0509058: (2005) |
| 295 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Evidence with Uncertain Likelihoods
CoRR abs/cs/0510079: (2005) |
| 294 | EE | Peter D. Grünwald,
Joseph Y. Halpern:
When Ignorance is Bliss
CoRR abs/cs/0510080: (2005) |
| 293 | EE | Joseph Y. Halpern,
Aleta Ricciardi:
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors.
Distributed Computing 17(3): 223-236 (2005) |
| 292 | EE | 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) |
| 291 | EE | Joseph Y. Halpern,
Kevin R. O'Neill:
Anonymity and information hiding in multiagent systems.
Journal of Computer Security 13(3): 483-512 (2005) |
| 290 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Probabilistic Algorithmic Knowledge.
Logical Methods in Computer Science 1(3): (2005) |
| 2004 |
|---|
| 289 | | David Maxwell Chickering,
Joseph Y. Halpern:
UAI '04, Proceedings of the 20th Conference in Uncertainty in Artificial Intelligence, July 7-11 2004, Banff, Canada
AUAI Press 2004 |
| 288 | EE | Joseph Y. Halpern,
Vicky Weissman:
A Formal Foundation for XrML.
CSFW 2004: 251- |
| 287 | | Joseph Y. Halpern:
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems.
KR 2004: 12-22 |
| 286 | | Joseph Y. Halpern:
Intransitivity and Vagueness.
KR 2004: 121-129 |
| 285 | EE | Mark Bickford,
Robert L. Constable,
Joseph Y. Halpern,
Sabina Petride:
Knowledge-Based Synthesis of Distributed Systems Using Event Structures.
LPAR 2004: 449-465 |
| 284 | EE | Magnús M. Halldórsson,
Joseph Y. Halpern,
Erran L. Li,
Vahab S. Mirrokni:
On spectrum sharing games.
PODC 2004: 107-114 |
| 283 | EE | Joseph Y. Halpern,
Vanessa Teague:
Rational secret sharing and multiparty computation: extended abstract.
STOC 2004: 623-632 |
| 282 | EE | Peter Grünwald,
Joseph Y. Halpern:
When Ignorance is Bliss.
UAI 2004: 226-234 |
| 281 | EE | 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) |
| 280 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Evidence
CoRR cs.AI/0405098: (2004) |
| 279 | EE | Joseph Y. Halpern:
Intransitivity and Vagueness
CoRR cs.AI/0410049: (2004) |
| 278 | EE | Joseph Y. Halpern:
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
CoRR cs.AI/0410050: (2004) |
| 277 | EE | Joseph Y. Halpern,
Kevin R. O'Neill:
Anonymity and Information Hiding in Multiagent Systems
CoRR cs.CR/0402042: (2004) |
| 276 | EE | Joseph Y. Halpern,
Aleta Ricciardi:
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors
CoRR cs.DC/0402012: (2004) |
| 275 | EE | Joseph Y. Halpern,
Yoram Moses:
Using counterfactuals in knowledge-based programming.
Distributed Computing 17(2): 91-106 (2004) |
| 274 | EE | Li Li,
Joseph Y. Halpern:
A minimum-energy path-preserving topology-control algorithm.
IEEE Transactions on Wireless Communications 3(3): 910-921 (2004) |
| 273 | EE | Joseph Y. Halpern,
Richard A. Shore:
Reasoning about common knowledge with infinitely many agents.
Inf. Comput. 191(1): 1-40 (2004) |
| 272 | EE | Joseph Y. Halpern,
Daphne Koller:
Representation Dependence in Probabilistic Inference.
J. Artif. Intell. Res. (JAIR) 21: 319-356 (2004) |
| 271 | EE | Hana Chockler,
Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach.
J. Artif. Intell. Res. (JAIR) 22: 93-115 (2004) |
| 270 | EE | 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 |
|---|
| 269 | | 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 |
| 268 | EE | Joseph Y. Halpern,
Vicky Weissman:
Using First-Order Logic to Reason about Policies.
CSFW 2003: 187-201 |
| 267 | EE | Joseph Y. Halpern,
Kevin R. O'Neill:
Anonymity and Information Hiding in Multiagent Systems.
CSFW 2003: 75-88 |
| 266 | | Hana Chockler,
Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach.
IJCAI 2003: 147-153 |
| 265 | | Francis C. Chu,
Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility.
IJCAI 2003: 291-296 |
| 264 | | Francis C. Chu,
Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule.
IJCAI 2003: 297-302 |
| 263 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Probabilistic algorithmic knowledge.
TARK 2003: 118-130 |
| 262 | | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Evidence.
UAI 2003: 297-304 |
| 261 | EE | Erich Grädel,
Joseph Y. Halpern,
Radha Jagadeesan,
Adolfo Piperno:
LICS 2001 special issue.
ACM Trans. Comput. Log. 4(3): 295 (2003) |
| 260 | EE | 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) |
| 259 | EE | 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) |
| 258 | EE | Peter Grünwald,
Joseph Y. Halpern:
Updating Probabilities
CoRR cs.AI/0306124: (2003) |
| 257 | EE | Fahiem Bacchus,
Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
From Statistical Knowledge Bases to Degrees of Belief
CoRR cs.AI/0307056: (2003) |
| 256 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A logic for reasoning about upper probabilities
CoRR cs.AI/0307069: (2003) |
| 255 | EE | Nir Friedman,
Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part I: Foundations
CoRR cs.AI/0307070: (2003) |
| 254 | EE | Nir Friedman,
Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revisions and Update
CoRR cs.AI/0307071: (2003) |
| 253 | EE | Francis C. Chu,
Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility
CoRR cs.AI/0311026: (2003) |
| 252 | EE | Francis C. Chu,
Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
CoRR cs.AI/0311027: (2003) |
| 251 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Reasoning About Expectation
CoRR cs.AI/0312037: (2003) |
| 250 | EE | Hana Chockler,
Joseph Y. Halpern:
Responsibility and blame: a structural-model approach
CoRR cs.AI/0312038: (2003) |
| 249 | EE | Joseph Y. Halpern,
Daphne Koller:
Representation Dependence in Probabilistic Inference
CoRR cs.AI/0312048: (2003) |
| 248 | EE | Joseph Y. Halpern,
Riccardo Pucella:
On the Relationship between Strand Spaces and Multi-Agent Systems
CoRR cs.CR/0306107: (2003) |
| 247 | EE | Kevin R. O'Neill,
Joseph Y. Halpern:
Secrecy in Multiagent Systems
CoRR cs.CR/0307057: (2003) |
| 246 | EE | Joseph Y. Halpern,
Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming
CoRR cs.DC/0311028: (2003) |
| 245 | EE | Joseph Y. Halpern:
Lexicographic probability, conditional probability, and nonstandard probability
CoRR cs.GT/0306106: (2003) |
| 244 | EE | Hana Chockler,
Joseph Y. Halpern,
Orna Kupferman:
What Causes a System to Satisfy a Specification?
CoRR cs.LO/0312036: (2003) |
| 243 | EE | Joseph Y. Halpern:
JACM's 50th anniversary.
J. ACM 50(1): 3-7 (2003) |
| 242 | EE | Peter Grünwald,
Joseph Y. Halpern:
Updating Probabilities.
J. Artif. Intell. Res. (JAIR) 19: 243-278 (2003) |
| 241 | | Joseph Y. Halpern,
Ron van der Meyden:
A Logical Reconstruction of SPKI.
Journal of Computer Security 11(4): 581-614 (2003) |
| 2002 |
|---|
| 240 | EE | Joseph Y. Halpern,
Kevin R. O'Neill:
Secrecy in Multiagent Systems.
CSFW 2002: 32- |
| 239 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis.
FASec 2002: 115-132 |
| 238 | EE | Zygmunt J. Haas,
Joseph Y. Halpern,
Erran L. Li:
Gossip-based ad hoc routing.
INFOCOM 2002 |
| 237 | EE | Francis C. Chu,
Joseph Y. Halpern,
Johannes Gehrke:
Least Expected Cost Query Optimization: What Can We Expect?
PODS 2002: 293-302 |
| 236 | | Peter Grünwald,
Joseph Y. Halpern:
Updating Probabilities.
UAI 2002: 187-196 |
| 235 | | Joseph Y. Halpern,
Riccardo Pucella:
Reasoning about Expectation.
UAI 2002: 207-215 |
| 234 | EE | Joseph Y. Halpern,
Judea Pearl:
Causes and Explanations: A Structural-Model Approach. Part II: Explanations
CoRR cs.AI/0208034: (2002) |
| 233 | EE | Joseph Y. Halpern,
Ron van der Meyden:
A logical reconstruction of SPKI
CoRR cs.CR/0208028: (2002) |
| 232 | EE | Joseph Y. Halpern:
A computer scientist looks at game theory
CoRR cs.GT/0201016: (2002) |
| 231 | EE | Joseph Y. Halpern,
Ron van der Meyden,
Moshe Y. Vardi:
Complete Axiomatizations for Reasoning About Knowledge and Time
CoRR cs.LO/0208033: (2002) |
| 230 | EE | Zygmunt J. Haas,
Joseph Y. Halpern,
Erran L. Li:
Gossip Based Ad-Hoc Routing
CoRR cs.NI/0209011: (2002) |
| 229 | EE | 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) |
| 228 | EE | Erran L. Li,
Joseph Y. Halpern:
Minimum-Energy Mobile Wireless Networks Revisited
CoRR cs.NI/0209013: (2002) |
| 227 | EE | Joseph Y. Halpern:
Update: Time to publication statistics.
J. ACM 49(6): 715 (2002) |
| 226 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities.
J. Artif. Intell. Res. (JAIR) 17: 57-81 (2002) |
| 2001 |
|---|
| 225 | EE | 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 |
| 224 | EE | Joseph Y. Halpern,
Ron van der Meyden:
A Logical Reconstruction of SPKI.
CSFW 2001: 59- |
| 223 | | Joseph Y. Halpern:
Plausibility Measures: A General Approach For Representing Uncertainty.
IJCAI 2001: 1474-1483 |
| 222 | | Joseph Y. Halpern,
Judea Pearl:
Causes and Explanations: A Structural-Model Approach - Part II: Explanations.
IJCAI 2001: 27-34 |
| 221 | EE | 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 |
| 220 | EE | Joseph Y. Halpern,
Judea Pearl:
Causes and Explanations: A Structural-Model Approach: Part 1: Causes.
UAI 2001: 194-202 |
| 219 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities.
UAI 2001: 203-210 |
| 218 | EE | 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) |
| 217 | EE | Nir Friedman,
Joseph Y. Halpern:
Belief Revision: A Critique
CoRR cs.AI/0103020: (2001) |
| 216 | EE | 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) |
| 215 | EE | Francis C. Chu,
Joseph Y. Halpern:
A decision-theoretic approach to reliable message delivery.
Distributed Computing 14(1): 1-16 (2001) |
| 214 | EE | Nir Friedman,
Joseph Y. Halpern:
Plausibility measures and default reasoning.
J. ACM 48(4): 648-685 (2001) |
| 213 | EE | Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks.
J. Artif. Intell. Res. (JAIR) 14: 359-389 (2001) |
| 212 | EE | Joseph Y. Halpern,
Gerhard Lakemeyer:
Multi-agent Only Knowing.
J. Log. Comput. 11(1): 41-70 (2001) |
| 211 | | 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) |
| 210 | EE | Joseph Y. Halpern,
Yoram Moses,
Orli Waarts:
A Characterization of Eventual Byzantine Agreement.
SIAM J. Comput. 31(3): 838-865 (2001) |
| 2000 |
|---|
| 209 | EE | 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 |
| 208 | EE | Joseph Y. Halpern:
Degrees of Belief, Random Worlds, and Maximum Entropy.
Discovery Science 2000: 15-16 |
| 207 | EE | Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks.
UAI 2000: 247-255 |
| 206 | EE | Joseph Y. Halpern:
CoRR: a computing research repository.
ACM Journal of Computer Documentation 24(2): 41-48 (2000) |
| 205 | EE | Joseph Y. Halpern:
A response to the commentaries on CoRR.
ACM Journal of Computer Documentation 24(2): 72-77 (2000) |
| 204 | EE | Nir Friedman,
Joseph Y. Halpern,
Daphne Koller:
First-order conditional logic for default reasoning revisited.
ACM Trans. Comput. Log. 1(2): 175-207 (2000) |
| 203 | EE | Joseph Y. Halpern,
Gerhard Lakemeyer:
Multi-Agent Only Knowing
CoRR cs.AI/0001015: (2000) |
| 202 | EE | Joseph Y. Halpern:
Axiomatizing Causal Reasoning
CoRR cs.AI/0005030: (2000) |
| 201 | EE | Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks
CoRR cs.AI/0005031: (2000) |
| 200 | EE | Joseph Y. Halpern,
Judea Pearl:
Causes and Explanations: A Structural-Model Approach, Part I: Causes
CoRR cs.AI/0011012: (2000) |
| 199 | EE | Joseph Y. Halpern,
Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces
CoRR cs.CR/0001026: (2000) |
| 198 | EE | Joseph Y. Halpern:
A note on knowledge-based programs and specifications
CoRR cs.DC/0003058: (2000) |
| 197 | EE | Cynthia Dwork,
Joseph Y. Halpern,
Orli Waarts:
Performing work efficiently in the presence of faults
CoRR cs.DC/0006008: (2000) |
| 196 | EE | Joseph Y. Halpern,
Yoram Moses:
Knowledge and common knowledge in a distributed environment
CoRR cs.DC/0006009: (2000) |
| 195 | EE | Joseph Y. Halpern:
CoRR: A Computing Research Repository
CoRR cs.DL/0005003: (2000) |
| 194 | EE | Joseph Y. Halpern:
A response to the commentaries on CoRR
CoRR cs.DL/0005004: (2000) |
| 193 | EE | 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) |
| 192 | EE | Joseph Y. Halpern:
A note on knowledge-based programs and specifications.
Distributed Computing 13(3): 145-153 (2000) |
| 191 | EE | Joseph Y. Halpern:
Editorial: a bill of rights and responsibilities.
J. ACM 47(5): 823-825 (2000) |
| 190 | EE | Joseph Y. Halpern:
Axiomatizing Causal Reasoning.
J. Artif. Intell. Res. (JAIR) 12: 317-337 (2000) |
| 1999 |
|---|
| 189 | EE | Joseph Y. Halpern,
Carl Lagoze:
The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research.
ACM DL 1999: 3-11 |
| 188 | EE | Joseph Y. Halpern,
Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces.
CSFW 1999: 111-122 |
| 187 | EE | Joseph Y. Halpern,
Nir Friedman:
Plausibility Measures and Default Reasoning: An Overview.
LICS 1999: 130-135 |
| 186 | EE | Joseph Y. Halpern,
Richard A. Shore:
Reasoning about Common Knowledge with Infinitely Many Agents.
LICS 1999: 384-393 |
| 185 | EE | Joseph Y. Halpern,
Aleta Ricciardi:
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors.
PODC 1999: 73-82 |
| 184 | EE | Francis C. Chu,
Joseph Y. Halpern,
Praveen Seshadri:
Least Expected Cost Query Optimization: An Exercise in Utility.
PODS 1999: 138-147 |
| 183 | | Joseph Y. Halpern:
Set-theoretic completeness for epistemic and conditional logic.
Ann. Math. Artif. Intell. 26(1-4): 1-27 (1999) |
| 182 | | Joseph Y. Halpern:
Errata: ``The relationship between knowledge, belief, and certainty''.
Ann. Math. Artif. Intell. 26(1-4): 253-256 (1999) |
| 181 | | Ronald Fagin,
Joseph Y. Halpern,
Yoram Moses,
Moshe Y. Vardi:
Common Knowledge Revisited.
Ann. Pure Appl. Logic 96(1-3): 89-105 (1999) |
| 180 | EE | 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) |
| 179 | EE | Nir Friedman,
Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revision and Update
CoRR cs.AI/9903016: (1999) |
| 178 | EE | Joseph Y. Halpern:
Cox's Theorem Revisited
CoRR cs.AI/9911012: (1999) |
| 177 | EE | Francis C. Chu,
Joseph Y. Halpern,
Praveen Seshadri:
Least expected cost query optimization: an exercise in utility
CoRR cs.DB/9909016: (1999) |
| 176 | EE | Francis C. Chu,
Joseph Y. Halpern:
A decision-theoretic approach to reliable message delivery
CoRR cs.DC/9909015: (1999) |
| 175 | EE | Joseph Y. Halpern,
Richard A. Shore:
Reasoning About Common Knowledge with Infinitely Many Agents
CoRR cs.LO/9909014: (1999) |
| 174 | EE | Nir Friedman,
Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revision and Update.
J. Artif. Intell. Res. (JAIR) 10: 117-167 (1999) |
| 173 | EE | Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine.
J. Artif. Intell. Res. (JAIR) 10: 67-85 (1999) |
| 172 | EE | Joseph Y. Halpern:
Cox's Theorem Revisited (technical addendum).
J. Artif. Intell. Res. (JAIR) 11: 429-435 (1999) |
| 171 | | Nir Friedman,
Joseph Y. Halpern:
Belief Revision: A Critique.
Journal of Logic, Language and Information 8(4): 401-420 (1999) |
| 1998 |
|---|
| 170 | | Craig Boutilier,
Nir Friedman,
Joseph Y. Halpern:
Belief Revision with Unreliable Observations.
AAAI/IAAI 1998: 127-134 |
| 169 | EE | Francis C. Chu,
Joseph Y. Halpern:
A Decision-Theoretic Approach to Reliable Message Delivery.
DISC 1998: 89-103 |
| 168 | | Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty.
ICMAS 1998: 6-7 |
| 167 | | Joseph Y. Halpern:
Characterizing the Common Prior Assumption.
TARK 1998: 133-146 |
| 166 | | Joseph Y. Halpern:
Hypothetical Knowledge and Counterfactual Reasoning.
TARK 1998: 83-96 |
| 165 | | Joseph Y. Halpern,
Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming.
TARK 1998: 97-110 |
| 164 | EE | Adam J. Grove,
Joseph Y. Halpern:
Updating Sets of Probabilities.
UAI 1998: 173-182 |
| 163 | EE | Joseph Y. Halpern:
Axiomatizing Causal Reasoning.
UAI 1998: 202-210 |
| 162 | EE | Ronen I. Brafman,
Joseph Y. Halpern,
Yoav Shoham:
On the Knowledge Requirements of Tasks.
Artif. Intell. 98(1-2): 317-349 (1998) |
| 161 | EE | Nir Friedman,
Joseph Y. Halpern,
Daphne Koller:
First-Order Conditional Logic Revisited
CoRR cs.AI/9808005: (1998) |
| 160 | EE | Joseph Y. Halpern:
Set-Theoretic Completeness for Epistemic and Conditional Logic
CoRR cs.AI/9808006: (1998) |
| 159 | EE | Nir Friedman,
Joseph Y. Halpern:
Plausibility Measures and Default Reasoning
CoRR cs.AI/9808007: (1998) |
| 158 | EE | Fahiem Bacchus,
Joseph Y. Halpern,
Hector J. Levesque:
Reasoning about Noisy Sensors and Effectors in the Situation Calculus
CoRR cs.AI/9809013: (1998) |
| 157 | EE | Joseph Y. Halpern,
Carl Lagoze:
The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research
CoRR cs.DL/9812020: (1998) |
| 156 | EE | Ronald Fagin,
Joseph Y. Halpern,
Yoram Moses,
Moshe Y. Vardi:
Common knowledge revisited
CoRR cs.LO/9809003: (1998) |
| 155 | EE | Joseph Y. Halpern:
Time to Publication: A Progress Report.
J. ACM 45(3): 379-380 (1998) |
| 154 | EE | Cynthia Dwork,
Joseph Y. Halpern,
Orli Waarts:
Performing Work Efficiently in the Presence of Faults.
SIAM J. Comput. 27(5): 1457-1491 (1998) |
| 1997 |
|---|
| 153 | | Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty (invited talk).
SCAI 1997 |
| 152 | EE | Adam J. Grove,
Joseph Y. Halpern:
Probability Update: Conditioning vs. Cross-Entropy.
UAI 1997: 208-214 |
| 151 | EE | Urszula Chajewska,
Joseph Y. Halpern:
Defining Explanation in Probabilistic Systems.
UAI 1997: 62-71 |
| 150 | EE | Nir Friedman,
Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part I: Foundations.
Artif. Intell. 95(2): 257-316 (1997) |
| 149 | EE | Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures
CoRR cs.AI/9707103: (1997) |
| 148 | | Joseph Y. Halpern:
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.
Computational Intelligence 13(1): 144-163 (1997) |
| 147 | EE | Ronald Fagin,
Joseph Y. Halpern,
Yoram Moses,
Moshe Y. Vardi:
Knowledge-Based Programs.
Distributed Computing 10(4): 199-225 (1997) |
| 146 | EE | Joseph Y. Halpern:
On becoming editor-in-chief of JACM.
J. ACM 44(3): 363-365 (1997) |
| 145 | | Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Structures.
J. Artif. Intell. Res. (JAIR) 7: 1-24 (1997) |
| 144 | | Joseph Y. Halpern:
A Theory of Knowledge and Ignorance for Many Agents.
J. Log. Comput. 7(1): 79-108 (1997) |
| 1996 |
|---|
| 143 | | Daphne Koller,
Joseph Y. Halpern:
Irrelevance and Conditioning in First-Order Probabilistic Logic.
AAAI/IAAI, Vol. 1 1996: 569-576 |
| 142 | | Nir Friedman,
Joseph Y. Halpern:
Plausibility Measures and Default Reasoning.
AAAI/IAAI, Vol. 2 1996: 1297-1304 |
| 141 | | Nir Friedman,
Joseph Y. Halpern,
Daphne Koller:
First-Order Conditional Logic Revisited.
AAAI/IAAI, Vol. 2 1996: 1305-1312 |
| 140 | | Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine.
AAAI/IAAI, Vol. 2 1996: 1313-1319 |
| 139 | | Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty.
AAAI/IAAI, Vol. 2 1996: 1329-1330 |
| 138 | | Nir Friedman,
Joseph Y. Halpern:
Belief Revision: A Critique.
KR 1996: 421-431 |
| 137 | | Joseph Y. Halpern,
Gerhard Lakemeyer:
Multi-Agent Only Knowing.
TARK 1996: 251-265 |
| 136 | | Ronald Fagin,
Joseph Y. Halpern,
Yoram Moses,
Moshe Y. Vardi:
Common Knowledge Revisited.
TARK 1996: 283-298 |
| 135 | | Joseph Y. Halpern:
On Ambiguities in the Interpretation of Game Trees.
TARK 1996: 77-96 |
| 134 | EE | Nir Friedman,
Joseph Y. Halpern:
A Qualitative Markov Assumption and Its Implications for Belief Change.
UAI 1996: 263-273 |
| 133 | EE | Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures.
UAI 1996: 299-306 |
| 132 | EE | 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) |
| 131 | | Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Asymptotic Conditional Probabilities: The Non-Unary Case.
J. Symb. Log. 61(1): 250-276 (1996) |
| 130 | | Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Asymptotic Conditional Probabilities: The Unary Case.
SIAM J. Comput. 25(1): 1-51 (1996) |
| 1995 |
|---|
| 129 | | Joseph Y. Halpern,
Daphne Koller:
Representation Dependence in Probabilistic Inference.
IJCAI 1995: 1853-1861 |
| 128 | | Fahiem Bacchus,
Joseph Y. Halpern,
Hector J. Levesque:
Reasoning about Noisy Sensors in the Situation Calculus.
IJCAI 1995: 1933-1940 |
| 127 | | Ronald Fagin,
Joseph Y. Halpern,
Yoram Moses,
Moshe Y. Vardi:
Knowledge-Based Programs.
PODC 1995: 153-163 |
| 126 | | 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 |
| 125 | EE | Nir Friedman,
Joseph Y. Halpern:
Plausibility Measures: A User's Guide.
UAI 1995: 175-184 |
| 124 | EE | Joseph Y. Halpern,
Gerhard Lakemeyer:
Levesque's Axiomatization of only Knowing is Incomplete.
Artif. Intell. 74(2): 381-387 (1995) |
| 123 | EE | 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) |
| 122 | EE | Ronald Fagin,
Joseph Y. Halpern,
Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem.
Artif. Intell. 79(2): 203-240 (1995) |
| 121 | | Joseph Y. Halpern,
Edward L. Wimmers:
Full Abstraction and Expressive Completeness for FP
Inf. Comput. 118(2): 246-271 (1995) |
| 120 | EE | Danny Dolev,
Joseph Y. Halpern,
Barbara Simons,
H. Raymond Strong:
Dynamic Fault-Tolerant Clock Synchronization.
J. ACM 42(1): 143-185 (1995) |
| 1994 |
|---|
| 119 | | Ronald Fagin,
Joseph Y. Halpern,
Yoram Moses,
Moshe Y. Vardi:
An Operational Semantics for Knowledge Bases.
AAAI 1994: 1142-1147 |
| 118 | | Fahiem Bacchus,
Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Forming Beliefs about a Changing World.
AAAI 1994: 222-229 |
| 117 | | Nir Friedman,
Joseph Y. Halpern:
Conditional Logics of Belief Change.
AAAI 1994: 915-921 |
| 116 | | Nir Friedman,
Joseph Y. Halpern:
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update.
KR 1994: 190-201 |
| 115 | | Nir Friedman,
Joseph Y. Halpern:
On the Complexity of Conditional Logics.
KR 1994: 202-213 |
| 114 | | Joseph Y. Halpern,
Yoram Moses,
Moshe Y. Vardi:
Algorithmic Knowledge.
TARK 1994: 255-266 |
| 113 | | Nir Friedman,
Joseph Y. Halpern:
A Knowledge-Based Framework for Belief change, Part I: Foundations.
TARK 1994: 44-64 |
| 112 | EE | Fahiem Bacchus,
Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Generating New Beliefs from Old.
UAI 1994: 37-45 |
| 111 | | Joseph Y. Halpern,
Bruce M. Kapron:
Zero-One Laws for Modal Logic.
Ann. Pure Appl. Logic 69(2-3): 157-193 (1994) |
| 110 | | 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) |
| 109 | | Martín Abadi,
Joseph Y. Halpern:
Decidability and Expressiveness for First-Order Logics of Probability
Inf. Comput. 112(1): 1-36 (1994) |
| 108 | EE | Ronald Fagin,
Joseph Y. Halpern:
Reasoning About Knowledge and Probability.
J. ACM 41(2): 340-367 (1994) |
| 107 | | Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Random Worlds and Maximum Entropy.
J. Artif. Intell. Res. (JAIR) 2: 33-88 (1994) |
| 1993 |
|---|
| 106 | | Joseph Y. Halpern:
Reasoning about only Knowing with Many Agents.
AAAI 1993: 655-661 |
| 105 | | Fahiem Bacchus,
Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Generating Degrees of Belief from Statistical Information: An Overview.
FSTTCS 1993: 318-325 |
| 104 | | Fahiem Bacchus,
Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Statistical Foundations for Default Reasoning.
IJCAI 1993: 563-569 |
| 103 | | Joseph Y. Halpern:
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.
Kurt Gödel Colloquium 1993: 43-60 |
| 102 | EE | Joseph Y. Halpern,
Mark R. Tuttle:
Knowledge, Probability, and Adversaries.
J. ACM 40(4): 917-962 (1993) |
| 101 | | 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) |
| 100 | | Vassos Hadzilacos,
Joseph Y. Halpern:
The Failure Discovery Problem.
Mathematical Systems Theory 26(1): 103-129 (1993) |
| 99 | | Vassos Hadzilacos,
Joseph Y. Halpern:
Message-Optimal Protocols for Byzantine Agreement.
Mathematical Systems Theory 26(1): 41-102 (1993) |
| 1992 |
|---|
| 98 | | Fahiem Bacchus,
Adam J. Grove,
Daphne Koller,
Joseph Y. Halpern:
From Statistics to Beliefs.
AAAI 1992: 602-608 |
| 97 | | Daphne Koller,
Joseph Y. Halpern:
A Logic for Approximate Reasoning.
KR 1992: 153-164 |
| 96 | | Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Random Worlds and Maximum Entropy
LICS 1992: 22-33 |
| 95 | | Joseph Y. Halpern,
Bruce M. Kapron:
Zero-One Laws for Modal Logic
LICS 1992: 369-380 |
| 94 | | Cynthia Dwork,
Joseph Y. Halpern,
Orli Waarts:
Performing Work Efficiently in the Presence of Faults.
PODC 1992: 91-102 |
| 93 | | Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller:
Asymptotic Conditional Probabilities for First-Order Logic
STOC 1992: 294-305 |
| 92 | | 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 |
| 91 | | Joseph Y. Halpern,
Ronald Fagin:
Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.
Artif. Intell. 54(2): 275-317 (1992) |
| 90 | | 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) |
| 89 | EE | 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) |
| 88 | EE | 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) |
| 87 | | Ronald Fagin,
Joseph Y. Halpern,
Moshe Y. Vardi:
What Is an Inference Rule?
J. Symb. Log. 57(3): 1018-1045 (1992) |
| 1991 |
|---|
| 86 | | Adam J. Grove,
Joseph Y. Halpern:
Naming and Identity in a Multi-Agent Epistemic Logic.
KR 1991: 301-312 |
| 85 | | Joseph Y. Halpern,
Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto.
KR 1991: 325-334 |
| 84 | | Vassos Hadzilacos,
Joseph Y. Halpern:
Message-Optimal Protocols for Byzantine Agreement (Extended Abstract).
PODC 1991: 309-323 |
| 83 | | Joseph Y. Halpern:
Knowledge and Probability in Distributed Systems (Abstract).
TAPSOFT, Vol.2 1991: 50-54 |
| 82 | | Joseph Y. Halpern:
The relationship between knowledge, belief and certainty.
Ann. Math. Artif. Intell. 4: 301-322 (1991) |
| 81 | | Ronald Fagin,
Joseph Y. Halpern:
Uncertainty, belief, and probability.
Computational Intelligence 7: 160-173 (1991) |
| 80 | | Joseph Y. Halpern,
Ichiro Suzuki:
Clock Synchronization and the Power of Broadcasting.
Distributed Computing 5: 73-82 (1991) |
| 79 | EE | Ronald Fagin,
Joseph Y. Halpern,
Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge.
J. ACM 38(2): 382-428 (1991) |
| 78 | EE | Joseph Y. Halpern,
Yoav Shoham:
A Propositional Modal Logic of Time Intervals.
J. ACM 38(4): 935-962 (1991) |
| 77 | | Joseph Y. Halpern:
Presburger Arithmetic with Unarr Predicates is Pi11 Complete.
J. Symb. Log. 56(2): 637-642 (1991) |
| 1990 |
|---|
| 76 | | Joseph Y. Halpern,
Ronald Fagin:
Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.
AAAI 1990: 112-119 |
| 75 | EE | Joseph Y. Halpern,
Yoram Moses,
Orli Waarts:
A Characterization of Eventual Byzantine Agreement.
PODC 1990: 333-346 |
| 74 | | Ronald Fagin,
Joseph Y. Halpern,
Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem.
TARK 1990: 41-55 |
| 73 | EE | Ronald Fagin,
Joseph Y. Halpern:
A new approach to updating beliefs.
UAI 1990: 347-374 |
| 72 | | Joseph Y. Halpern:
An Analysis of First-Order Logics of Probability.
Artif. Intell. 46(3): 311-350 (1990) |
| 71 | | Joseph Y. Halpern:
Let many flowers bloom: a response to An inquiry into computer understanding e.
Computational Intelligence 6: 184-188 (1990) |
| 70 | | Ronald Fagin,
Joseph Y. Halpern,
Nimrod Megiddo:
A Logic for Reasoning about Probabilities
Inf. Comput. 87(1/2): 78-128 (1990) |
| 69 | EE | 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) |
| 68 | EE | Joseph Y. Halpern,
Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment
J. ACM 37(3): 549-587 (1990) |
| 1989 |
|---|
| 67 | | Martín Abadi,
Joseph Y. Halpern:
Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)
FOCS 1989: 148-153 |
| 66 | | Ronald Fagin,
Joseph Y. Halpern:
Uncertainty, Belief, and Probability.
IJCAI 1989: 1161-1167 |
| 65 | | Joseph Y. Halpern:
An Analysis of First-Order Logics of Probability.
IJCAI 1989: 1375-1381 |
| 64 | | Joseph Y. Halpern,
Mark R. Tuttle:
Knowledge, Probability, and Adversaries.
PODC 1989: 103-118 |
| 63 | | Joseph Y. Halpern,
Ronald Fagin:
Modelling Knowledge and Action in Distributed Systems.
Distributed Computing 3(4): 159-177 (1989) |
| 62 | | 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) |
| 61 | | 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 |
|---|
| 60 | | Joseph Y. Halpern,
Ronald Fagin:
Modelling Knowledge and Action in Distributed Systems.
Concurrency 1988: 18-32 |
| 59 | | Ronald Fagin,
Joseph Y. Halpern,
Nimrod Megiddo:
A Logic for Reasoning about Probabilities
LICS 1988: 410-421 |
| 58 | | Joseph Y. Halpern,
Yoram Moses,
Mark R. Tuttle:
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)
STOC 1988: 132-147 |
| 57 | | Joseph Y. Halpern,
Moshe Y. Vardi:
Reasoning about Knowledge and Time in Asynchronous Systems
STOC 1988: 53-65 |
| 56 | | Joseph Y. Halpern:
Reasoning About Knowledge: A Tutorial.
TARK 1988: 161 |
| 55 | | Ronald Fagin,
Joseph Y. Halpern:
Reasoning about Knowledge and Probability.
TARK 1988: 277-293 |
| 1987 |
|---|
| 54 | | Joseph Y. Halpern,
Edward L. Wimmers:
Full Abstraction and Expressive Completenes for FP
LICS 1987: 257-271 |
| 53 | | Ronald Fagin,
Joseph Y. Halpern:
I'm OK if You're OK: On the Notion of Trusting Communication
LICS 1987: 280-292 |
| 52 | | 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 |
| 51 | | Joseph Y. Halpern,
Michael O. Rabin:
A Logic to Reason about Likelihood.
Artif. Intell. 32(3): 379-405 (1987) |
| 50 | | Ronald Fagin,
Joseph Y. Halpern:
Belief, Awareness, and Limited Reasoning. .
Artif. Intell. 34(1): 39-76 (1987) |
| 49 | | 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 |
|---|
| 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
