Normative system games

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2007, Pages 881-888

  Ågotnes, Thomas ^a   Van Der Hoek, Wiebe ^b   Wooldridge, Michael ^b  

^a BERGEN UNIVERSITY COLLEGE   (Norway)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Complexity; Games; Goals; Logic; Normative systems

Indexed keywords

COMPLEXITY; GAMES; GOALS; LOGIC; NORMATIVE SYSTEMS;

AGENTS; AUTONOMOUS AGENTS; COMPUTATIONAL COMPLEXITY; ELECTRIC SHIP EQUIPMENT; FUZZY CLUSTERING; GAME THEORY; MODEL STRUCTURES;

MULTI AGENT SYSTEMS;

EID: 60349100388     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1329125.1329284     Document Type: Conference Paper

References (16)

1. T. Agotnes, W. van der Hoek, J. A. Rodriguez-Aguilar, C. Sierra, and M. Wooldridge. On the logic of normative systems. In Proc. IJCAI-07, Hyderabad, India, 2007.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Jnl. of the ACM, 49(5):672-713, 2002.
3. K. Binmore. Game Theory and the Social Contract Volume 1: Playing Fair. The MIT Press: Cambridge, MA, 1994.
4. K. Binmore. Game Theory and the Social Contract Volume 2: Just Playing. The MIT Press: Cambridge, MA, 1998.
5. V. Conitzer and T. Sandholm. Complexity of mechanism design. In Proc. UAI, Edmonton, Canada, 2002.
6. V. Conitzer and T. Sandholm. Complexity results about nash equilibria. In Proc. IJCAI-03, pp. 765-771, Acapulco, Mexico, 2003.
7. C. Daskalakis, P. W. Goldberg, and C. H. Papadimitriou, The complexity of computing a Nash equilibrium. In Proc. STOC, Seattle, WA, 2006.
8. E. A. Emerson. Temporal and modal logic. In Handbook of Theor. Comp. Sci. Vol. B, pages 996-1072. Elsevier, 1990.
9. E. A. Emerson and J. Y. Halpern. 'Sometimes' and 'not never' revisited: on branching time versus linear time temporal, logic. JnI. of the ACM, 33(1):151-178, 1986.
10. D. Fitoussi and M. Tennenholtz. Choosing social laws for multi-agent systems: Minimality and simplicity. Artificial Intelligence, 119(1-2):61-101, 2000.
11. M. J. Osborne and A. Rubinstein. A Course in Game Theory. The MIT Press: Cambridge, MA, 1994.
12. C. H. Papadimitriou. Computational Complexity. Addison-Wesley: Reading, MA, 1994.
13. Y. Shoham and M. Tennenholtz. On the synthesis of useful social laws for artificial agent societies. In Proc. AAAI, San Diego, CA, 1992.
14. Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: Off-line design. In Computational Theories of Interaction and Agency, pages 597-618. The MIT Press: Cambridge, MA, 1996.
15. W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility, and synthesis. Synthese, 2007.
16. M. Wooldridge and W. van der Hoek. On obligations and normative ability. JnI. of Appl. Logic, 3:396-420, 2005.