Multi-agent systems in computational logic: Challenges and outcomes of the SOCS project

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

Volumn 3900 LNAI, Issue , 2006, Pages 420-426

  Toni, Francesca ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LOGIC; MATHEMATICAL MODELS;

COMPUTATIONAL LOGIC; COMPUTATIONAL LOGIC MODEL; EUROPEAN COMMISSION;

MULTI AGENT SYSTEMS;

EID: 33745599150     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_26     Document Type: Conference Paper

References (37)

1. The SCIFF abductive proof procedure home page, http://lia.deis.unibo.it/ research/sciff/, 2005.
2. The SOCS-SI (socs social infrastructure) home page, http://lia.deis. unibo.it/research/socs_si/, 2006.
3. M. Alberti, F. Athienitou, A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, A. Kakas, E. Lamma, W. Lu, P. Mancarella, P. Mello, F. Sadri, K. Stathis, F. Toni, and P. Torroni. Verifiable properties of societies of computees. Technical report, SOCS Consortium, 2005. Deliverable D13. Available from the SOCS project web site: http://lia.deis.unibo.it/research/socs/gueste/ publications/.
4. M. Alberti, A. Bracciali, F. Chesani, A. Ciampolini, U. Endriss, M. Gavanelli, A. Guerri, A. Kakas, E. Lamma, W. Lu, P. Mancarella, P. Mello, M. Milano, F. Riguzzi, F. Sadri, K. Stathis, G. Terreni, F. Toni, P. Torroni, and A. Yip. Experiments with animated societies of computees. Technical report, SOCS Consortium, 2005. Deliverable D14. Available from the SOCS project web site: http://lia.deis.unibo.it/research/socs/guests/publications/.
5. M. Alberti, A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, W. Lu, K. Stathis, and P. Torroni. SOCS prototype. Technical report, SOCS Consortium, 2003. Deliverable D9. Available from the SOCS project web site: http://lia.deis.unibo.it/research/socs/guests/publications/.
6. M. Alberti, F. Chesani, M. Gavanelli, A. Guerri, E. Lamma, P. Mello, and P. Torroni. Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale, II(1):22-29, 2005.
7. M. Alberti, F. Chesani, M. Gavanelli, and E. Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In A. Wolf, T. Frühwirth, and M. Meister, editors, 19th Workshop on (Constraint) Logic Programming W(C)LP 2005, number 2005-01 in Ulmer Informatik-Berichte, pages 111-122, 2005.
8. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. A logic based approach to interaction design in open multi-agent systems. In Proceedings of the 13th IEEE international Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004), pages 387-392, Modena, Italy, June 14-16 2004. IEEE Press.
9. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. The SOCS computational logic approach for the specification and verification of agent societies. 3267:324-339, 2005.
10. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence, 20(4-5), 2006.
11. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Security protocols verification in Abductive Logic Programming: a case study. In O. Dikenelli, M.-P. Gleizes, and A. Ricci, editors, Proceedings of ESAW'05, Kuşadasi, Aydin, Turkey, October 26-28, 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2006.
12. M. Alberti, A. Ciampolini, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. A social ACL semantics by deontic constraints. Lecture Notes in Artificial Intelligence, 2691:204-213, 2003.
13. M. Alberti, D. Daolio, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interaction protocols in a logic-based system. In H. M. Haddad, A. Omicini, and R. L. Wainwright, editors, Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004), pages 72-78, Nicosia, Cyprus, Mar. 14-17 2004. ACM Press.
14. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, G. Sartor, and P. Torroni. Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory, 2006.
15. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. An Abductive Interpretation for Open Societies. Lecture Notes in Artificial Intelligence, 2829:287-299, 2003.
16. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interactions using Social Integrity Constraints. Electronic Notes in Theoretical Computer Science, 85(2), 2003.
17. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Modeling interactions using Social Integrity Constraints: A resource sharing case study. Lecture Notes in Artificial Intelligence, 2990:243-262, 2004.
18. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. The SCIFF abductive proof-procedure. Lecture Notes in Artificial Intelligence, 3673:135-147, 2005.
19. A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, F. Toni, and G. Terreni. The KGP model of agency: Computational model and prototype implementation. Lecture Notes in Artificial Intelligence, 3267:340-367, 2005.
20. F. Chesani, M. Gavanelli, M. Alberti, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interaction using abductive reasoning. In this volume.
21. N. Demetriou and A. C. Kakas. Argumentation with abduction. In Proceedings of the fourth Panhellenic Symposium on Logic, 2003.
22. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF proof procedure for abductive logic programming with constraints. Lecture Notes in Artificial Intelligence, 3229:680-684, 2004.
23. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In G. Gottlob and T. Walsh, editors, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03). Morgan Kaufmann Publishers, Aug. 2003.
24. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, Oct. 1998.
25. T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, Nov. 1997.
26. M. Gavanelli, E. Lamma, P. Torroni, P. Mello, K. Stathis, P. Moraïtis, A. C. Kakas, N. Demetriou, G. Terreni, P. Mancarella, A. Bracciali, F. Toni, F. Sadri, and U. Endriss. Computational model for computees and societies of computees. Technical report, SOCS Consortium, 2003. Deliverable D8. Available from the SOCS project web site: http://lia.deis.unibo.it/ research/socs/guests/publications/.
27. Global Computing, Future and Emerging Technologies. Co-operation of autonomous and mobile entities in dynamic environments. Home Page: http://www.cordis.lu/ist/fetgc.htm, 2000.
28. A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. A logic-based approach to model computees. Technical report, SOCS Consortium, 2003. Deliverable D4. Available from the SOCS project web site: http://lia.deis.unibo. it/research/socs/guests/publications/.
29. A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In R. Lopez de Mantaras and L. Saitta, editors, Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI 2004). IOS Press, Aug. 2004.
30. A. C. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. Declarative agent control. Lecture Notes in Artificial Intelligence, 3487:96-110, 2005.
31. A.C. Kakas and F. Toni. Computing negation as failure via argumentation. Journal of Logic and Computation, 9:515-562, 1999.
32. P. Mello, P. Torroni, M. Gavanelli, M. Alberti, A. Ciampolini, M. Milano, A. Roli, E. Lamma, F. Riguzzi, and N. Maudet. A logic-based approach to model interaction amongst computees. Technical report, SOCS Consortium, 2003. Deliverable D5. Available from the SOCS project web site: http://lia.deis.unibo. it/research/socs/guests/publications/.
33. F. Sadri. Using the KGP model of agency to design applications. In this volume.
34. F. Sadri and F. Toni. Variety of behaviours through profiles in logic-based agents. In this volume.
35. SOcieties of ComputeeS (SOCS). A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS. IST-2001-32530. http://lia.deis.unibo.it/research/socs/ , 2002-2005.
36. K. Stathis, A. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. PROSOCS: A platform for programming software agents in computational logic. Applied Artificial Intelligence, 20(4-5), 2006.
37. K. Stathis and F. Toni. Ambient Intelligence using KGP Agents. Lecture Notes in Artificial Intelligence, 3295:351-362, 2004.