40 citations · 325 across the 40 of their papers we have counts for
Showing 1998Show all
3 papers · 1 filter
cs.DL1998
The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research
Joseph Y. Halpern, Carl Lagoze
We describe the Computing Research Repository (CoRR), a new electronic archive for rapid dissemination and archiving of computer science research results. CoRR was initiated in Sep…
cs.AI1998
Reasoning about Noisy Sensors and Effectors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
Agents interacting with an incompletely known world need to be able to reason about the effects of their actions, and to gain further information about that world they need to use…
cs.LO1998
Common knowledge revisited
R. Fagin, J. Y. Halpern, Y. Moses +1
We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real…