Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project

The SOCS project (A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS), funded by the European Commission under the Fifth Framework, Future and Emerging Technologies programme, has been one of the main sponsors of CLIMA VI. This short article outlines the project's main challenges and its main outcomes.

[1]  Paola Mello,et al.  Specification and verification of agent interaction protocols in a logic-based system , 2004, SAC '04.

[2]  Paolo Mancarella,et al.  Abductive Logic Programming with CIFF: System Description , 2004, JELIA.

[3]  Paolo Mancarella,et al.  The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application , 2008 .

[4]  Evelina Lamma,et al.  Specification and verification of agent interaction using abductive reasoning , 2006 .

[5]  Andrea Bracciali,et al.  PROSOCS: A platform for programming software agents in computational logic , 2004 .

[6]  Evelina Lamma,et al.  Mapping deontic operators to abductive expectations , 2006, NORMAS.

[7]  Paolo Mancarella,et al.  Declarative Agent Control , 2004, CLIMA.

[8]  Evelina Lamma,et al.  An Abductive Interpretation for Open Agent Societies , 2003, AI*IA.

[9]  Evelina Lamma,et al.  The SCIFF Abductive Proof-Procedure , 2005, AI*IA.

[10]  Fariba Sadri,et al.  Using the KGP Model of Agency to Design Applications (Tutorial Paper) , 2005, CLIMA.

[11]  Francesca Toni,et al.  Ambient Intelligence Using KGP Agents , 2004, EUSAI.

[12]  Neophytos Demetriou.  Argumentation with Abduction , 2005 .

[13]  Evelina Lamma,et al.  COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL , 2006, Appl. Artif. Intell..

[14]  Evelina Lamma,et al.  Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study , 2003, DALT.

[15]  Paolo Mancarella,et al.  The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation , 2004, Global Computing.

[16]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[17]  Nicolas Maudet,et al.  Protocol Conformance for Logic-based Agents , 2003, IJCAI.

[18]  M. Schroeder,et al.  Deliverable D13: Verifiable Properties of Societies of Computees , 2005 .

[19]  Evelina Lamma,et al.  The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses , 2005, Workshop Logische Programmierung.

[20]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[21]  Paolo Mancarella,et al.  A logic-based approach to model computees , 2003 .

[22]  Andrea Bracciali,et al.  CRAFTING THE MIND OF PROSOCS AGENTS , 2006, Appl. Artif. Intell..

[23]  Paolo Mancarella,et al.  The KGP Model of Agency , 2004, ECAI.

[24]  Francesca Toni,et al.  Variety of Behaviours Through Profiles in Logic-Based Agents , 2005, CLIMA.

[25]  Evelina Lamma,et al.  A logic-based approach to model interaction amongst computees , 2003 .

[26]  Evelina Lamma,et al.  A logic based approach to interaction design in open multi-agent systems , 2004, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[27]  Paola Mello,et al.  A Social ACL Semantics by Deontic Constraints , 2003, CEEMAS.

[28]  Evelina Lamma,et al.  Expressing interaction in combinatorial auction through social integrity constraints , 2005, Intelligenza Artificiale.

[29]  Antonis C. Kakas,et al.  Computing Argumentation in Logic Programming , 1999, J. Log. Comput..

[30]  Evelina Lamma,et al.  Security Protocols Verification in Abductive Logic Programming: A Case Study , 2005, ESAW.

[31]  Evelina Lamma,et al.  The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies , 2004, Global Computing.

[32]  Evelina Lamma,et al.  Specification and Verification of Agent Interaction using Social Integrity Constraints , 2004, LCMAS.