-
2
-
-
0010276940
-
A logic for suspicious players
-
A. Baltag. A logic for suspicious players. Bulletin of Economic Research, 54(1):1-46, 2002.
-
(2002)
Bulletin of Economic Research
, vol.54
, Issue.1
, pp. 1-46
-
-
Baltag, A.1
-
3
-
-
0031074857
-
Fast planning through graph analysis
-
A. L. Blum and M. L. Furst. Fast planning through graph analysis. Artificial Intelligence, 90:281-300, 1997.
-
(1997)
Artificial Intelligence
, vol.90
, pp. 281-300
-
-
Blum, A.L.1
Furst, M.L.2
-
4
-
-
22944485927
-
Modal logic and game theory: Two alternative approaches
-
G. Bonanno. Modal logic and game theory: Two alternative approaches. Risk Decision and Policy, 7:309-324, 2002.
-
(2002)
Risk Decision and Policy
, vol.7
, pp. 309-324
-
-
Bonanno, G.1
-
5
-
-
33744823027
-
A characterization of von Neumann games in terms of memory
-
G. Bonanno. A characterization of von Neumann games in terms of memory. Synthese, 139(2):237-256, 2004.
-
(2004)
Synthese
, vol.139
, Issue.2
, pp. 237-256
-
-
Bonanno, G.1
-
8
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen, editor. Elsevier Science Publishers
-
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 995-1072
-
-
Emerson, E.A.1
-
9
-
-
84943225005
-
Planning as model checking
-
F. Giunchiglia and P. Traverso. Planning as model checking. In ECP, pages 1-20, 1999.
-
(1999)
ECP
, pp. 1-20
-
-
Giunchiglia, F.1
Traverso, P.2
-
11
-
-
1642444918
-
A modal characterization of Nash equilibrium
-
B.P. Harrenstein, W. van der Hoek, J.-J. Meyer, and C. Witteveen. A modal characterization of Nash equilibrium. Fundamenta Informaticae, 51(2-4):281-321, 2003.
-
(2003)
Fundamenta Informaticae
, vol.51
, Issue.2-4
, pp. 281-321
-
-
Harrenstein, B.P.1
Van Der Hoek, W.2
Meyer, J.-J.3
Witteveen, C.4
-
13
-
-
0026925206
-
The uses of plans
-
M. Pollack. The uses of plans. Artificial Intelligence, 57(1):43-68, 1992.
-
(1992)
Artificial Intelligence
, vol.57
, Issue.1
, pp. 43-68
-
-
Pollack, M.1
-
14
-
-
0002572155
-
Modeling rational agents within a BDI-architecture
-
A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of KR-91, pages 473-484, 1991.
-
(1991)
Proceedings of KR-91
, pp. 473-484
-
-
Rao, A.S.1
Georgeff, M.P.2
-
15
-
-
84945190264
-
Knowledge, belief and counterfactual reasoning in games
-
R. Stalnaker. Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12:133-163, 1996.
-
(1996)
Economics and Philosophy
, vol.12
, pp. 133-163
-
-
Stalnaker, R.1
-
16
-
-
0042886491
-
Games in dynamic epistemic logic
-
Proceedings of LOFT-4
-
J. van Benthem. Games in dynamic epistemic logic. Bulletin of Economic Research, 53(4):219-248, 2001. Proceedings of LOFT-4.
-
(2001)
Bulletin of Economic Research
, vol.53
, Issue.4
, pp. 219-248
-
-
Van Benthem, J.1
-
18
-
-
23844501997
-
Social laws in alternating time: Effectiveness, feasibility and synthesis
-
W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese, 2005.
-
(2005)
Synthese
-
-
Van Der Hoek, W.1
Roberts, M.2
Wooldridge, M.3
|