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 |