21 December 2018

Marco Alberti

Tenure-track Assistant Professor
Dipartimento di Matematica e Informatica, Università di Ferrara,

Ufficio 038
Blocco A, Polo ST
University of Ferrara
Via Saragat 1, 44122, Ferrara, Italy
Tel: +39 0532 974600
E-Mail: marco.alberti@unife.it
Ricevimento: su appuntamento richiesto via email o telefono.
University Home Page
Photo of Marco Alberti

Publications

Publications by type

International Journals

[2] Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. cplint on SWISH: Probabilistic logical inference with a web browser. Intelligenza Artificiale, 11(1):47--64, © IOS Press, 2017. [ bib | DOI | .pdf ]
[1] 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. [ bib | DOI | .pdf ]

International Conferences

[3] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese Riccardo. Dischargeable obligations in abductive logic programming. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer Science, pages 7--21, Cham, 2017. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-61252-2_2. [ bib | DOI | .pdf ]
[2] Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic logical inference on the web. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 351--363, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_26. [ bib | DOI | .pdf ]
[1] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic hybrid knowledge bases under the distribution semantics. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 364--376, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_27. [ bib | DOI | .pdf ]

National Conferences

[1] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Iterated fixpoint well-founded semantics for hybrid knowledge bases. In Dario Della Monica, Aniello Murano, Sasha Rubin, and Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, volume 1949 of CEUR Workshop Proceedings, pages 248--261, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]

International Workshops

[3] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. A distribution semantics for non-DL-safe probabilistic hybrid knowledge bases. In Christian Theil Have and Riccardo Zese, editors, 4th International Workshop on Probabilistic logic programming, PLP 2017, volume 1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[2] Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming for natural language processing. In Federico Chesani, Paola Mello, and Michela Milano, editors, URANIA 2016, Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), volume 1802 of CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[1] Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic constraint logic theories. In Arjen Hommersom and Samer Abdallah, editors, Proceedings of the 3nd International Workshop on Probabilistic Logic Programming (PLP), volume 1661 of CEUR Workshop Proceedings, pages 15--28, Aachen, Germany, 2016. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]

National Workshops

[1] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Inducing specification of interaction protocols and business processes and proving their properties. In Matteo Baldoni and Cristina Baroglio, editors, Il Milione (i.e. 26, June 3rd 2008) A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. Alberto Martelli Turin, Italy, June 3, 2008, volume 487 of CEUR Workshop Proceedings, pages 32--37, Aachen, Germany, 2009. Sun SITE Central Europe. [ bib | .pdf ]

Publications by year

2017

[5] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Iterated fixpoint well-founded semantics for hybrid knowledge bases. In Dario Della Monica, Aniello Murano, Sasha Rubin, and Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, volume 1949 of CEUR Workshop Proceedings, pages 248--261, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[4] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. A distribution semantics for non-DL-safe probabilistic hybrid knowledge bases. In Christian Theil Have and Riccardo Zese, editors, 4th International Workshop on Probabilistic logic programming, PLP 2017, volume 1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[3] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese Riccardo. Dischargeable obligations in abductive logic programming. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer Science, pages 7--21, Cham, 2017. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-61252-2_2. [ bib | DOI | .pdf ]
[2] Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming for natural language processing. In Federico Chesani, Paola Mello, and Michela Milano, editors, URANIA 2016, Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), volume 1802 of CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[1] Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. cplint on SWISH: Probabilistic logical inference with a web browser. Intelligenza Artificiale, 11(1):47--64, © IOS Press, 2017. [ bib | DOI | .pdf ]

2016

[3] Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic constraint logic theories. In Arjen Hommersom and Samer Abdallah, editors, Proceedings of the 3nd International Workshop on Probabilistic Logic Programming (PLP), volume 1661 of CEUR Workshop Proceedings, pages 15--28, Aachen, Germany, 2016. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[2] Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic logical inference on the web. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 351--363, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_26. [ bib | DOI | .pdf ]
[1] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic hybrid knowledge bases under the distribution semantics. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 364--376, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_27. [ bib | DOI | .pdf ]

2011

[1] 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. [ bib | DOI | .pdf ]

2009

[1] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Inducing specification of interaction protocols and business processes and proving their properties. In Matteo Baldoni and Cristina Baroglio, editors, Il Milione (i.e. 26, June 3rd 2008) A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. Alberto Martelli Turin, Italy, June 3, 2008, volume 487 of CEUR Workshop Proceedings, pages 32--37, Aachen, Germany, 2009. Sun SITE Central Europe. [ bib | .pdf ]