| 
| |  | |  |
Least Expected Cost Query Optimization: An Exercise in Utility
Note: Links lead to the DBLP on the Web.
Joseph Y. Halpern
131
Joseph Y. Halpern,
Carl Lagoze
: The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research.
ACM DL 1999
: 3-11
130
Joseph Y. Halpern,
Nir Friedman
: Plausibility Measures and Default Reasoning: An Overview.
LICS 1999
: 130-135
129
Joseph Y. Halpern,
Richard A. Shore
: Reasoning about Common Knowledge with Infinitely Many Agents.
LICS 1999
: 384-393
128
Joseph Y. Halpern,
Aleta Ricciardi
: A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors.
PODC 1999
: 73-82
127
Francis Chu
, Joseph Y. Halpern,
Praveen Seshadri
: Least Expected Cost Query Optimization: An Exercise in Utility.
PODS 1999
: 138-147
126
Fahiem Bacchus
, Joseph Y. Halpern,
Hector J. Levesque
: Reasoning about Noisy Sensors and Effectors in the Situation Calculus.
Artificial Intelligence 111
(1-2): 171-208 (1999)
125
Nir Friedman
, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update.
JAIR 10
: 117-167 (1999)
124
Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine.
JAIR 10
: 67-85 (1999)
123
Joseph Y. Halpern: Cox's Theorem Revisited (technical addendum).
JAIR 11
: 429-435 (1999)
122
Craig Boutilier
,
Nir Friedman
, Joseph Y. Halpern: Belief Revision with Unreliable Observations.
AAAI/IAAI 1998
: 127-134
121
Francis Chu
, Joseph Y. Halpern: A Decision-Theoretic Approach to Reliable Message Delivery.
DISC 1998
: 89-103
120
Ronen I. Brafman
, Joseph Y. Halpern,
Yoav Shoham
: On the Knowledge Requirements of Tasks.
Artificial Intelligence 98
(1-2): 317-349 (1998)
119
Joseph Y. Halpern: Time to Publication: A Progress Report.
JACM 45
(3): 379-380 (1998)
118
Cynthia Dwork
, Joseph Y. Halpern,
Orli Waarts
: Performing Work Efficiently in the Presence of Faults.
SIAM J. Comput. 27
(5): 1457-1491 (1998)
117
Nir Friedman
, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations.
Artificial Intelligence 95
(2): 257-316 (1997)
116
Ronald Fagin
, Joseph Y. Halpern,
Yoram Moses
,
Moshe Y. Vardi
: Knowledge-Based Programs.
Distributed Computing 10
(4): 199-225 (1997)
115
Joseph Y. Halpern: On Becoming Editor-in-Chief of JACM.
JACM 44
(3): 363-365 (1997)
114
Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Structures.
JAIR 7
: 1-24 (1997)
113
Joseph Y. Halpern: A Theory of Knowledge and Ignorance for Many Agents.
Journal of Logic and Computation 7
(1): 79-108 (1997)
112
Daphne Koller
, Joseph Y. Halpern: Irrelevance and Conditioning in First-Order Probabilistic Logic.
AAAI/IAAI, Vol. 1 1996
: 569-576
111
Nir Friedman
, Joseph Y. Halpern: Plausibility Measures and Default Reasoning.
AAAI/IAAI, Vol. 2 1996
: 1297-1304
110
Nir Friedman
, Joseph Y. Halpern,
Daphne Koller
: First-Order Conditional Logic Revisited.
AAAI/IAAI, Vol. 2 1996
: 1305-1312
109
Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine.
AAAI/IAAI, Vol. 2 1996
: 1313-1319
108
Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty.
AAAI/IAAI, Vol. 2 1996
: 1329-1330
107
Nir Friedman
, Joseph Y. Halpern: Belief Revision: A Critique.
KR 1996
: 421-431
106
Fahiem Bacchus
,
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: From Statistical Knowledge Bases to Degrees of Belief.
Artificial Intelligence 87
(1-2): 75-143 (1996)
105
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: Asymptotic Conditional Probabilities: The Unary Case.
SIAM J. Comput. 25
(1): 1-51 (1996)
104
Joseph Y. Halpern,
Daphne Koller
: Representation Dependence in Probabilistic Inference.
IJCAI 1995
: 1853-1861
103
Fahiem Bacchus
, Joseph Y. Halpern,
Hector J. Levesque
: Reasoning about Noisy Sensors in the Situation Calculus.
IJCAI 1995
: 1933-1940
102
Ronald Fagin
, Joseph Y. Halpern,
Yoram Moses
,
Moshe Y. Vardi
: Knowledge-Based Programs.
PODC 1995
: 153-163
101
Joseph Y. Halpern,
Gerhard Lakemeyer
: Levesque's Axiomatization of only Knowing is Incomplete.
Artificial Intelligence 74
(2): 381-387 (1995)
100
Joseph Y. Halpern: The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.
Artificial Intelligence 75
(2): 361-372 (1995)
99
Ronald Fagin
, Joseph Y. Halpern,
Moshe Y. Vardi
: A Nonstandard Approach to the Logical Omniscience Problem.
Artificial Intelligence 79
(2): 203-240 (1995)
98
Joseph Y. Halpern,
Edward L. Wimmers
: Full Abstraction and Expressive Completeness for FP.
Information and Computation 118
(2): 246-271 (1995)
97
Danny Dolev
, Joseph Y. Halpern,
Barbara Simons
,
H. Raymond Strong
: Dynamic Fault-Tolerant Clock Synchronization.
JACM 42
(1): 143-185 (1995)
96
Fahiem Bacchus
,
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: Forming Beliefs about a Changing World.
AAAI, Vol. 1 1994
: 222-229
95
Ronald Fagin
, Joseph Y. Halpern,
Yoram Moses
,
Moshe Y. Vardi
: An Operational Semantics for Knowledge Bases.
AAAI, Vol. 2 1994
: 1142-1147
94
Nir Friedman
, Joseph Y. Halpern: Conditional Logics of Belief Change.
AAAI, Vol. 2 1994
: 915-921
93
Nir Friedman
, Joseph Y. Halpern: A Knowledge-Based Framework for Belief Change, Part II: Revision and Update.
KR 1994
: 190-201
92
Nir Friedman
, Joseph Y. Halpern: On the Complexity of Conditional Logics.
KR 1994
: 202-213
91
Joseph Y. Halpern,
Bruce Kapron
: Zero-One Laws for Modal Logic.
Annals of Pure and Applied Logic 69
(2-3): 157-193 (1994)
90
Martín Abadi
, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability.
Information and Computation 112
(1): 1-36 (1994)
89
Ronald Fagin
, Joseph Y. Halpern: Reasoning About Knowledge and Probability.
JACM 41
(2): 340-367 (1994)
88
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: Random Worlds and Maximum Entropy.
JAIR 2
: 33-88 (1994)
87
Joseph Y. Halpern: Reasoning about only Knowing with Many Agents.
AAAI 1993
: 655-661
86
Fahiem Bacchus
,
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: Generating Degrees of Belief from Statistical Information: An Overview.
FSTTCS 1993
: 318-325
85
Fahiem Bacchus
,
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: Statistical Foundations for Default Reasoning.
IJCAI 1993
: 563-569
84
Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.
Kurt Gödel Colloquium 1993
: 43-60
83
Joseph Y. Halpern,
Mark R. Tuttle
: Knowledge, Probability, and Adversaries.
JACM 40
(4): 917-962 (1993)
82
Adam J. Grove
, Joseph Y. Halpern: Naming and Identity in Epistemic Logics Part I: The Propositional Case.
Journal of Logic and Computation 3
(4): 345-378 (1993)
81
Vassos Hadzilacos
, Joseph Y. Halpern: The Failure Discovery Problem.
Mathematical Systems Theory 26
(1): 103-129 (1993)
80
Vassos Hadzilacos
, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement.
Mathematical Systems Theory 26
(1): 41-102 (1993)
79
Fahiem Bacchus
,
Adam J. Grove
,
Daphne Koller
, Joseph Y. Halpern: From Statistics to Beliefs.
AAAI 1992
: 602-608
78
Daphne Koller
, Joseph Y. Halpern: A Logic for Approximate Reasoning.
KR 1992
: 153-164
77
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: Random Worlds and Maximum Entropy.
LICS 1992
: 22-33
76
Joseph Y. Halpern,
Bruce M. Kapron
: Zero-One Laws for Modal Logic.
LICS 1992
: 369-380
75
Cynthia Dwork
, Joseph Y. Halpern,
Orli Waarts
: Performing Work Efficiently in the Presence of Faults.
PODC 1992
: 91-102
74
Adam J. Grove
, Joseph Y. Halpern,
Daphne Koller
: Asymptotic Conditional Probabilities for First-Order Logic.
STOC 1992
: 294-305
73
Joseph Y. Halpern,
Ronald Fagin
: Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.
Artificial Intelligence 54
(2): 275-317 (1992)
72
Joseph Y. Halpern,
Yoram Moses
: A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.
Artificial Intelligence 54
(2): 319-379 (1992)
71
Ronald Fagin
, Joseph Y. Halpern,
Moshe Y. Vardi
: What Can Machines Know? On the Properties of Knowledge in Distributed Systems.
JACM 39
(2): 328-376 (1992)
70
Joseph Y. Halpern,
Lenore D. Zuck
: A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.
JACM 39
(3): 449-478 (1992)
69
Adam J. Grove
, Joseph Y. Halpern: Naming and Identity in a Multi-Agent Epistemic Logic.
KR 1991
: 301-312
68
Joseph Y. Halpern,
Moshe Y. Vardi
: Model Checking vs. Theorem Proving: A Manifesto.
KR 1991
: 325-334
67
Vassos Hadzilacos
, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement (Extended Abstract).
PODC 1991
: 309-323
66
Joseph Y. Halpern: Knowledge and Probability in Distributed Systems (Abstract).
TAPSOFT, Vol.2 1991
: 50-54
65
Joseph Y. Halpern,
Ichiro Suzuki
: Clock Synchronization and the Power of Broadcasting.
Distributed Computing 5
: 73-82 (1991)
64
Ronald Fagin
, Joseph Y. Halpern,
Moshe Y. Vardi
: A Model-Theoretic Analysis of Knowledge.
JACM 38
(2): 382-428 (1991)
63
Joseph Y. Halpern,
Yoav Shoham
: A Propositional Modal Logic of Time Intervals.
JACM 38
(4): 935-962 (1991)
62
Joseph Y. Halpern,
Ronald Fagin
: Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.
AAAI 1990
: 112-119
61
Joseph Y. Halpern,
Yoram Moses
,
Orli Waarts
: A Characterization of Eventual Byzantine Agreement.
PODC 1990
: 333-346
60
Joseph Y. Halpern: An Analysis of First-Order Logics of Probability.
Artificial Intelligence 46
(3): 311-350 (1990)
59
Ronald Fagin
, Joseph Y. Halpern,
Nimrod Megiddo
: A Logic for Reasoning about Probabilities.
Information and Computation 87
(1/2): 78-128 (1990)
58
Joseph Y. Halpern,
John H. Williams
,
Edward L. Wimmers
: Completeness of Rewrite Rules and Rewrite Strategies for FP.
JACM 37
(1): 86-143 (1990)
57
Joseph Y. Halpern,
Yoram Moses
: Knowledge and Common Knowledge in a Distributed Environment.
JACM 37
(3): 549-587 (1990)
56
Martín Abadi
, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract).
FOCS 1989
: 148-153
55
Joseph Y. Halpern,
Mark R. Tuttle
: Knowledge, Probability, and Adversaries.
PODC 1989
: 103-118
54
Joseph Y. Halpern,
Ronald Fagin
: Modelling Knowledge and Action in Distributed Systems.
Distributed Computing 3
(4): 159-177 (1989)
53
Steven M. German
,
Edmund M. Clarke
, Joseph Y. Halpern: Reasoning about Procedures as Parameters in the Language L4.
Information and Computation 83
(3): 265-359 (1989)
52
Joseph Y. Halpern,
Moshe Y. Vardi
: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds.
JCSS 38
(1): 195-237 (1989)
51
Ronald Fagin
, Joseph Y. Halpern,
Nimrod Megiddo
: A Logic for Reasoning about Probabilities.
LICS 1988
: 410-421
50
Joseph Y. Halpern,
Yoram Moses
,
Mark R. Tuttle
: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report).
STOC 1988
: 132-147
49
Joseph Y. Halpern,
Moshe Y. Vardi
: Reasoning about Knowledge and Time in Asynchronous Systems.
STOC 1988
: 53-65
48
Joseph Y. Halpern,
Edward L. Wimmers
: Full Abstraction and Expressive Completenes for FP.
LICS 1987
: 257-271
47
Ronald Fagin
, Joseph Y. Halpern: I'm OK if You're OK: On the Notion of Trusting Communication.
LICS 1987
: 280-292
46
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
45
Joseph Y. Halpern,
Michael O. Rabin
: A Logic to Reason about Likelihood.
Artificial Intelligence 32
(3): 379-405 (1987)
44
Ronald Fagin
, Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning. .
Artificial Intelligence 34
(1): 39-76 (1987)
43
Danny Dolev
, Joseph Y. Halpern,
Barbara Simons
,
H. Raymond Strong
: A New Look at Fault-Tolerant Network Routing.
Information and Computation 72
(3): 180-196 (1987)
42
Ronald Fagi
, Joseph Y. Halpern,
Moshe Y. Vardi
: What Can Machines Know? On the Epistemic Properties of Machines.
AAAI, Vol. 1 1986
: 428-435
41
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
40
Joseph Y. Halpern,
John H. Williams
,
Edward L. Wimmers
: Good Rewrite Strategies for FP.
LICS 1986
: 149-162
39
Joseph Y. Halpern,
Yoav Shoham
: A Propositional Model Logic of Time Intervals.
LICS 1986
: 279-292
38
Joseph Y. Halpern,
Moshe Y. Vardi
: The Complexity of Reasoning about Knowledge and Time: Extended Abstract.
STOC 1986
: 304-315
37
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)
36
E. Allen Emerson
, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic.
JACM 33
(1): 151-178 (1986)
35
Danny Dolev
, Joseph Y. Halpern,
H. Raymond Strong
: On the Possibility and Impossibility of Achieving Clock Synchronization.
JCSS 32
(2): 230-250 (1986)
34
Joseph Y. Halpern,
Michael C. Loui
,
Albert R. Meyer
,
Daniel Weise
: On Time versus Space III.
Mathematical Systems Theory 19
(1): 13-28 (1986)
33
Joseph Y. Halpern,
Yoram Moses
: A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft.
IJCAI 1985
: 480-490
32
Ronald Fagin
, Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning: Preliminary Report.
IJCAI 1985
: 491-501
31
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
30
Joseph Y. Halpern,
Ronald Fagin
: A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report.
PODC 1985
: 224-236
29
Joseph Y. Halpern,
John H. Williams
,
Edward L. Wimmers
,
Timothy C. Winkler
: Denotational Semantics and Rewrite Rules for FP.
POPL 1985
: 108-120
28
Joseph Y. Halpern,
Nimrod Megiddo
,
Ashfaq A. Munshi
: Optimal Precision in the Presence of Uncertainty (Preliminary Version).
STOC 1985
: 346-355
27
E. Allen Emerson
, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.
JCSS 30
(1): 1-24 (1985)
26
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)
25
Joseph Y. Halpern,
David A. McAllester
: Likelihood, Probability, and Knowledge.
AAAI 1984
: 137-141
24
Ronald Fagin
, Joseph Y. Halpern,
Moshe Y. Vardi
: A Model-Theoretic Analysis of Knowledge: Preliminary Report.
FOCS 1984
: 268-278
23
Joseph Y. Halpern,
Yoram Moses
: Knowledge and Common Knowledge in a Distributed Environment.
PODC 1984
: 50-61
22
Joseph Y. Halpern,
Barbara Simons
,
H. Raymond Strong
,
Danny Dolev
: Fault-Tolerant Clock Synchronization.
PODC 1984
: 89-102
21
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
20
Joseph Y. Halpern: A Good Hoare Axiom System for an Algol-like Language.
POPL 1984
: 262-271
19
Danny Dolev
, Joseph Y. Halpern,
H. Raymond Strong
: On the Possibility and Impossibility of Achieving Clock Synchronization.
STOC 1984
: 504-511
18
Danny Dolev
, Joseph Y. Halpern,
Barbara Simons
,
H. Raymond Strong
: A New Look at Fault Tolerant Network Routing.
STOC 1984
: 526-535
17
Joseph Y. Halpern,
Zohar Manna
,
Ben Moszkowski
: A Hardware Semantics Based on Temporal Intervals.
ICALP 1983
: 278-291
16
E. Allen Emerson
, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time.
POPL 1983
: 127-140
15
Joseph Y. Halpern,
Michael O. Rabin
: A Logic to Reason about Likelihood.
STOC 1983
: 310-319
14
Joseph Y. Halpern: Deterministic Process Logic is Elementary.
Information and Control 57
(1): 56-89 (1983)
13
Edmund M. Clarke
,
Steven M. German
, Joseph Y. Halpern: Effective Axiomatizations of Hoare Logics.
JACM 30
(3): 612-636 (1983)
12
Joseph Y. Halpern,
John H. Reif
: The Propositional Dynamic Logic of Deterministic, Well-Structured Programs.
TCS 27
: 127-165 (1983)
11
Joseph Y. Halpern: Deterministic Process Logic Is Elementary.
FOCS 1982
: 204-216
10
Piotr Berman
, Joseph Y. Halpern,
Jerzy Tiuryn
: On the Power of Nondeterminism in Dynamic Logic.
ICALP 1982
: 48-60
9
Edmund M. Clarke
,
Steven M. German
, Joseph Y. Halpern: On Effective Axiomatizations of Hoare Logics.
POPL 1982
: 309-321
8
E. Allen Emerson
, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.
STOC 1982
: 169-180
7
Albert R. Meyer
, Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment.
JACM 29
(2): 555-576 (1982)
6
Mordechai Ben-Ari
, Joseph Y. Halpern,
Amir Pnueli
: Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.
JCSS 25
(3): 402-417 (1982)
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
1
Albert R. Meyer
, Joseph Y. Halpern: Axiomatic Definitions of Programming Languages: A Theoretical Assessment.
POPL 1980
: 203-212
Copyright(C) 2000 ACM | | | | | | |
