Overview

Usage

Contacts

Acknowledgements

Publications

SCIFF Publications

• Complete list of publications about SCIFF

The SCIFF framework

• Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. A social ACL semantics by deontic constraints. In Vladimir Marik, Jörg Müller, and Michal Pechoucek, editors, Multi-Agent Systems and Applications III. 3rd International Central and Eastern European Conference on Multi-Agent Systems CEEMAS 2003, volume 2691 of Lecture Notes in Artificial Intelligence, pages 204-213, Prague, Czech Republic, June 16-–18 2003. Springer Verlag.
  
• Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Logic based semantics for an agent communication language. In Barbara Dunin-Keplicz and Rineke Verbrugge, editors, FAMAS'03 - Formal Approaches to Multi-Agent Systems, pages 21-36, Warsaw, Poland, April 5 - 13 2003.
  
• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science, 85(2), April 2004.
  
• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. A logic based approach to interaction design in open multi-agent systems. In Martin Fredriksson, Rune Gustavsson, Alessandro Ricci, and Andrea Omicini, editors, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004), pages 387-392, Washington, DC, USA, September 2004. IEEE Computer Society.
  
• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. The SOCS computational logic approach to the specification and verification of agent societies. In Corrado Priami and Paola Quaglia, editors, Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers, volume 3267 of Lecture Notes in Computer Science, pages 314 - 339, Berlin, Germany, February 2005. Springer Verlag.
  
• Marco Alberti, Evelina Lamma, Marco Gavanelli, Paola Mello, Giovanni Sartor, and Paolo Torroni. Mapping deontic operators to abductive expectations. In Proceedings of the Symposium on Normative Multi-Agent Systems, pages 126-136, University of Hertfordshire, Hatfield, UK, April 12-15 2005. The Society for the study of Artificial Intelligence and the Simulation of Behaviour.
  
• Federico Chesani and Marco Gavanelli. Specification and verification of agent interaction using SOCS-SI. In Francesca Toni and Paolo Torroni, editors, Pre-proceedings of the 6^th International workshop on Computational Logic in Multi-agent Systems. CLIMA-VI, page 6, London, UK, June 2005. City University.
  

Declarative Semantics

• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. An abductive interpretation for open societies. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, volume 2829 of Lecture Notes in Artificial Intelligence, pages 287-299, Pisa, Italy, September 23-26 2003. Springer Verlag.
  

Operational Semantics

• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Abduction with hypotheses confirmation. In Fausto Giunchiglia, editor, IJCAI-05 Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pages 1545-1546, USA, 2005. Professional Book Center.
  
• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. The SCIFF abductive proof-procedure. In Stefania Bandini and Sara Manzoni, editors, AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings, volume 3673 of Lecture Notes in Artificial Intelligence, pages 135-147, Berlin, 2005. Springer Verlag.
  

Implementation & Benchmarks

• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance verification of agent interaction: a logic-based software tool. In P. Petta and J.P. Muller editors, Applied Artificial Intelligence, 20(4-5), April 2006. To appear.
  
• Marco Alberti, Federico Chesani, Marco Gavanelli, and Evelina Lamma. The CHR-based implementation of a system for generation and confirmation of hypotheses. In Armin Wolf, Thom Frühwirth, and Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, number 2005-01 in Ulmer Informatik-Berichte, pages 111-122, University of Ulm, Germany, February 2005.
  
• Marco Alberti and Federico Chesani. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. In Marco Cadoli, Marco Gavanelli, and Toni Mancini, editors, Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale, number CS-2005-03 in Computer Science Group Technical Reports, pages 77-84, Dipartimento di Ingegneria, Universita` di Ferrara, Italy, June 10 2005.
  

Applications

• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Modeling interactions using social integrity constraints: a resource sharing case study. In Joao Alexandre Leite, Andrea Omicini, Leon Sterling, and Paolo Torroni, editors, Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, volume 2990 of Lecture Notes in Computer Science, pages 243-262, Melbourne, Australia, 2004. Springer Verlag.
  
• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Security protocols verification in abductive logic programming: a case study. In Oguz Dikenelli, Marie-Pierre Gleizes, and Alessandro Ricci, editors, Proceedings of ESAW'05, Lecture Notes in Artificial Intelligence, Berlin, Germany, 2005. Department of Computer Engineering Ege University, Springer Verlag. to appear.
  
• Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Michela Milano, and Paolo Torroni. Expressing interaction in combinatorial auction through social integrity constraints. In Armin Wolf, Thom Frühwirth, and Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, number 2005-01 in Ulmer Informatik-Berichte, pages 53-64, University of Ulm, Germany, February 2005.
  
• Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, and Paolo Torroni. Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale, II(1):22-29, 2005.
  

Technical reports:

• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Interaction Protocols: a Computational Logic Approach Based on Abduction. Technical Report CS-2003-03 of the Computer Science Group in Ferrara, 2003. Contains declarative and operational semantics.
• Marco Alberti and Federico Chesani. The Implementation of a System for Generation and Confirmation of Hypotheses. Technical Report CS-2004-02 of the Computer Science Group in Ferrara. 2004.
• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. A Computational Logic-based approach to security protocols verification, and its application to the Needham-Schroeder Public Key authentication protocol Technical Report CS-2004-04 of the Computer Science Group in Ferrara. 2004.
• Marco Gavanelli, Evelina Lamma, Paola Mello. Proof of properties of the SCIFF proof-procedure Technical Report CS-2005-01 of the Computer Science Group in Ferrara, 2005. Contains proofs of Soundness and Termination.
• Marco Gavanelli, Evelina Lamma, Paola Mello. Proof of completeness of the SCIFF proof-procedure Technical Report CS-2005-02 of the Computer Science Group in Ferrara, 2005.
• Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Verifiable Agent Interaction in Abductive Logic Programming: the SCIFF proof-procedure. Department of Electronics, Computer Science, and Systems, University of Bologna, Italy. DEIS Technical Report DEIS-LIA-06-001, Università di Bologna, LIA Series No 75, March 2006 (76 pages).