Volgen
Joseph Halpern
Joseph Halpern
Professor of Computer Science, Cornell University
Geverifieerd e-mailadres voor cs.cornell.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Reasoning about knowledge MIT Press
R Fagin, JY Halpern, Y Moses, MY Vardi
Cambridge, MA, London, England, 1995
5742*1995
Gossip-based ad hoc routing
ZJ Haas, JY Halpern, L Li
IEEE/ACM Transactions on networking 14 (3), 479-491, 2006
1834*2006
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
EA Emerson, JY Halpern
Journal of the ACM (JACM) 33 (1), 151-178, 1986
16611986
Knowledge and common knowledge in a distributed environment
JY Halpern, Y Moses
Journal of the ACM (JACM) 37 (3), 549-587, 1990
16201990
A guide to completeness and complexity for modal logics of knowledge and belief
JY Halpern, Y Moses
Artificial intelligence 54 (3), 319-379, 1992
1594*1992
Reasoning about uncertainty
JY Halpern
MIT press, 2017
15772017
Belief, awareness, and limited reasoning
R Fagin, JY Halpern
Artificial intelligence 34 (1), 39-76, 1987
12261987
Causes and explanations: A structural-model approach. Part I: Causes
JY Halpern, J Pearl
The British journal for the philosophy of science 56 (4), 843-887, 2005
946*2005
An analysis of first-order logics of probability
JY Halpern
Artificial intelligence 46 (3), 311-350, 1990
9011990
A logic for reasoning about probabilities
R Fagin, JY Halpern, N Megiddo
Information and computation 87 (1-2), 78-128, 1990
8271990
Decision procedures and expressiveness in the temporal logic of branching time
EA Emerson, JY Halpern
Journal of computer and system sciences 30 (1), 1-24, 1985
7601985
Minimum-energy mobile wireless networks revisited
L Li, JY Halpern
ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001
6722001
Reasoning about knowledge and probability
R Fagin, JY Halpern
Journal of the ACM (JACM) 41 (2), 340-367, 1994
627*1994
A propositional modal logic of time intervals
JY Halpern, Y Shoham
Journal of the ACM (JACM) 38 (4), 935-962, 1991
6201991
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks
L Li, JY Halpern, P Bahl, YM Wang, R Wattenhofer
Proceedings of the twentieth annual ACM symposium on Principles of …, 2001
5662001
Rational secret sharing and multiparty computation
J Halpern, V Teague
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
4542004
A cone-based distributed topology-control algorithm for wireless multi-hop networks
L Li, JY Halpern, P Bahl, YM Wang, R Wattenhofer
IEEE/ACM Transactions on networking 13 (1), 147-159, 2005
4422005
Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation
I Abraham, D Dolev, R Gonen, J Halpern
Proceedings of the twenty-fifth annual ACM symposium on Principles of …, 2006
4332006
Worst-case background knowledge for privacy-preserving data publishing
DJ Martin, D Kifer, A Machanavajjhala, J Gehrke, JY Halpern
2007 IEEE 23rd International Conference on Data Engineering, 126-135, 2007
3992007
Reasoning about knowledge: An overview
JY Halpern
Theoretical aspects of reasoning about knowledge, 1-17, 1986
3911986
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20