Követés
Joseph Halpern
Joseph Halpern
Professor of Computer Science, Cornell University
E-mail megerősítve itt: cs.cornell.edu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Reasoning about knowledge MIT Press
R Fagin, JY Halpern, Y Moses, MY Vardi
Cambridge, MA, London, England, 1995
6079*1995
Gossip-based ad hoc routing
ZJ Haas, JY Halpern, L Li
IEEE/ACM Transactions on networking 14 (3), 479-491, 2006
1856*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
17441986
Knowledge and common knowledge in a distributed environment
JY Halpern, Y Moses
Journal of the ACM (JACM) 37 (3), 549-587, 1990
16991990
Reasoning about uncertainty
JY Halpern
MIT press, 2017
16872017
A guide to completeness and complexity for modal logics of knowledge and belief
JY Halpern, Y Moses
Artificial intelligence 54 (3), 319-379, 1992
1668*1992
Belief, awareness, and limited reasoning
R Fagin, JY Halpern
Artificial intelligence 34 (1), 39-76, 1987
12861987
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
10832005
An analysis of first-order logics of probability
JY Halpern
Artificial intelligence 46 (3), 311-350, 1990
9291990
A logic for reasoning about probabilities
R Fagin, JY Halpern, N Megiddo
Information and computation 87 (1-2), 78-128, 1990
8871990
Decision procedures and expressiveness in the temporal logic of branching time
EA Emerson, JY Halpern
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
7841982
Minimum-energy mobile wireless networks revisited
L Li, JY Halpern
ICC 2001. IEEE International Conference on Communications. Conference Record …, 2001
6872001
Reasoning about knowledge and probability
R Fagin, JY Halpern
Journal of the ACM (JACM) 41 (2), 340-367, 1994
6621994
A propositional modal logic of time intervals
JY Halpern, Y Shoham
Journal of the ACM (JACM) 38 (4), 935-962, 1991
6521991
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
5742001
Rational secret sharing and multiparty computation
J Halpern, V Teague
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
4752004
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
4592006
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
4522005
Responsibility and blame: A structural-model approach
H Chockler, JY Halpern
Journal of Artificial Intelligence Research 22, 93-115, 2004
4302004
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, 2006
4112006
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20