Articles in journal, book chapters
- Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, and Fabrizio Riguzzi. Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory and Practice of Logic Programming, 21(5):557-574, 2021.
- 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]
BACK TO INDEX