Teamwork pp 161-180 | Cite as

Teams over Time — a Logical Perspective

  • Wiebe van der Hoek
  • Marc Pauly
  • Michael Wooldridge


Although the notion of ‘agency’ has always been central to the 50-year old discipline of Artificial Intelligence, the research focus within this field has historically been on isolated, disembodied intelligences. It is only since the early 1980s, and the emergence of the sub-field known as distributed AI, that the emphasis within this community began to change, and focus on cooperative problem-solving and teamwork (Bond and Gasser, 1988).


Model Check Grand Coalition Strategic Game Model Check Problem Extensive Game 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Alur, R., T. A. Henzinger and O. Kupferman (1997) ‘Alternating-time temporal logic’, Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, 100–109.Google Scholar
  2. Alur, R., T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani and S. Tasiran (1998) ‘Mocha: Modularity in Model Checking’ in CAV 1998: Tenth International Conference on Computer-aided Verification, (LNCS Volume 1427), Springer, pp. 521–525.Google Scholar
  3. Binmore, K. (1992) Fun and Games: A Text on Game Theory (D. C. Heath and Company: Lexington, MA.).Google Scholar
  4. Bond, A. H. and L. Gasser (eds) (1988) Readings in Distributed Artificial Intelligence (Morgan Kaufmann).Google Scholar
  5. Emerson, E. A. (1990) ‘Temporal and Modal Logic’ in J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, 996–1072.Google Scholar
  6. Hansen, H. and M. Pauly (2002) ‘Axiomatising Nash-Consistent Coalition Logic’ in S. Flesca, S. Greco, N. Leone and G. Ianni (eds), Logics in Artificial Intelligence, LNAI 2424.Google Scholar
  7. Jamroga, W. and W. van der Hoek (2004) ‘Agents that Know how to Play’. Accepted for Informaticae.Google Scholar
  8. Moore, R. C. (1990) ‘A Formal Theory of Knowledge and Action’ in J. F. Allen, J. Hendler and A. Tate (eds), Readings in Planning (Morgan Kaufmann Publishers) pp. 480–519.Google Scholar
  9. Osborne, M. J. and A. Rubinstein (1994) A Course in Game Theory (Cambridge Ma.: MIT Press).Google Scholar
  10. Pauly, M. (2002) ‘A Modal Logic for Coalitional Power in Games’, Journal of Logic and Computation (12)1, 149–166.CrossRefGoogle Scholar
  11. Papadimitriou, C. H. (1994) Computational Complexity (Addison-Wesley: Reading, Ma.).Google Scholar
  12. van der Hoek, W. and M. J. W. Wooldridge (2003) ‘Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications’, Studia Logica (75)1, 125–157.CrossRefGoogle Scholar

Copyright information

© Wiebe van der Hoek, Marc Pauly and Michael Wooldridge 2005

Authors and Affiliations

  • Wiebe van der Hoek
  • Marc Pauly
  • Michael Wooldridge

There are no affiliations available

Personalised recommendations