Implementing norms in multiagent systems

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3187, Issue , 2004, Pages 313-327

  Vázquez Salceda, Javier ^a   Aldewereld, Huib ^a   Dignum, Frank ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; SOFTWARE AGENTS; SPECIFICATIONS; THEOREM PROVING; ELECTRIC SHIP EQUIPMENT;

HETEROGENEOUS AGENTS; ISLANDER FORMALISM; NORMS IMPLEMENTATION; SMART AGENT SPECIFICATIONS; AGENT PLATFORM; NORM ENFORCEMENT; OPEN MAS; VERIFIABILITY;

MULTI AGENT SYSTEMS;

EID: 22944471738     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30082-3_23     Document Type: Conference Paper

References (18)

1. A. Artikis. Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Department of Electrical & Electronic Engineering, Imperial College London, November 2003.
2. G. Boella and L. van der Torre. Fulfilling or violating norms in normative multiagent systems. In Proceedings of IAT 2004. IEEE, 2004.
3. G. Boella and L. van der Torre. Normative multiagent systems. In Proceedings of Trust in Agent Societies Workshop at AAMAS'04, New York, 2004.
4. J. Broersen, F. Dignum, V. Dignum, and J.-J. Ch. Meyer. Designing a Deontic Logic of Deadlines. In 7th Int. Workshop on Deontic Logic in Computer Science (DEON'04), Portugal, May 2004.
5. C. Castelfranchi. Formalizing the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations. Journal of Applied Logic, 1(1-2):47-92, February 2003.
6. C. Castelfranchi, F. Dignum, C. Jonker, and J. Treur. Deliberative normative agents: Principles and architectures. In N. Jennings and Y. Lesperance, editors, ATAL '99, volume 1757 of LNAI, pages 364-378, Berlin Heidelberg, 2000. Springer Verlag.
7. F. Dignum, J. Broersen, V. Dignum, and J.-J. Ch. Meyer. Meeting the Deadline: Why, When and How. In 3rd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland, April 2004.
8. F. Dignum, D. Kinny, and L. Sonenberg. From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly, 2(3-4):407-430, 2002.
9. V. Dignum and F. Dignum. Modeling agent societies: Coordination frameworks and institutions. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, LNAI 2258, pages 191-204. Springer-Verlag, 2001.
10. V. Dignum, J.-J.Ch. Meyer, F. Dignum, and H. Weigand. Formal Specification of Interaction in Agent Societies. In 2nd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland, Oct. 2002.
11. M. Esteva, J. Padget, and C. Sierra. Formalizing a language for institutions and norms. In J.-J.CH. Meyer and M. Tambe, editors, Intelligent Agents VIII, volume 2333 of LNAI, pages 348-366. Springer Verlag, 2001.
12. M. Esteva, J.A. Rodríguez-Aguilar, B. Rosell, and J.L. Arcos. AMELI: An Agent-based Middleware for Electronic Institutions. In Third International Joint Conference on Autonomous Agents and Multi-agent Systems, New York, US, July 2004.
13. A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem (ALFEBIITE). http://www.iis.ee.ic.ac.uk/~alf ebiite/ab-home.htm.
14. A. Lomuscio and D. Nute, editors. Proc. of the 7th Int. Workshop on Deontic Logic in Computer Science (DEON04), volume 3065 of LNCS. Springer Verlag, 2004.
15. F. López y López and M. Luck. Towards a Model of the Dynamics of Normative Multi-Agent Systems. In G. Lindemann, D. Moldt, M. Paolucci, and B. Yu, editors, Proc. of the Int. Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA '02), volume 318 of Mitteilung, pages 175-194. Universität Hamburg, 2002.
16. F. López y Lopez, M. Luck, and M. d'Inverno. A framework for norm-based interagent dependence. In Proceedings of The Third Mexican International Conference on Computer Science, pages 31-40. SMCC-INEGI, 2001.
17. P. Noriega. Agent-Mediated Auctions: The Fishmarket Metaphor. PhD thesis, Inst. d'Investigació en Intel.ligència Artificial, 1997.
18. J.A. Rodriguez. On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Inst. d'Investigació en Intel.ligència Artificial, 2001.