BibSLEIGH — Joseph_Y

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: Halpern:Joseph_Y=

Contributed to:

2014

2013

2012

2010

2008

2006

2004

2002

1999

1996

1994

1992

1991

1988

1987

1986

1985

1984

1983

1982

1981

1980

1999

1991

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).
KR-2010-Halpern10a: 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.
KR-2008-Halpern08a: Defaults and Normality in Causal Structures (JYH), pp. 198–208.
KR-2006-BlumeEH: 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.
KR-2004-Halpern: 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.
KR-1996-FriedmanH: 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.
LICS-1986-HalpernWW: 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.