Verifying norm consistency in electronic institutions

AAAI Workshop - Technical Report

Volumn WS-04-02, Issue , 2004, Pages 8-14

  Esteva, M ^a   Rodriguez Aguilar J A ^a   Sierra, C ^a   Vasconcelos, W ^b  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMBINATORIAL MATHEMATICS; GLOBAL OPTIMIZATION; INTELLIGENT AGENTS;

COMPUTATIONAL APPROACH; ELECTRONIC INSTITUTIONS; ILLOCUTIONS;

ELECTRONIC COMMUNITIES;

EID: 32144449595     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Apt, K. R. 1997. From Logic Programming to Prolog. U.K.: Prentice-Hall.
2. Dignum, F. 1999. Autonomous Agents with Norms. Artificial Intelligence and Law 7(1):69-79.
3. Enderton, H. B. 2001. A Mathematical Introduction to Logic. Mass., USA: Harcourt/Academic Press, 2nd edition.
4. Esteva, M.; Rodríguez-Aguilar, J.-A.; Sierra, C.; Garcia, P.; and Arcos, J. L. 2001. On the Formal Specification of Electronic Institutions, volume 1991 of LNAI. Springer-Verlag.
5. Esteva, M.; Rodríguez-Aguilar, J. A.; Rosell, B.; and Arcos, J. L. 2004. AMELI: An Agent-based Middleware for Electronic Institutions. In 3rd International Joint Conference on Autonomous Agents and Multi-agent Systems (AA-MAS).
6. Esteva, M.; Padget, J.; and Sierra, C. 2001. Formalizing a Language for Institutions and Norms, volume 2333 of LNAI. Springer-Verlag.
7. Esteva, M. 2003. Electronic Institutions: from specification to development. Ph.D. Dissertation, Universität Politècnica de Catalunya (UPC). IIIA monography Vol. 19.
8. Fitting, M. 1990. First-Order Logic and Automated Theorem Proving. New York, U.S.A.: Springer-Verlag.
9. Ibrahim, I. K.; Kotsis, G.; and Schwinger, W. 2003. Mapping Abstractions of Norms in Electronic Institutions. In 12th. Int'l Workshop on Enabling Technologies: Infrastructure/or Collaborative Enterprise (WETICE'03). Linz, Austria: IEEE Computer Society.
10. Jaffar, J., and Maher, M. J. 1994. Constraint Logic Programming: A Survey. Journal of Logic Programming 19/20:503-581.
11. Löpez y López, F.; Luck, M.; and d'Inverno, M. 2002. Constraining Autonomy Through Norms. In Proceedings of the 1st Int'l Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS). ACM Press.
12. Rodríguez-Aguilar, J. A. 2001. On the Design and Construction of Agent-mediated Electronic Institutions. Ph.D. Dissertation, IIIA-CSIC, Spain.
13. Rodríguez-Aguilar, J. A., ed. 2003. On the design and construction of agent-mediated electronic institutions, volume 14 of Monografies de l'Institut d'Investigaci en Intel.ligència Artificial. Consejo superior de investigaciones científicas. ISBN: 84-00-08053-X.
14. Vasconcelos, W. W.; Robertson, D.; Sierra, C.; Esteva, M.; Sabater, J.; and Wooldridge, M. 2004. Rapid Prototyping of Large Multi-Agent Systems through Logic Programming. Annals of Mathematics and A.I. Special Issue on Logic-Based Agent Implementation, to appear.
15. Vasconcelos, W. W.; Sierra, C.; and Esteva, M. 2002. An Approach to Rapid Prototyping of Large Multi-Agent Systems. In Proc. 17th IEEE Int'l Conf. on Automated Software Engineering (ASE 2002), 13-22. Edinburgh, UK: IEEE Computer Society, U.S.A.
16. Vasconcelos, W. W. 2003. Expressive Global Protocols via Logic-Based Electronic Institutions. In Proc. 2nd Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2003). Melbourne, Australia: ACM, U.S.A.
17. Vasconcelos, W. W. 2004. Norm Verification and Analysis of Electronic Institutions, to be presented at the AAMAS'04 Workshop on Declarative Agent Languages and Technologies (DALT'04).
18. Verhagen, H. 2000. Norm Autonomous Agents. Ph.D. Dissertation, Stockholm University.