Reasoning about action and cooperation

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 185-192

  Sauro, Luigi ^a   Gerbrandy, Jelle ^a   Van Der Hoek, Wiebe ^b   Wooldridge, Michael ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

(multi )agent planning; Agent and multi agent architectures; Cooperation and coordination among agents; Logics for agent systems

Indexed keywords

AUTONOMOUS AGENTS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS;

AGENT AND MULTI-AGENT ARCHITECTURES; COOPERATION AND COORDINATION AMONG AGENTS; LOGICS FOR AGENT SYSTEMS; MULTI-AGENT PLANNING;

FORMAL LOGIC;

EID: 34247253080     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160663     Document Type: Conference Paper

References (16)

1. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of ACM, 49(5):672-713, 2002.
2. E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, Workshop, 1982.
3. G. Gargov and S. Passy. A note on boolean modal logic. In P. Petkov, editor, Mathematical Logic, Proc. of Heyting88, pages 311-321. Plenum Press, 1990.
4. M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann Publishers: San Mateo, CA, 2004.
5. Laura Giordano, Alberto Martelli, and Camilla Schwind. Dealing with concurrent actions in modal action logic. In Henri Prade, editor, ECAI98. 13th European Conference on Artificial Intelligence, 1998.
6. D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II -Extensions of Classical Logic, pages 497-604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984.
7. David Harel, Jerzy Tiuryn, and Dexter Kozen. Dynamic Logic. MIT Press, Cambridge, MA, USA, 2000.
8. D. Kinny, M. Ljungberg, A. S. Rao, E. Sonenberg, G. Tidhar, and E. Werner. Planned team activity. In C. Castelfranchi and E. Werner, editors, Artificial Social Systems - Selected Papers from the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-92 (LNAI Volume 830), pages 226-256. Springer-Verlag: Berlin, Germany, 1992.
9. B. van Linder, W. van der Hoek, and J. J-Ch. Meyer. Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34(1,2):53-101, 1998.
10. K.L. McMillan. Symbolic Model Checking. PhD thesis, CMU University, 1992.
11. R. C. Moore. Reasoning about knowledge and action. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.
12. M. Pauly. A Modal Logic for Coalitional Power in Games. Journal of Logic and Computation, 12:146-166, 2002.
13. J. S. Sichman and Y. Demazeau. On social reasoning in multi-agent systems. Revista Iberoamericana de Inteligencia Artificial, 13:68-84, 2001.
14. M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799). Springer-Verlag: Berlin, Germany, 1994.
15. W. van der Hoek and M. Wooldridge. On the logic of cooperation and propositional control. Artificial Intelligence, 64:1-2, pp. 81-119., 64(1-2):81-119, 2005.
16. M. Wooldridge and J. Jennings. Towards a theory of cooperative problem solving. In Procs. of the Sixth European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-94), 1994.