37 citations · 152 across the 17 of their papers we have counts for
11 papers · 1 filter
Representation Dependence in Probabilistic Inference
Joseph Y. Halpern, Daphne Koller
Non-deductive reasoning systems are often {\em representation dependent}: representing the same situation in two different ways may cause such a system to return two different answ…
Responsibility and blame: a structural-model approach
Hana Chockler, Joseph Y. Halpern
Causality is typically treated an all-or-nothing concept; either A is a cause of B or it is not. We extend the definition of causality introduced by Halpern and Pearl [2001] to tak…
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…
Using Counterfactuals in Knowledge-Based Programming
Joseph Y. Halpern, Yoram Moses
This paper adds counterfactuals to the framework of knowledge-based programs of Fagin, Halpern, Moses, and Vardi. The use of counterfactuals is illustrated by designing a protocol…
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
Francis C. Chu, Joseph Y. Halpern
Many different rules for decision making have been introduced in the literature. We show that a notion of generalized expected utility proposed in Part I of this paper is a univers…
Modeling Belief in Dynamic Systems, Part II: Revisions and Update
Nir Friedman, Joseph Y. Halpern
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in…