Publications

of Paola Mello

Articles in journal, book chapters

  1. 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.
  2. 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.
  3. 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.
  4. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano. A CHR-based implementation of known arc-consistency. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming, pages 419-440. CUP, July 2005. [doi:10.1017/S147106840500236X]

Conference articles

  1. 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.
  2. 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.
  3. 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