22 March 2017

Giuseppe Cota

Postdoctoral Research Fellow
Department of Engineering, Università di Ferrara,
E-Mail: giuseppe.cota@unife.it
Ricevimento: su appuntamento richiesto via email o telefono..
University Home Page
Photo of Giuseppe Cota

Publications

[1] Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A decision support system for food recycling based on constraint logic programming and ontological reasoning. In Paolo Felli and Marco Montali, editors, Proceedings of the 33rd Italian Conference on Computational Logic, volume 2214 of CEUR Workshop Proceedings, pages 117--131, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[2] Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, and Evelina Lamma. A modular inference system for probabilistic description logics. In Davide Ciucci, Gabriella Pasi, and Barbara Vantaggi, editors, Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, volume 11142 of Lecture Notes in Computer Science, pages 78--92, Heidelberg, Germany, 2018. © Springer, Springer. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-00461-3_6. [ bib | DOI | .pdf ]
[3] Riccardo Zese, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Evelina Lamma. Probabilistic DL reasoning with pinpointing formulas: A Prolog-based approach. Theory and Practice of Logic Programming, 2018. [ bib | .pdf ]
[4] Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, and Evelina Lamma. Tableau reasoning for description logics and its extension to probabilities. Annals of Mathematics and Artificial Intelligence, 82(1):101--130, © Springer, March 2018. [ bib | DOI | .pdf | http ]
[5] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Reasoning on datalog+- ontologies with abductive logic programming. Fundamenta Informaticae, 159:65--93, 2018. [ bib | DOI | .pdf ]