BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Denmark
1 × Germany
1 × Israel
1 × Spain
1 × United Kingdom
2 × Italy
23 × USA
3 × Canada
Collaborated with:
N.Friedman A.R.Meyer M.Y.Vardi D.Koller A.J.Grove E.L.Wimmers E.A.Emerson R.Fagin F.C.Chu N.Megiddo S.M.German E.M.Clarke J.H.Williams D.Dolev H.R.Strong W.Kets L.C.Rêgo V.Teague R.A.Shore B.M.Kapron Y.Shoham M.O.Rabin C.Lagoze A.Bjorndahl R.Pass L.E.Blume D.A.Easley J.Gehrke P.Seshadri Y.Moses M.R.Tuttle A.A.Munshi B.A.Trakhtenbrot Z.Manna B.C.Moszkowski P.Berman J.Tiuryn M.Ben-Ari A.Pnueli T.C.Winkler B.Simons A.K.Chandra R.Parikh
Talks about:
logic (14) knowledg (9) reason (8) about (7) languag (5) system (5) model (5) time (5) abstract (4) axiomat (4)

Person: Joseph Y. Halpern

DBLP DBLP: Halpern:Joseph_Y=

Contributed to:

KR 20142014
LICS 20132013
KR 20122012
KR 20102010
KR 20082008
KR 20062006
PODS 20062006
KR 20042004
STOC 20042004
PODS 20022002
LICS 19991999
PODS 19991999
KR 19961996
KR 19941994
KR 19921992
LICS 19921992
STOC 19921992
KR 19911991
LICS 19881988
STOC 19881988
LICS 19871987
LICS 19861986
STOC 19861986
POPL 19851985
STOC 19851985
POPL 19841984
STOC 19841984
ICALP 19831983
POPL 19831983
STOC 19831983
ICALP 19821982
POPL 19821982
STOC 19821982
ICALP 19811981
POPL 19811981
STOC 19811981
POPL 19801980
DL 19991999
TAPSOFT, Vol.2: ADC 19911991

Wrote 54 papers:

KR-2014-BjorndahlHP #axiom
Axiomatizing Rationality (AB, JYH, RP).
KR-2014-Halpern #modelling
Appropriate Causal Models and Stability of Causation (JYH).
LICS-2013-Halpern #first-order #logic #proving #security #using
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic (JYH), pp. 2–3.
KR-2012-HalpernK #ambiguity #difference
Ambiguous Language and Differences in Beliefs (JYH, WK).
KR-2010-Halpern #modelling
From Causal Models To Counterfactual Structures (JYH).
I Don’t Want to Think About it Now: Decision Theory with Costly Computation (JYH).
KR-2008-Halpern #concept #equilibrium #nash
Beyond Nash Equilibrium: Solution Concepts for the 21st Century (JYH), pp. 6–15.
Defaults and Normality in Causal Structures (JYH), pp. 198–208.
Redoing the Foundations of Decision Theory (LEB, DAE, JYH), pp. 14–24.
KR-2006-HalpernR #reasoning
Reasoning about Knowledge of Unawareness (JYH, LCR), pp. 6–13.
PODS-2006-Halpern #knowledge base #overview #perspective #statistics
From statistical knowledge bases to degrees of belief: an overview (JYH), pp. 110–113.
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems (JYH), pp. 12–22.
KR-2004-Halpern04a #transitive
Intransitivity and Vagueness (JYH), pp. 121–129.
STOC-2004-HalpernT #multi
Rational secret sharing and multiparty computation: extended abstract (JYH, VT), pp. 623–632.
PODS-2002-ChuHG #optimisation #query #question #what
Least Expected Cost Query Optimization: What Can We Expect? (FCC, JYH, JG), pp. 293–302.
LICS-1999-HalpernF #metric #overview #perspective #reasoning
Plausibility Measures and Default Reasoning: An Overview (JYH, NF), pp. 130–135.
LICS-1999-HalpernS #infinity #reasoning
Reasoning about Common Knowledge with Infinitely Many Agents (JYH, RAS), pp. 384–393.
PODS-1999-ChuHS #optimisation #query
Least Expected Cost Query Optimization: An Exercise in Utility (FCC, JYH, PS), pp. 138–147.
Belief Revision: A Critique (NF, JYH), pp. 421–431.
KR-1994-FriedmanH #framework #knowledge-based
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update (NF, JYH), pp. 190–201.
KR-1994-FriedmanH94a #complexity #logic #on the
On the Complexity of Conditional Logics (NF, JYH), pp. 202–213.
KR-1992-KollerH #approximate #logic #reasoning
A Logic for Approximate Reasoning (DK, JYH), pp. 153–164.
LICS-1992-GroveHK #random
Random Worlds and Maximum Entropy (AJG, JYH, DK), pp. 22–33.
LICS-1992-HalpernK #logic
Zero-One Laws for Modal Logic (JYH, BMK), pp. 369–380.
STOC-1992-GroveHK #first-order #logic
Asymptotic Conditional Probabilities for First-Order Logic (AJG, JYH, DK), pp. 294–305.
KR-1991-GroveH #logic #multi
Naming and Identity in a Multi-Agent Epistemic Logic (AJG, JYH), pp. 301–312.
KR-1991-HalpernV #model checking #proving #theorem proving
Model Checking vs. Theorem Proving: A Manifesto (JYH, MYV), pp. 325–334.
LICS-1988-FaginHM #logic #reasoning
A Logic for Reasoning about Probabilities (RF, JYH, NM), pp. 410–421.
STOC-1988-HalpernMT #analysis #knowledge-based
A Knowledge-Based Analysis of Zero Knowledge (JYH, YM, MRT), pp. 132–147.
STOC-1988-HalpernV #reasoning
Reasoning about Knowledge and Time in Asynchronous Systems (JYH, MYV), pp. 53–65.
LICS-1987-FaginH #communication
I’m OK if You’re OK: On the Notion of Trusting Communication (RF, JYH), pp. 280–292.
LICS-1987-HalpernW #abstraction
Full Abstraction and Expressive Completenes for FP (JYH, ELW), pp. 257–271.
LICS-1986-GermanCH #axiom
True Relative Completeness of an Axiom System for the Language L4 (Abridged) (SMG, EMC, JYH), pp. 11–25.
LICS-1986-HalpernS #logic
A Propositional Model Logic of Time Intervals (JYH, YS), pp. 279–292.
Good Rewrite Strategies for FP (JYH, JHW, ELW), pp. 149–162.
STOC-1986-HalpernV #complexity #reasoning
The Complexity of Reasoning about Knowledge and Time: Extended Abstract (JYH, MYV), pp. 304–315.
POPL-1985-HalpernWWW #semantics
Denotational Semantics and Rewrite Rules for FP (JYH, JHW, ELW, TCW), pp. 108–120.
STOC-1985-HalpernMM #nondeterminism #precise
Optimal Precision in the Presence of Uncertainty (JYH, NM, AAM), pp. 346–355.
POPL-1984-Halpern #algol #axiom #hoare
A Good Hoare Axiom System for an Algol-like Language (JYH), pp. 262–271.
POPL-1984-HalpernMT #question #semantics #what
The Semantics of Local Storage, or What Makes the Free-List Free? (JYH, ARM, BAT), pp. 245–257.
STOC-1984-DolevHS #on the
On the Possibility and Impossibility of Achieving Clock Synchronization (DD, JYH, HRS), pp. 504–511.
STOC-1984-DolevHSS #fault tolerance #network
A New Look at Fault Tolerant Network Routing (DD, JYH, BS, HRS), pp. 526–535.
ICALP-1983-HalpernMM #hardware #semantics
A Hardware Semantics Based on Temporal Intervals (JYH, ZM, BCM), pp. 278–291.
POPL-1983-EmersonH #branch #linear
“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.
STOC-1983-HalpernR #logic
A Logic to Reason about Likelihood (JYH, MOR), pp. 310–319.
ICALP-1982-BermanHT #logic #nondeterminism #on the #power of
On the Power of Nondeterminism in Dynamic Logic (PB, JYH, JT), pp. 48–60.
POPL-1982-ClarkeGH #axiom #effectiveness #hoare #logic #on the
On Effective Axiomatizations of Hoare Logics (EMC, SMG, JYH), pp. 309–321.
STOC-1982-EmersonH #branch #logic
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (EAE, JYH), pp. 169–180.
ICALP-1981-Ben-AriHP #finite #logic #modelling
Finite Models for Deterministic Propositional Dynamic Logic (MBA, JYH, AP), pp. 249–263.
POPL-1981-HalpernM #axiom #programming language
Axiomatic Definitions of Programming Languages, II (JYH, ARM), pp. 139–148.
STOC-1981-ChandraHMP #equation #logic #process
Equations between Regular Terms and an Application to Process Logic (AKC, JYH, ARM, RP), pp. 384–390.
POPL-1980-MeyerH #assessment #axiom #programming language
Axiomatic Definitions of Programming Languages: A Theoretical Assessment (ARM, JYH), pp. 203–212.
DL-1999-HalpernL #agile #repository #research
The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research (JYH, CL), pp. 3–11.
ADC-1991-Halpern #distributed #probability
Knowledge and Probability in Distributed Systems (Abstract) (JYH), pp. 50–54.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.