Publications

of Marco Alberti

Thesis

  1. Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, Italy, 2005.

Articles in journal, book chapters

  1. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. Fundam. Inform., 124(4):365-381, 2013.
  2. M. Alberti, M. Gavanelli, and E. Lamma. Deon+: Abduction and Constraints for Normative Reasoning. In Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis, editors, Festschrift of Marek Sergot. Springer, 2012.
  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza artificiale, 5(1):71-75, February 2011. ISSN: 1724-8035. [PDF] [doi:10.3233/IA-2011-0006]
  4. 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.
  5. 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.
  6. 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.
  7. 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, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. In Proc. 26th CILC: 26-esimo Convegno Italiano di Logica Computazionale, August-September 2011.
  2. Marco Alberti, Marco Gavanelli, and Evelina Lamma. Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. In Manuel Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th Intl. Conf. on Logic Programming, volume 7 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2010. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [doi:10.4230/LIPIcs.ICLP.2010.4] Keyword(s): abduction.
  3. Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 387-401, July 2009. SV. [doi:10.1007/978-3-642-02846-5_32] Keyword(s): abduction.
  4. Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integrating Abduction and Constraint Optimization in Constraint Handling Rules. In ECAI 2008: 18th European Conf. on Artif. Intell., pages 903-904, July 2008. IOS press. [doi:10.3233/978-1-58603-891-5-903] Keyword(s): abduction.
  5. Marco Alberti, Federico Chesani, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of UIB, pages 111-122, February 2005. [WWW]
  6. 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.
  7. 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.

BACK TO INDEX