Expressive Global Protocols via Logic-Based Electronic Institutions

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 1150-1151

  Vasconcelos, Wamberto W ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Global Protocols; Logics; Specification of Multi Agent Systems

Indexed keywords

COMPUTER SIMULATION; ELECTRONICS ENGINEERING; FORMAL LOGIC; MULTI AGENT SYSTEMS; SECURITY OF DATA; SEMANTICS; SET THEORY; SOCIETIES AND INSTITUTIONS; SOFTWARE AGENTS;

ELECTRONIC INSTITUTIONS; GLOBAL PROTOCOLS;

NETWORK PROTOCOLS;

EID: 1142280379     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860722.860840     Document Type: Conference Paper

References (8)

1. M. Esteva, J. Padget, and C. Sierra. Formalizing a Language for Institutions and Norms, volume 2333 of LNAI. Springer-Verlag, 2001.
2. J. A. Rodríguez Aguilar, F. J. Martín, P. Noriega, P. Garcia, and C. Sierra. Towards a Formal Specification of Complex Social Structures in Multi-Agent Systems, pages 284-300. Number 1624 in LNAI. Springer-Verlag, Berlin, 1997.
3. Michael Wooldridge. An Introduction to Multiagent Systems. John Wiley & Sons, Chichester, UK, Feb. 2002.
4. SICS. SICStus Prolog User's Manual. Swedish Institute of Computer Science, available at http://www.sics.se/isl/sicstus2.html#Manuals, Feb. 2000.
5. W. W. Vasconcelos. Expressive Global Protocols via Logic-Based Electronic Institutions. Technical Report AUCS/TR0301, Dept. of Computing Science, Univ. of Aberdeen.
6. W. W. Vasconcelos, D. Robertson, J. Agustí, C. Sierra, M. Wooldridge, S. Parsons, C. Walton, and J. Sabater. A Lifecycle for Models of Large Multi-Agent Systems. In Proc. 2nd Int'l Workshop on Agent-Oriented Soft. Eng. (AOSE-2001), volume 2222 of LNCS. Springer-Verlag, 2002.
7. W. W. Vasconcelos, J. Sabater. C. Sierra, and J. Querol. Skeleton-based Agent Development for Electronic Institutions. In Proc. 1st Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 2002. ACM, U.S.A.
8. W. W. Vasconcelos, C. Sierra, and M. Esteva. An Approach to Rapid Prototyping of Large Multi-Agent Systems. In Proc. 17th IEEE Int'l Conf. on Automated Software Engineering (ASE 2002), Edinburgh, UK, 2002. IEEE Computer Society, U.S.A.