2007 |
12 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.
IJCAI 2007: 2306-2311 |
11 | EE | Leandro Chaves Rêgo,
Joseph Y. Halpern:
Generalized solution concepts in games with possibly unaware players.
TARK 2007: 253-262 |
10 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Extensive Games with Possibly Unaware Players
CoRR abs/0704.2014: (2007) |
9 | EE | Leandro Chaves Rêgo,
Joseph Y. Halpern:
Generalized Solution Concepts in Games with Possibly Unaware Players
CoRR abs/0707.1904: (2007) |
8 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.
J. Log. Comput. 17(4): 795-806 (2007) |
2006 |
7 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Extensive games with possibly unaware players.
AAMAS 2006: 744-751 |
6 | | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Reasoning about Knowledge of Unawareness.
KR 2006: 6-13 |
5 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
CoRR abs/cs/0603019: (2006) |
4 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Reasoning About Knowledge of Unawareness
CoRR abs/cs/0603020: (2006) |
2005 |
3 | | Leandro Chaves Rêgo,
Terrence L. Fine:
Estimation of Chaotic Probabilities.
ISIPTA 2005: 297-305 |
2 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Interactive unawareness revisited.
TARK 2005: 78-91 |
1 | EE | Joseph Y. Halpern,
Leandro Chaves Rêgo:
Interactive Unawareness Revisited
CoRR abs/cs/0509058: (2005) |