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 6th 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, Marco Gavanelli, Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. Fundamenta Informaticae 124(4): 365-381 (2013).
- Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Compliance verification of agent interaction: a logic-based software
tool.
Applied Artificial Intelligence, 20(2-4), 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).
