[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] 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 ]
[3] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Abductive logic programming for Datalog+- ontologies. In Davide Ancona, Marco Maratea, and Viviana Mascardi, editors, Proceedings of the 30th Italian Conference on Computational Logic (CILC2015), Genova, Italy, 1-3 July 2015, number 1459 in CEUR Workshop Proceedings, pages 128-143, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[4] Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. A description logics tableau reasoner in Prolog. In Domenico Cantone and Marianna Nicolosi Asmundo, editors, Proceedings of the 28th Italian Conference on Computational Logic (CILC2013), Catania, Italy, 25-27 September 2013, number 1068 in CEUR Workshop Proceedings, pages 33-47, Aachen, Germany, 2013. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[5] Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. Probabilistic ontologies in Datalog+/-. In Proceedings of the 27th Italian Conference on Computational Logic (CILC2012), Roma, Italy, 6-7 June 2012, volume 857 of CEUR Workshop Proceedings, pages 221-235, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[6] Fabrizio Riguzzi. Optimizing inference for probabilistic logic programs exploiting independence and exclusiveness. In Proceedings of the 27th Italian Conference on Computational Logic (CILC2012), Roma, Italy, 6-7 June 2012, volume 857 of CEUR Workshop Proceedings, pages 206-220, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[7] Elena Bellodi and Fabrizio Riguzzi. EM over binary decision diagrams for probabilistic logic programs. In Proceedings of the 26th Italian Conference on Computational Logic (CILC2011), Pescara, Italy, 31 August 31-2 September, 2011, volume 810 of CEUR Workshop Proceedings, pages 229-243, Aachen, Germany, 2011. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[8] Fabrizio Riguzzi. MCINTYRE: A Monte Carlo algorithm for probabilistic logic programming. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic (CILC2011), Pescara, Italy, 31 August-2 September, 2011, volume 810 of CEUR Workshop Proceedings, pages 25-39, Aachen, Germany, 2011. © by the author, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[9] Fabrizio Riguzzi and Terrance Swift. An extended semantics for logic programs with annotated disjunctions and its efficient implementation. In Proceedings of the 25th Italian Conference on Computational Logic (CILC2010), Rende, Italy, July 7-9, 2010., volume 598 of CEUR Workshop Proceedings, Aachen, Germany, 2010. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[10] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Probabilistic logic-based process mining. In Proceedings of the 25th Italian Conference on Computational Logic (CILC2010), Rende, Italy, July 7-9, 2010., volume 598 of CEUR Workshop Proceedings, Aachen, Germany, 2010. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[11] Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, and Sergio Storari. Compliance checking of execution traces to business rules: an approach based on logic programming. In Andrea Formisano, editor, Atti del 23esimo Convegno Italiano di Logica Computazionale, Perugia, Italia, 10-12 luglio 2008. Dipartimento di Matematica e Informatica, Università di Perugia, 2008. [ bib | .pdf ]

This file was generated by bibtex2html 1.96.