A logic based approach to interaction design in open multi-agent systems

Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

Volumn 13, Issue , 2004, Pages 387-392

  Alberti, Marco ^a   Gavanelli, Marco ^a   Lamma, Evelina ^a   Chesani, Federico ^b   Mello, Paola ^b   Torroni, Paolo ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT COMMUNICATION LANGUAGES (ACL); INTERACTION PROTOCOLS (IC); OPEN MULTI-AGENT SYSTEMS; SOFTWARE MANAGEMENT;

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; CONSTRAINT THEORY; INTERNET; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OPEN SYSTEMS; SEMANTICS;

MULTI AGENT SYSTEMS;

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

References (21)

1. A demonstration of SOCS-SI for AAMAS'04. Demo story-board available from the public area of the SOCS web site: http://lia.deis.unibo.it/research/SOCS.
2. The SCIFF abductive proof procedure, http://lia.deis.unibo.it/research/sciff/.
3. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based tool. In Proc. 17th EMCSR, pages 570-575, 2004. Austrian Society for Cybernetic Studies.
4. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Modeling interactions using Social Integrity Constraints: a resource sharing case study. In Declarative Agent Languages and Technologies. LNAI 2990, pages 243-262. Springer, May 2004.
5. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of interaction protocols: a computational logic approach based on abduction. Tech. Rep. CS-2003-03, Dip. di Ingegneria, Ferrara, Italy, 2003.
6. M. Colombetti, N. Fornara, and M. Verdicchio. A social approach to communication in multiagent systems. In Declarative Agent Languages and Technologies, LNAI 2990, pages 193-222. Springer, May 2004.
7. M. d'Inverno, D. Kinny, and M. Luck. Interaction protocols in Agentis. In Proc. 3rd ICMAS, pages 261-268, 1998.
8. M. Esteva, D. de la Cruz, and C. Sierra. ISLANDER: an electronic institutions editor. In Proc. AAMAS, pages 1045-1052, 2002. ACM.
9. T. Frühwirth. Theory and practice of constraint handling rules. J. of Logic Programming, 37(1-3):95-138, Oct. 1998.
10. T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. J. of Logic Programming, 33(2):151-165, Nov. 1997.
11. D. Gelernter and N. Carriero. Coordination languages and their significance. CACM, 35(2):97-107, Feb. 1992.
12. J. Jaffar and M. Maher. Constraint logic programming: a survey. J. of Logic Programming, 19/20:503-582, 1994.
13. A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive Logic Programming. J. of Logic and Computation, 2(6):719-770, 1993.
14. D. Kinny, M. Georgeff, and A. S. Rao. A methodology and modelling technique for systems of BDI agents. In Agents Breaking Away, LNCS 1038, pages 42-55. Springer, 1996.
15. A. Omicini and S. Ossowski. Objective versus subjective coordination in the engineering of agent systems. In Intelligent Information Agents: An AgentLink Perspective, LNAI: State-of-the-Art Survey 2586, pages 179-202. Springer, 2003.
16. J. Pitt and F. Guerin. Guaranteeing properties for e-commerce systems. Tech. Rep. TRS020015, Dept. of Electrical and Electronic Engineering, Imperial College London, UK, 2002.
17. F. Sadri, F. Toni, and P. Torroni. Dialogues for negotiation: agent varieties and dialogue sequences. In Intelligent Agents VIII, LNAI 2333, pages 405-421. Springer, 2002.
18. SICStus prolog user manual, release 3.11.0, Oct. 2003. http://www.sics.se/is1/sicstus/.
19. M. P. Singh. A social semantics for agent communication languages. In Issues in Agent Communication, LNCS 1916, pages 31-45. Springer, 2000.
20. M. Viroli and A. Omicini. Specifying agent observable behaviour. In Proc. AAMAS, pages 712-720, 2002. ACM.
21. M. Wooldridge, N. R. Jennings, and D. Kinny. The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285-312, Sept. 2000.