Year |
Citation |
Score |
2018 |
Alechina N, Halpern JY, Kash IA, Logan B. Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems Journal of Artificial Intelligence Research. 62: 433-458. DOI: 10.1613/Jair.1.11214 |
0.698 |
|
2012 |
Kash IA, Friedman EJ, Halpern JY. Optimizing Scrip systems: Crashes, altruists, hoarders, sybils and collusion Distributed Computing. 25: 335-357. DOI: 10.1007/S00446-012-0170-Z |
0.692 |
|
2012 |
Halpern JY, Pucella R. Modeling adversaries in a logic for security protocol analysis Logical Methods in Computer Science. 8. DOI: 10.1007/978-3-540-40981-6_11 |
0.647 |
|
2011 |
Kash IA, Friedman EJ, Halpern JY. Multiagent learning in large anonymous games Journal of Artificial Intelligence Research. 40: 571-598. DOI: 10.1613/jair.3213 |
0.639 |
|
2010 |
Halpern JY, Pucella R. Dealing with logical omniscience: Expressiveness and pragmatics Artificial Intelligence. 175: 220-235. DOI: 10.1016/J.Artint.2010.04.009 |
0.659 |
|
2009 |
Kash IA, Friedman EJ, Halpern JY. Manipulating scrip systems: Sybils and collusion Lecture Notes of the Institute For Computer Sciences, Social-Informatics and Telecommunications Engineering. 14: 13-24. DOI: 10.1007/978-3-642-03821-1_4 |
0.654 |
|
2008 |
Halpern JY, Chu FC. Great expectations. Part I: On the customizability of generalized expected utility Theory and Decision. 64: 1-36. DOI: 10.1007/s11238-007-9044-4 |
0.502 |
|
2007 |
Halpern JY, Pucella R. Dealing with logical omniscience Proceedings of the 11th Conference On Theoretical Aspects of Rationality and Knowledge, Tark 2007. 169-176. DOI: 10.1145/1324249.1324273 |
0.663 |
|
2007 |
Kash IA, Friedman EJ, Halpern JY. Optimizing scrip systems: Efficiency, crashes, hoarders, and altruists Ec'07 - Proceedings of the Eighth Annual Conference On Electronic Commerce. 305-315. DOI: 10.1145/1250910.1250955 |
0.653 |
|
2007 |
Halpern JY, Pucella R. Characterizing and reasoning about probabilistic and non-probabilistic expectation Journal of the Acm. 54. DOI: 10.1145/1236457.1236462 |
0.672 |
|
2007 |
Bacchus F, Grove A, Halpern JY, Koller D. A RESPONSE TO “BELIEVING ON THE BASIS OF THE EVIDENCE” Computational Intelligence. 10: 21-25. DOI: 10.1111/j.1467-8640.1994.tb00141.x |
0.395 |
|
2006 |
Halpern JY, Pucella R. A logic for reasoning about evidence Journal of Artificial Intelligence Research. 26: 1-34. DOI: 10.1613/Jair.1838 |
0.672 |
|
2006 |
Halpern JY, Petride S. A knowledge-based analysis of global function computation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4167: 136-150. DOI: 10.1007/S00446-010-0111-7 |
0.718 |
|
2005 |
Halpern JY, Pucella R. Probabilistic Algorithmic Knowledge Logical Methods in Computer Science. 1. DOI: 10.2168/Lmcs-1(3:1)2005 |
0.642 |
|
2005 |
Halpern JY, Pucella R. Evidence with uncertain likelihoods Proceedings of the 21st Conference On Uncertainty in Artificial Intelligence, Uai 2005. 243-250. DOI: 10.1007/s11229-008-9381-z |
0.656 |
|
2004 |
Halpern JY, Koller D. Representation Dependence in Probabilistic Inference Journal of Artificial Intelligence Research. 21: 319-356. DOI: 10.1613/Jair.1292 |
0.529 |
|
2003 |
Chu FC, Halpern JY. Great expectations. Part II: Generalized expected utility as a universal decision rule Ijcai International Joint Conference On Artificial Intelligence. 297-302. DOI: 10.1016/J.Artint.2004.05.007 |
0.52 |
|
2002 |
Halpern JY, Pucella R. A logic for reasoning about upper probabilities Journal of Artificial Intelligence Research. 17: 57-81. DOI: 10.1613/Jair.985 |
0.66 |
|
2001 |
Halpern JY, Pucella R. On the relationship between strand spaces and multi-agent systems Proceedings of the Acm Conference On Computer and Communications Security. 106-115. DOI: 10.1145/605434.605436 |
0.637 |
|
2001 |
Chu F, Halpern J. On the NP-completeness of finding an optimal strategy in games with common payoffs International Journal of Game Theory. 30: 99-106. DOI: 10.1007/S001820100066 |
0.566 |
|
2001 |
Chu FC, Halpern JY. A decision-theoretic approach to reliable message delivery Distributed Computing. 14: 1-16. DOI: 10.1007/Pl00008922 |
0.552 |
|
2000 |
Friedman N, Halpern JY, Koller D. First-order conditional logic for default reasoning revisited Acm Transactions On Computational Logic. 1: 175-207. DOI: 10.1145/359496.359500 |
0.651 |
|
1999 |
Friedman N, Halpern JY. Modeling belief in dynamic systems part II: revision and update Journal of Artificial Intelligence Research. 10: 117-167. DOI: 10.1613/Jair.506 |
0.515 |
|
1999 |
Friedman N, Halpern JY. Belief Revision: A Critique Journal of Logic, Language and Information. 8: 401-420. DOI: 10.1023/A:1008314832430 |
0.531 |
|
1997 |
Friedman N, Halpern JY. Modeling belief in dynamic systems, part I: foundations Artificial Intelligence. 95: 257-316. DOI: 10.1016/S0004-3702(97)00040-4 |
0.565 |
|
1996 |
Grove AJ, Halpern JY, Koller D. Asymptotic conditional probabilities: The non-unary case Journal of Symbolic Logic. 61: 250-276. DOI: 10.2307/2275609 |
0.541 |
|
1996 |
Grove AJ, Halpern JY, Koller D. Asymptotic conditional probabilities: The unary case Siam Journal On Computing. 25: 1-51. DOI: 10.1137/S0097539793257034 |
0.535 |
|
1996 |
Bacchus F, Grove AJ, Halpern JY, Koller D. From statistical knowledge bases to degrees of belief Artificial Intelligence. 87: 75-143. DOI: 10.1016/S0004-3702(96)00003-3 |
0.56 |
|
1992 |
Grove AJ, Halpern JY, Koller D. Random worlds and maximum entropy Proceedings - Symposium On Logic in Computer Science. 22-33. DOI: 10.1613/Jair.61 |
0.515 |
|
1992 |
Grove AJ, Halpern JY, Koller D. Asymptotic conditional probabilities for first-order logic Conference Proceedings of the Annual Acm Symposium On Theory of Computing. 294-305. |
0.54 |
|
1992 |
Bacchus F, Grove A, Halpern JY, Koller D. From statistics to beliefs Proceedings Tenth National Conference On Artificial Intelligence. 602-608. |
0.531 |
|
1986 |
Halpern JY, Loui MC, Meyer AR, Weise D. On time versus space III Mathematical Systems Theory. 19: 13-28. DOI: 10.1007/Bf01704903 |
0.533 |
|
1985 |
Parikh R, Chandra AK, Halpern JY, Meyer AR. Equations between Regular Terms and an Application to Process Logic Siam Journal On Computing. 14: 935-942. DOI: 10.1137/0214066 |
0.543 |
|
1982 |
Meyer AR, Halpern JY. Axiomatic Definitions of Programming Languages: A Theoretical Assessment Journal of the Acm. 29: 555-576. DOI: 10.1145/322307.322324 |
0.539 |
|
Show low-probability matches. |