Verifying normative behaviour via normative mechanism design

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 103-108

  Bulling, Nils ^a   Dastani, Mehdi ^b  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY ISSUES; FORMAL SETTING; INDIVIDUAL AGENT; MECHANISM DESIGN; MULTI-AGENT ENVIRONMENT;

MULTI AGENT SYSTEMS; SPECIFICATION LANGUAGES;

MACHINE DESIGN;

EID: 84881062357     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-029     Document Type: Conference Paper

References (16)

1. T. Ågotnes, W. van der Hoek, and M. Wooldridge. Normative system games. In Proceedings of the AAMAS '07, pages 1-8, New York, NY, USA, 2007. ACM.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
3. N. Bulling and W. Jamroga. Verifying agents with memory is harder than it seemed. AI Communications, 23(4):389-403, December 2010.
4. N. Bulling, W. Jamroga, and J. Dix. Reasoning about temporal properties of rational play. Annals of Mathematics and Artificial Intelligence, 53(1-4):51-114, 2009.
5. M. Dastani, D. Grossi, J.-J. Ch. Meyer, and N. Tinnemeier. Normative multi-agent programs and their logics. In Proceedings of KRAMAS 2008, volume LNAI 5605, pages 16-31. Springer, 2009.
6. M. Dastani, N. Tinnemeier, and J.-. Ch. Meyer. A programming language for normative multi-agent systems. In V. Dignum, editor, Multi-Agent Systems: Semantics and Dynamics of Organizational Models. Information Science Reference, 2009.
7. M. Esteva, J.A. Rodríguez-Aguilar, B. Rosell, and J.L. Arcos. AMELI: An agent-based middleware for electronic institutions. In Proceedings of AAMAS 2004, pages 236-243, New York, US, July 2004.
8. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-completeness. W. H. Freeman: San Francisco, 1979.
9. G. Gottlob, G. Greco, and F. Scarcello. Pure nash equilibria: hard and easy games. In Journal of Artificial Intelligence Research, pages 215-230. ACM Press, 2003.
10. D. Grossi. Designing Invisible Handcuffs. PhD thesis, Utrecht University, SIKS, 2007.
11. A. J. I. Jones and M. Sergot. On the characterization of law and computer systems. In J.-J. Ch. Meyer and R.J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, pages 275-307. John Wiley & Sons, 1993.
12. M. Osborne and A. Rubinstein. A Course in Game Theory. MIT Press, 1994.
13. A. Pnueli. The temporal logic of programs. In Proceedings of FOCS, pages 46-57, 1977.
14. Y. Shoham and M. Tennenholtz. On the synthesis of useful social laws for artificial agent societies. In Proceedings AAAI-92, San Diego, CA, 1992.
15. Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: off-line design. Artificial Intelligence, 73(1-2):231-252, 1995.
16. W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility, and synthesis, 2007.