40 citations · 325 across the 40 of their papers we have counts for
5 papers · 1 filter
Cox's Theorem Revisited
Joseph Y. Halpern
The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are r…
Least expected cost query optimization: an exercise in utility
Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri
We identify two unreasonable, though standard, assumptions made by database query optimizers that can adversely affect the quality of the chosen evaluation plans. One assumption is…
A decision-theoretic approach to reliable message delivery
Francis C. Chu, Joseph Y. Halpern
We argue that the tools of decision theory need to be taken more seriously in the specification and analysis of systems. We illustrate this by considering a simple problem involvin…
Reasoning About Common Knowledge with Infinitely Many Agents
Joseph Y. Halpern, Richard A. Shore
Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results…
Modeling Belief in Dynamic Systems, Part II: Revision and Update
N Friedman, J. 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…