A logical theory of coordination and joint ability

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 421-426

  Ghaderi, Hojjat ^a   Levesque, Hector ^a   Lespérance, Yves ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

GAME THEORY; KNOWLEDGE ENGINEERING; LOGIC PROGRAMMING; STRATEGIC PLANNING;

FORMALIZATIONS; SINGLE-AGENT CASES;

INTELLIGENT AGENTS;

EID: 36348999774     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Brandenburger, A., and Keisler, H. J. 2001. Epistemic conditions for iterated admissibility. In TARK '01, 31-37. San Francisco: Morgan Kaufmann.
2. Chellas, B. 1980. Modal logic: an introduction. United Kingdom: Cambridge University Press.
3. Harsanyi, J. C. 1967. Games with incomplete information played by Bayesian players. Management Science 14:59-182.
4. Jamroga, W., and van der Hoek, W. 2004. Agents that know how to play. Fundamenta Informaticae 63(2-3):185-219.
5. Levesque, H.; Pirri, F.; and Reiter, R. 1998. Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence 2(3-4):159-178.
6. McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. 463-502.
7. Moore, R. 1985. A formal theory of knowledge and action. In Hobbs, J., and Moore, R., eds., Formal Theories of the Commonsense World, 319-358.
8. Osborne, M. J., and Rubinstein, A. 1999. A Course in Game Theory. MIT Press.
9. Pauly, M. 2002. A modal logic for coalitional power in games. J. of Logic and Computation 12(1):149-166.
10. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying & Implementing Dynamical Systems. The MIT Press.
11. Scherl, R., and Levesque, H. 2003. Knowledge, action, and the frame problem. Artificial Intelligence 144:1-39.
12. Shapiro, S.; Lespérance, Y.; and Levesque, H. 1998. Specifying communicative multi-agent systems. In Wobcke, W.; Pagnucco, M.; and Zhang, C., eds., Agents and Multiagent systems. Springer-Verlag, 1-14.
13. van der Hoek, W., and Wooldridge, M. 2003. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75(1):125-157.
14. Wooldridge, M., and Jennings, N. R. 1999. The cooperative problem-solving process. Journal of Logic and Computation 9(4):563-592.