Rational teams: Logical aspects of multi-agent systems

Fundamenta Informaticae

Volumn 63, Issue 2-3, 2004, Pages 159-183

  Aldewereld, Huib ^a   Van Der Hoek, Wiebe ^b   Meyer, John Jules ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

DYNAMIC LOGICS; MULTIPLE AGENTS; THE KARO FRAMEWORK;

MULTI AGENT SYSTEMS;

EID: 24044501635     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (22)

1. H.M. Aldewereld. Rational Teams: Logical Aspects of Multi-Agent Systems. Available in Preprint Series, Cognitive Artificial Intelligence Master's Theses. Department of Philosophy, Utrecht University, 2002, http://preprints.phil.uu. nl/scripties/.
2. R. Alur, T.A. Henzigger, and O. Kupferman. Alternating-time temporal logic. In Journal of the ACM, 49:672-713, 2002.
3. G. Bonanno and K. Nehring. Common belief with the logic of individual belief. In Mathematical Logic Quarterly, 46 (1), pp. 49-52, 2000.
4. M.E. Bratman. Intentions, Plans and Practical Reasoning. Harvard University Press, Cambridge, MA, 1987.
5. P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3): 213-261, 1990.
6. P. Cohen and H. Levesque. Teamwork. Nous, 24(4):487-512, 1991.
7. P. Cohen, H. Levesque, and I. Smith. On team formation. In J. Hintikka and R. Tuomela, editors, Contemporary Action Theory. Synthese, 1997.
8. B. Dunin-Kȩplicz and R. Verbrugge. A Tuning Machine for Collective Commitments. In Proceedings of the First International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03), pages 99-116, Warsaw, 2003.
9. B. Dunin-Kȩplicz and R. Verbrugge. Collective motivational attitudes in cooperative problem solving. In V. Gorodetsky et al., editor, Proceedings of the First International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS'99), pages 22-41, St. Petersburg, 1999.
10. B. Dunin-Kȩplicz and R. Verbrugge. Collective Intentions. Fundamental Informaticae, 51(3): 271-295, 2002.
11. E.A. Emerson. Temporal and modal logics. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 16, pages 995-1072. Elsevier Science Publishers b.b., 1990.
12. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, MA, 1995.
13. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An integrated modal approach to Rational Agents. In Foundations of Rational Agency, M. Woolridge and A. Rao (eds.), Kluwer, Dordrecht, 1999, pp. 37-75.
14. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A Logical Approach to the Dynamics of Commitments. Artificial Intelligence, 113: 1-40, 1999.
15. J.-J. Ch. Meyer. A Different Approach to Deontic Logic Viewed as a Variant of Dynamic Logic, In Notre Dame Journal of Formal Logic, 29(1), pp. 109-136, 1988.
16. J.-J. Ch. Meyer and P. Doherty. Preferential Action Semantics (Preliminary Report). In J.-J. Ch. Meyer and P.-Y. Schobbens (eds.), Formal Models of Agents (LNAI1760), pp. 187-201, Springer, Berlin, 1999.
17. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, 1995.
18. A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of the Second Conference on of Knowledge Representation and Reasoning (KR'91), pages 473-484. Morgan Kaufmann, 1991.
19. E. Sandewal and Y. Shoham. Non-monotonie temporal reasoning. In The Handbook of Logic in AI and Logic Programming, volume 4, pages 439-484. Oxford University Press, 1995.
20. M.P. Singh, A.S. Rao, and M.P. Georgeff. Formal methods in DAI: Logic-based representations and reasoning. In. Introduction to Distributed Artificial Intelligence, chapter 8. MIT Press, 1998.
21. M. Tambe. Towards flexible teamwork. Journal of Artificial Intelligence Research, 7:83-124, 1997.
22. M. Wooldridge. Intelligent agents. In Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, 1999.