Articles in journal, book chapters
- M. Montali, P. Torroni, F. Chesani, P. Mello, M. Alberti, and E. Lamma. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, 102(3):325-361, 2010.
- Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007.
- Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-based Software Tool. Applied Artificial Intelligence, 20(2--4):133-157, 2006.
Conference articles
- Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, and Paola Mello. Specification and verification of agent interaction protocols in a logic-based system. In H. Haddad and others, editors, SAC '04: Proc. 19th ACM Symp. Applied Computing, pages 72-78, March 2004. ACM. Keyword(s): applications, verification.
- Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction using Social Integrity Constraints. In LCMAS'03: Logic and Communication in Multi-Agent Systems, volume 85(2) of ENTCS, pages 94-116, 2004. Elsevier.
- Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, and Paolo Torroni. Interpreting Abduction in CLP. In F. Buccafurri, editor, AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, pages 25-35, September 2003. Keyword(s): abduction.
BACK TO INDEX