Conflict resolution in norm-regulated environments via unification and constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4897 LNAI, Issue , 2008, Pages 158-174

  Kollingbaum, Martin J ^a   Vasconcelos, Wamberto ^a   García Camino, Andres ^b   Norman, Timothy J ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; TECHNOLOGY; VIRTUAL REALITY;

AGENT LANGUAGES; CONFLICT RESOLUTIONS; CONSTRAINT SATISFACTION; FIRST ORDERS; VIRTUAL ENVIRONMENTS;

AGENTS;

EID: 49949104077     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77564-5_10     Document Type: Conference Paper

References (23)

1. Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)
2. Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Progr. 19/20, 503-581 (1994)
3. Vasconcelos, W., Kollingbaum, M., Norman, T., García-Camino, A.: Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organizations. In: AAMAS. Procs. 6th Int'l Joint Conf. on Autnomous Agents and Multi-Agent Systems, Honolulu, Hawai'i (2007)
4. O'Leary, D.E., Kuokka, D., Plant, R.: Artificial Intelligence and Virtual Organizations. Commun. ACM 40(1) (1997)
5. Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, U.K (1997)
6. Parunak, H.V.D., Odell, J.: Representing Social Structures in UML. In: Procs 5th Int'l Conf. on Autonomous Agents, pp. 100-101. ACM Press, New York (2001)
7. Rodríguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, IIIA-CSIC, Spain (2001)
8. Pacheco, O., Carmo, J.: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Autonomous Agents and Multi-Agent Systems 6(2), 145-184 (2003)
9. Garcia-Camino, A., Rodriguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.W.: A Distributed Architecture for Norm-Aware Agent Societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, Springer, Heidelberg (2006)
10. Vasconcelos, W.W.: Expressive Global Protocols via Logic-Based Electronic Institutions. In: AAMAS 2003. Proc. 2nd Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems, ACM Press, New York (2003)
11. García-Camino, A., Rodriguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A Rule-based Approach to Norm-Oriented Programming of Electronic Institutions. ACM SIGecom Exchanges 5(5), 33-40 (2006)
12. Swedish Institute of Computer Science: SICStus Prolog (2005), http://www.sics.se/isl/sicstuswww/site/index.html
13. Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The Semantics of Constraint Logic Programs. Journal of Logic Programming 37(1-3), 1-46 (1998)
14. Holzbaur, C.: ÖFAI clp(q.r) Manual, Edition 1.3.3. TR-95-09, Austrian Research Institute for A. I., Vienna, Austria (1995)
15. Kollingbaum, M., Norman, T., Preece, A., Sleeman, D.: Norm Refinement: Informing the Re-negotiation of Contracts. In: COIN@ECAI 2006. Workshop on Coordination. Organization, Institutions and Norms in Agent Systems, Riva del Garda. Italy (2006)
16. García-Camino, A., Noriega, P., Rodriguez-Aguilar, J.A.: An Algorithm for Conflict Resolution in Regulated Compound Activities. In: O'Hare, G.M.P., Ricci, A., O'Grady, M.J., Dikenelli. O. (eds.) ESAW 2006. LNCS, vol. 4457, pp. 193-208. Springer. Heidelberg (2006)
17. Dignum, F.: Autonomous Agents with Norms. Artificial Intelligence and Law 7, 69-79 (1999)
18. Sergot, M.: A Computational Theory of Normative Positions. ACM Transactions on Computational Logic 2(4), 581-622 (2001)
19. Leite, J.A., Alferes, J.J., Pereira. L.M.: Multi-Dimensional Dynamic Knowledge Representation. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI). vol. 2173, Springer, Heidelberg (2001)
20. Elhag, A., Breuker, J., Brouwer, P.: On the Formal Analysis of Normative Conflicts. Information & Comms. Techn. Law 9(3), 207-217 (2000)
21. Ross, A.: On Law and Justice. Stevens & Sons (1958)
22. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF Abductive Proof Procedure. In: Bandini, S., Manzoni, S. (eds.) AI*IA 2005. LNCS (LNAI), vol. 3673, Springer, Heidelberg (2005)
23. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping Deontic Operators to Abductive Expectations. Computational &: Mathematical Organization 12(2-3), 205-225 (2006)