International Journals

[1] Fabrizio Riguzzi, Giuseppe Cota, Elena Bellodi, and Riccardo Zese. Causal inference in cplint. International Journal of Approximate Reasoning, 91(Supplement C):216-232, © Elsevier, December 2017. [ bib | DOI | http | .pdf ]
[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 ]
[3] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, and Giuseppe Cota. A web system for reasoning with probabilistic OWL. Software: Practice and Experience, 47(1):125-142, © Wiley, January 2017. [ bib | DOI | .pdf ]
[4] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina Lamma. A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. International Journal of Approximate Reasoning, 80(Supplement C):313-333, © Elsevier, January 2017. [ bib | DOI | .pdf | http ]
[5] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming on the web. Software: Practice and Experience, 46(10):1381-1396, © Wiley, October 2016. [ bib | DOI | .pdf ]
[6] Fabrizio Riguzzi. The distribution semantics for normal programs with function symbols. International Journal of Approximate Reasoning, 77(Supplement C):1 - 19, © Elsevier, October 2016. [ bib | DOI | .pdf | http ]
[7] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Statistical relational learning for workflow mining. Intelligent Data Analysis, 20(3):515-541, © IOS Press, April 2016. [ bib | DOI | .pdf ]
[8] 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, © Springer, 2016. [ bib | DOI | .pdf | http ]
[9] Nicola Di Mauro, Elena Bellodi, and Fabrizio Riguzzi. Bandit-based Monte-Carlo structure learning of probabilistic logic programs. Machine Learning, 100(1):127-156, © Springer International Publishing, July 2015. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[10] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Probabilistic description logics under the distribution semantics. Semantic Web - Interoperability, Usability, Applicability, 6(5):447-501, 2015. [ bib | DOI | .pdf ]
[11] Elena Bellodi and Fabrizio Riguzzi. Structure learning of probabilistic logic programs by searching the clause space. Theory and Practice of Logic Programming, 15(2):169-212, © Cambridge University Press, 2015. [ bib | DOI | http | http ]
[12] Fabrizio Riguzzi and Terrance Swift. Terminating evaluation of logic programs with finite three-valued models. ACM Transactions on Computational Logic, 15(4):32:1-32:38, © ACM, September 2014. [ bib | DOI | http | .pdf ]
[13] Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese. A history of probabilistic inductive logic programming. Frontiers in Robotics and AI, 1(6):1-5, © by the authors, 2014. [ bib | DOI | http ]
[14] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, and Riccardo Zese. Lifted variable elimination for probabilistic logic programming. Theory and Practice of Logic Programming, 14(Special issue 4-5 - ICLP 2014):681-695, © Cambridge University Press, 2014. [ bib | DOI | http ]
[15] Fabrizio Riguzzi. Speeding up inference for probabilistic logic programs. The Computer Journal, 57(3):347-363, © Oxford University Press, 2014. [ bib | DOI | http | .pdf ]
[16] Fabrizio Riguzzi and Terrance Swift. Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Theory and Practice of Logic Programming, 13(Special Issue 02 - 25th Annual GULP Conference):279-302, © Cambridge University Press, March 2013. [ bib | DOI | http ]
[17] Nicola Di Mauro, Paolo Frasconi, Fabrizio Angiulli, Davide Bacciu, Marco de Gemmis, Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Marco Gori, Francesca A. Lisi, Pasquale Lops, Donato Malerba, Alessio Micheli, Marcello Pelillo, Francesco Ricci, Fabrizio Riguzzi, Lorenza Saitta, and Giovanni Semeraro. Italian machine learning and data mining research: The last years. Intelligenza Artificiale, 7(2):77-89, © IOS Press, 2013. [ bib | DOI ]
[18] Fabrizio Riguzzi. MCINTYRE: A Monte Carlo system for probabilistic logic programming. Fundamenta Informaticae, 124(4):521-541, © IOS Press, 2013. [ bib | DOI | .pdf ]
[19] Elena Bellodi and Fabrizio Riguzzi. Expectation Maximization over binary decision diagrams for probabilistic logic programs. Intelligent Data Analysis, 17(2):343-363, © IOS Press, 2013. [ bib | DOI | http | .pdf ]
[20] Elena Bellodi and Fabrizio Riguzzi. Experimentation of an expectation maximization algorithm for probabilistic logic programs. Intelligenza Artificiale, 8(1):3-18, © IOS Press, 2012. [ bib | DOI | .pdf ]
[21] Fabrizio Riguzzi and Nicola Di Mauro. Applying the information bottleneck to statistical relational learning. Machine Learning, 86(1):89-114, © Springer, 2012. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]
[22] 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 ]
[23] Fabrizio Riguzzi and Terrance Swift. The PITA system: Tabling and answer subsumption for reasoning under uncertainty. Theory and Practice of Logic Programming, 27th International Conference on Logic Programming (ICLP'11) Special Issue, Lexington, Kentucky 6-10 July 2011, 11(4-5):433-449, © Cambridge University Press, 2011. [ bib | DOI | http | http | .pdf ]
[24] Fabrizio Riguzzi. SLGAD resolution for inference on Logic Programs with Annotated Disjunctions. Fundamenta Informaticae, 102(3-4):429-466, October 2010. [ bib | DOI | http | .pdf ]
[25] Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli. Logic-Based Decision Support for Strategic Environmental Assessment. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):643-658, © Cambridge University Press, July 2010. [ bib | DOI | http | http | .pdf ]
[26] Fabrizio Riguzzi. Extended semantics and inference for the Independent Choice Logic. Logic Journal of the IGPL, 17(6):589-629, © Fabrizio Riguzzi, exclusively licensed to Oxford University Press, 2009. [ bib | DOI | http | http ]
[27] Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Exploiting inductive logic programming techniques for declarative process mining. LNCS Transactions on Petri Nets and Other Models of Concurrency, ToPNoC II, 5460:278-295, © Springer, 2009. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[28] Sergio Storari, Fabrizio Riguzzi, and Evelina Lamma. Exploiting association and correlation rules parameters for learning bayesian networks. Intelligent Data Analysis, 13:689-701, © Sergio Storari, Fabrizio Riguzzi and Evelina Lamma, exclusively licensed to IOS Press, 2009. [ bib | DOI | http | .pdf ]
[29] Fabrizio Riguzzi. ALLPAD: Approximate learning of logic programs with annotated disjunctions. Machine Learning, 70(2-3):207-223, © Springer, March 2008. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[30] Evelina Lamma, Paola Mello, Annamaria Nanetti, Fabrizio Riguzzi, Sergio Storari, and Gianfranco Valastro. Artificial intelligence techniques for monitoring dangerous infections. IEEE Transaction on Information Technology in Biomedicine, 10(1):143-155, © IEEE, January 2006. [ bib | DOI | http | .pdf ]
[31] Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A system for measuring function points from an ER-DFD specification. The Computer Journal, 47(3):358-372, © Evelina Lamma, Paola Mello and Fabrizio Riguzzi, licensed exclusively to The British Computer Society, May 2004. [ bib | DOI | http | .pdf ]
[32] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision via Lamarckian evolution. New Generation Computing, 21(3):247-275, © Ohmsha, Ltd. and Springer, August 2003. [ bib | DOI | http | .pdf ]
[33] Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Annamaria Nanetti. Discovering validation rules from micro-biological data. New Generation Computing, 21(2):123-134, © Ohmsha, Ltd. and Springer, February 2003. [ bib | DOI | http | .pdf ]
[34] Evelina Lamma, Leonardo Maestrami, Paola Mello, Fabrizio Riguzzi, and Sergio Storari. Rule-based programming for building expert systems: a comparison in the microbiological data validation and surveillance domain. Electronic Notes in Theoretical Computer Science, 59, September 2001. [ bib | DOI | http | .pdf ]
[35] Rita Cucchiara, Paola Mello, Massimo Piccardi, and Fabrizio Riguzzi. An application of machine learning and statistics to defect detection. Intelligent Data Analysis, 5(2):151-164, © Rita Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi, exclusively licensed to IOS Press, March/April 2001. [ bib | http | .pdf ]
[36] Antonis C. Kakas and Fabrizio Riguzzi. Abductive concept learning. New Generation Computing, 18(3):243-294, © Ohmsha, Ltd. and Springer, May 2000. [ bib | DOI | http | .pdf ]
[37] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63-87, © Springer Netherlands, January/February 2000. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[38] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating induction and abduction in logic programming. Information Sciences, 116(1):25-54, © Elsevier, May 1999. [ bib | DOI | http | .pdf ]

Books

[1] Fabrizio Riguzzi, Arianna Fabbri, and Elena Zuffi. Sistemi informativi. Collana Progetto Leonardo. Esculapio, Bologna, Italy, November 2011. [ bib ]

Book Chapters

[1] Arnaud Nguembang Fadja and Fabrizio Riguzzi. Probabilistic logic programming in action. In Andreas Holzinger, Randy Goebel, Massimo Ferri, and Vasile Palade, editors, Towards Integrative Machine Learning and Knowledge Extraction: BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers, volume 10344 of Lecture Notes in Computer Science, pages 89-116. Springer, Heidelberg, Germany, © Springer, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-69775-8_5. [ bib | DOI | .pdf ]
[2] Fabrizio Riguzzi and Terrance Swift. Probabilistic logic programming under the distribution semantics. In Michael Kifer and Yanhong A. Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. Association for Computing Machinery and Morgan & Claypool, 2017. [ bib | .pdf ]
[3] Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Incremental declarative process mining. In Ngoc Thanh Nguyen and Edward Szczerbicki, editors, Smart Information and Knowledge Management: Advances, Challenges, and Critical Issues, volume 260 of Studies in Computational Intelligence, pages 103-127. Springer, Heidelberg, Germany, © Springer, 2010. [ bib | DOI | http | .pdf ]
[4] Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Improving the k2 algorithm using association rule parameters. In Bernadette Bouchon-Meunier, Giulianella Coletti, and Ronald Yager, editors, Modern Information Processing: From Theory to Applications, pages 207-217. Elsevier, Amsterdam, The Netherlands, 2006. [ bib | DOI | http | .pdf ]
[5] Floriana Esposito, Stefano Ferilli, Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi, and Giovanni Semeraro. Cooperation of abduction and induction in logic programming. In Peter A. Flach and Antonis C. Kakas, editors, Abductive and Inductive Reasoning: Essays on thier Relation and Integration, Applied Logic Series, pages 233-252. Kluwer Academic Publishers, Dordrecht, The Netherlands, © Kluwer Academic Publishers, April 2000. [ bib | DOI | http | .pdf ]

International Conferences

[1] Arnaud Nguembang Fadja and Fabrizio Riguzzi. Lifted discriminative learning of probabilistic logic programs. In Nicolas Lachiche and Christel Vrain, editors, 27th International Conference on Inductive Logic Programming, ILP 2017, 2017. [ bib | .pdf ]
[2] 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 ]
[3] Fabrizio Riguzzi, Riccardo Zese, and Giuseppe Cota. Probabilistic inductive logic programming on the web. In 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016; Bologna; Italy; 19 November 2016 through 23 November 2016, volume 10180 of Lecture Notes in Computer Science, pages 172-175. Springer, Cham, © Springer International Publishing AG, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-58694-6_25. [ bib | DOI | .pdf ]
[4] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Zese Riccardo, and Giuseppe Cota. Abductive logic programming for normative reasoning and ontologies. In Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, and Daisuke Bekki, editors, New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers, volume 10091 of Lecture Notes in Computer Science, pages 187-203, Cham, 2017. © Springer International Publishing AG, Springer International Publishing. [ bib | DOI ]
[5] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina Lamma. Scaling structure learning of probabilistic logic programs by mapreduce. In Maria Fox and Gal Kaminka, editors, 22nd European Conference on Artificial Intelligence ECAI 2016, volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1602-1603. IOS Press, © CC-BY-NC 4.0, 2016. [ bib | DOI | http ]
[6] 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 ]
[7] 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 ]
[8] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Distributed parameter learning for probabilistic ontologies. In Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto, editors, Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers, volume 9575 of Lecture Notes in Computer Science, pages 30-45, Heidelberg, Germany, 2016. © Springer International Publishing Switzerland, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-40566-7_3. [ bib | DOI | .pdf ]
[9] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. An abductive framework for Datalog+- ontologies. In Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni, editors, Technical Communications of the 31st Int'l. Conference on Logic Programming (ICLP 2015), number 1433 in CEUR Workshop Proceedings, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[10] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Reasoning with probabilistic ontologies. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, pages 4310-4316, Palo Alto, California USA, 2015. © International Joint Conferences on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence. [ bib | .pdf ]
[11] Fabrizio Riguzzi and Terrance Swift. The PITA system for logical-probabilistic inference. In Stephen H. Muggleton and Hiroaki Watanabe, editors, Latest Advances in Inductive Logic Programming, Inductive Logic Programming, 21th International Conference, ILP 2011, Late Breaking papers, London, UK, 31 July-3 August, 2011, pages 79-86, Longon, UK, 2014. © World Scientific, World Scientific. [ bib | DOI | .pdf ]
[12] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Learning the parameters of probabilistic description logics. In Gerson Zaverucha, Vitor Santos Costa, and Aline Marins Paes, editors, Late Breaking papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th to 30th, 2013, volume 1187 of CEUR Workshop Proceedings, pages 46-51, Aachen, Germany, 2014. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[13] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Computing instantiated explanations in OWL DL. In Matteo Baldoni, Cristina Baroglio, and Guido Boella, editors, Proceedings of the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA2013), Turin, Italy, 4-6 December 2013, volume 8249 of Lecture Notes in Artificial Intelligence, pages 397-408, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[14] Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. BUNDLE: A reasoner for probabilistic ontologies. In Wolfgang Faber and Domenico Lembo, editors, 7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer Science, pages 183-197, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[15] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Parameter learning for probabilistic ontologies. In Wolfgang Faber and Domenico Lembo, editors, 7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer Science, pages 265-270, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[16] Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli. Constraint and optimization techniques for supporting policy making. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2012), Fort Lauderdale, Florida, USA, January 9-11, 2012, 2012. [ bib | .pdf ]
[17] Elena Bellodi and Fabrizio Riguzzi. Learning the structure of probabilistic logic programs. In Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, and Francesca A. Lisi, editors, Inductive Logic Programming 21st International Conference, ILP 2011, London, UK, July 31 - August 3, 2011. Revised Papers, volume 7207 of LNCS, pages 61-75, Heidelberg, Germany, 2012. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]
[18] Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, and Paolo Cagnoli. An application of fuzzy logic to strategic environmental assessment. In Roberto Pirrone and Filippo Sorbello, editors, Proceedings of the 12th Congress of the Italian Association for Artificial Intelligence, Palermo, 15-17 September 2011, volume 6934 of Lecture Notes in Artificial Intelligence, pages 324-335, Heidelberg, Germany, 2011. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[19] Stefano Bragaglia and Fabrizio Riguzzi. Approximate inference for logic programs with annotated disjunctions. In Paolo Frasconi and Francesca Lisi, editors, Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers, volume 6489 of LNCS, pages 30-37, Heidelberg, Germany, 2011. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf | http ]
[20] Fabrizio Riguzzi and Terrance Swift. Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. In M. Hermenegildo and T. Schaub, editors, Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), volume 7 of Leibniz International Proceedings in Informatics (LIPIcs), pages 162-171, Dagstuhl, Germany, July 2010. License Creative Commons Attribution-Noncommercial-No Derivative Works 3.0, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. [ bib | DOI | http ]
[21] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Probabilistic declarative process mining. In Yaxin Bi and Mary-Anne Williams, editors, Proceedings of the 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Belfast, UK, September 1-3, 2010, volume 6291 of Lecture Notes in Computer Science, pages 292-303, Heidelberg, Germany, 2010. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf | http ]
[22] Fabrizio Riguzzi and Nicola Di Mauro. Applying the information bottleneck approach to SRL: Learning LPAD parameters. In Inductive Logic Programming, 20th International Conference, Firenze, Italy, June 27-30, 2010., 2010. [ bib | .pdf ]
[23] Fabrizio Riguzzi. Inference with logic programs with annotated disjunctions under the well founded semantics. In Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13, 2008, Proceedings, volume 5366 of Lecture Notes in Computer Science, pages 667-771, Heidelberg, Germany, 2008. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[24] Evelina Lamma, Paola Mello, Fabrizio Riguzzi, and Sergio Storari. Applying inductive logic programming to process mining. In Proceedings of the 17th International Conference on Inductive Logic Programming, volume 4894 of Lecture Notes in Artificial Intelligence, pages 132-146, Heidelberg, Germany, 2008. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[25] Fabrizio Riguzzi. ALLPAD: Approximate learning of logic programs with annotated disjunctions. In Stephen Muggleton and Ramon Otero, editors, Proceedings of the 16th International Conference on Inductive Logic Programming, volume 4455 of Lecture Notes in Artificial Intelligence, pages 43-45, Heidelberg, Germany, 2007. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[26] Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Inducing declarative logic-based models from labeled traces. In Proceedings of the 5th International Conference on Business Process Management, volume 4714 of Lecture Notes in Computer Science, pages 344-359, Heidelberg, Germany, 2007. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[27] Fabrizio Riguzzi. A top down interpreter for LPAD and CP-logic. In Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, volume 4733 of Lecture Notes in Artificial Intelligence, pages 109-120, Heidelberg, Germany, 2007. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[28] Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Stefano Volinia. Bayesian networks learning for gene expression datasets. In Advances in Intelligent Data Analysis VI: 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005. Proceedings, volume 3646 of Lecture Notes in Computer Science, pages 109-120, Heidelberg, Germany, September 2005. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[29] Fabrizio Riguzzi. Learning logic programs with annotated disjunctions. In A Srinivasan and R. King, editors, Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings, volume 3194 of Lecture Notes in Artificial Intelligence, pages 270-287, Heidelberg, Germany, September 2004. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[30] Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Exploiting association and correlation rules parameters for improving the k2 algorithm. In Ramon Lopez de Mantaras and Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, volume 110 of Frontiers in Artificial Intelligence and Applications, pages 500-504, Amsterdam, The Netherlands, August 2004. IOS Press. [ bib | .pdf | .pdf ]
[31] Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Improving the k2 algorithm using association rules parameters. In B. Bouchon-Meunier, G. Coletti, and R. R. Yager, editors, Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU2004), Perugia, 4-9 July 2004, pages 1667-1674, Rome, Italy, July 2004. Editrice Università La Sapienza. [ bib | http | .pdf ]
[32] Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, and Sergio Storari. Improving the SLA algorithm using association rules. In Amedeo Cappelli and Franco Turini, editors, AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings, volume 2829 of Lecture Notes on Artificial Intelligence, pages 165-175, Heidelberg, Germany, September 2003. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[33] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision via Lamarckian evolution. In Claudio Delrieux, editor, Second International Workshop on Computational Models of Scientific Reasoning And Applications (II CMSRA) held at IC-AI 2002 Conference, Monte Carlo Resort, Las Vegas, Nevada, USA, June 27, 2002, pages 1-7, Bogart, Georgia, USA, June 2002. CSREA. [ bib | .pdf | .pdf ]
[34] Evelina Lamma, Giuseppe Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Annamaria Nanetti. An intelligent medical system for microbiological data validation and nosocomial infection surveillance. In P. Kokol, B. Stiglic, M. Zorman, and D. Zazula, editors, The 15th International Conference on Computer Based Medical Systems (CBMS 2002), Maribor, Slovenia, 4-7 June 2002, pages 13-20, Los Alamitos, California, USA, June 2002. IEEE Press. [ bib | DOI | http | .pdf ]
[35] Evelina Lamma, Paola Mello, Annamaria Nanetti, Gianluca Poli, Fabrizio Riguzzi, and Sergio Storari. An expert system for microbiological data validation and surveillance. In J. Crespo and F. Maojo, V.and Martin, editors, Medical Data Analysis: Second International Symposium, ISMDA 2001 Madrid, Spain, October 8-9, 2001 Proceedings, volume 2199 of Lecture Notes on Computer Science, pages 153-160, Heidelberg, Germany, October 2001. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[36] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision by Lamarckian evolution. In E.J.W. Boers, J. Gottlieb, P.L. Lanzi, R.E. Smith, S. Cagnoni, E. Hart, G.R. Raidl, and H. Tijink, editors, Applications of Evolutionary Computing : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings, volume 2037 of Lecture Notes on Computer Science, page 404–413, Heidelberg, Germany, April 2001. © Springer, Springer-Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[37] Evelina Lamma, Marco Manservigi, Paola Mello, Roberto Serra, Sergio Storari, and Fabrizio Riguzzi. A system for monitoring nosocomial infections. In R. W. Brause and E. Hanisch, editors, Medical Data Analysis: First International Symposium, ISMDA 2000, Frankfurt, Germany, September 29-30, 2000. Proceedings, volume 1933 of Lecture Notes on Computer Science, pages 282-292, Heidelberg, Germany, September 2000. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[38] Michela Milano, Andrea Omicini, and Fabrizio Riguzzi. Adopting an object-oriented data model in inductive logic programming. In Amruth N. Kumar and Ingrid Russell, editors, Proceedings of the 12th International FLAIRS Conference (FLAIRS99), 3-5 May 1999, Orlando, Florida, USA, pages 273-279, Menlo Park, California, May 1999. AAAI. [ bib | .pdf ]
[39] Antonis Kakas, Evelina Lamma, and Fabrizio Riguzzi. Learning multiple predicates. In Artificial Intelligence: Methodology, Systems, and Applications: 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998. Proceedings, volume 1480 of Lecture Notes on Artificial Intelligence, pages 303-316, Heidelberg, Germany, September 1998. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[40] Fabrizio Riguzzi. Integrating abduction and induction. In Henri Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI98), Brighton, UK, August 23-28 1998, pages 475-476, Chichester, UK, August 1998. John Wiley and Sons. [ bib | .pdf ]
[41] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. A system for abductive learning of logic programs. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997. Selected Papers, volume 1471 of Lecture Notes on Computer Science, pages 102-122, Hidelberg, Germany, June 1998. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[42] Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A system for measuring function points. In Proceedings of the 6th International Conference on Practical Applications of Prolog and 4th International Conference on Practical Applications of Constraint Technology (PAPPACT98), London, March 1998, pages 41-60, London, UK, March 1998. The Practical Application Company Ltd. [ bib | .pdf ]
[43] Antonis C. Kakas and Fabrizio Riguzzi. Learning with abduction. In Inductive Logic Programming: 7th International Workshop, ILP-97 Prague, Czech Republic, September 17-20, 1997 Proceedings, volume 1297 of Lecture Notes on Artificial Intelligence, pages 181 - 188, Heidelberg, Germany, September 1997. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[44] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Introducing abduction into (extensional) inductive logic programming systems. In M. Lenzerini, editor, AI*IA 97: Advances in Artificial Intelligence: 5th Congress of the Italian Association for Artificial Intelligence Rome, Italy, September 17-19, Proceedings, volume 1321 of Lecture Notes on Artificial Intelligence, pages 183 - 194, Heidelberg, Germany, September 1997. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[45] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. An algorithm for learning abductive rules. In Moreno Falaschi, Marisa Navarro, and Alberto Policriti, editors, Proceedings of the APPIA-GULP-PRODE 97 Joint Conference on Declarative Programming, Grado, Italy, 16-19 June 1997, pages 295-305. Dipartimento di Matematica e Informatica, Università di Udine and Gruppo Ricercatore e Utenti di Logic Programming, June 1997. [ bib | .pdf ]
[46] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating induction and abduction in logic programming. In Paul P. Wang, editor, Proceedings of the Third Joint Conference on Information Sciences, 1-5 March 1997, Raleigh, North Carolina, volume 2, pages 203-206, Research Triangle Park, North Carolina, USA, March 1997. Duke University. [ bib | .pdf ]

Reviews

[1] Fabrizio Riguzzi. Review of Echenim, M.; Peltier, N. A superposition calculus for abductive reasoning. J. Automat. Reason. 57, no. 2, 97-134, 2016. . Mathematical Reviews, © American Mathematical Society, December 2016. [ bib | http ]
[2] Fabrizio Riguzzi. Review of Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico Weakest precondition reasoning for expected run-times of probabilistic programs. Programming languages and systems, 364-389, Lecture Notes in Comput. Sci., 9632, Springer, Berlin, 2016. Mathematical Reviews, © American Mathematical Society, October 2016. [ bib | http ]
[3] Fabrizio Riguzzi. Review of Drabent, Wlodzimierz On definite program answers and least Herbrand models. Theory Pract. Log. Program. 16 (2016), no. 4, 498-508. Mathematical Reviews, © American Mathematical Society, October 2016. [ bib | http ]
[4] Fabrizio Riguzzi. Review of Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle Conditioning in probabilistic programming. The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), 199-216, Electron. Notes Theor. Comput. Sci., 319, Elsevier Sci. B. V., Amsterdam, 2015. . Mathematical Reviews, © American Mathematical Society, July 2016. [ bib | http ]
[5] Fabrizio Riguzzi. Review of Alviano, Mario; Faber, Wolfgang Supportedly stable answer sets for logic programs with generalized atoms. (English summary) Web reasoning and rule systems, 30-44, Lecture Notes in Comput. Sci., 9209, Springer, 2015. . Mathematical Reviews, © American Mathematical Society, April 2016. [ bib | http ]
[6] Fabrizio Riguzzi. Review of Chowdhury, Md. Solimul; Liu, Fangfang; Chen, Wu; Karimi, Arash; You, Jia-Huai Polynomial approximation to well-founded semantics for logic programs with generalized atoms: case studies. Logic-based program synthesis and transformation, 279-296, Lecture Notes in Comput. Sci., 8981, Springer, 2015. Mathematical Reviews, © American Mathematical Society, January 2016. [ bib | http ]
[7] Fabrizio Riguzzi. Review of Janhunen, Tomi; Niemelä, Ilkka Cumulativity tailored for nonmonotonic reasoning. Advances in knowledge representation, logic programming, and abstract argumentation, 96-111, Lecture Notes in Comput. Sci., 9060, Springer, 2015. . Mathematical Reviews, © American Mathematical Society, January 2016. [ bib | http ]
[8] Fabrizio Riguzzi. Review of De Raedt, Luc; Kimmig, Angelika Probabilistic (logic) programming concepts. Mach. Learn. 100 (2015), no. 1, 5-47. Mathematical Reviews, © American Mathematical Society, November 2015. [ bib | http ]
[9] Fabrizio Riguzzi. Review of Wakaki, Toshiko Preference-based argumentation built from prioritized logic programming. J. Logic Comput. 25 (2015), no. 2, 251-301. . Mathematical Reviews, © American Mathematical Society, September 2015. [ bib | http ]
[10] Fabrizio Riguzzi. Review of Cinicioglu, Esma Nur Decision making with consonant belief functions: discrepancy resulting with the probability transformation method used. Yugosl. J. Oper. Res. 24 (2014), no. 3, 359-370. Mathematical Reviews, © American Mathematical Society, August 2015. [ bib | http ]

Edited Proceedings and Special Isssues

[1] Marco Gavanelli, Evelina Lamma, and Fabrizio Riguzzi, editors. AI*IA 2015, Advances in Artificial Intelligence, XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings, volume 9336 of Lecture Notes in Computer Science, Heidelberg, Germany, 2015. © Springer International Publishing Switzerland, Springer International Publishing. [ bib | DOI | http ]
[2] Fabrizio Riguzzi and Joost Vennekens, editors. Proceedings of the 2nd International Workshop on Probabilistic Logic Programming (PLP), volume 1413 of CEUR Workshop Proceedings, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | http ]
[3] Fabrizio Riguzzi and Filip Železný. Guest editors' introduction: Special issue on Inductive Logic Programming (ILP 2012). Machine Learning, 94(1-2):1-2, 2014. [ bib | DOI | http ]
[4] Matteo Baldoni, Paola Mello, and Fabrizio Riguzzi. Guest-editorial: 25 years of AI*IA. Intelligenza Artificiale, 7(2):69-69, © IOS Press, 2013. [ bib | DOI ]
[5] Fabrizio Riguzzi and Filip Železný, editors. Inductive Logic Programming, 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers, volume 7842 of Lecture Notes in Artificial Intellingence, Heidelberg, Germany, 2013. © Springer, Springer. [ bib | http ]
[6] Fabrizio Riguzzi and Filip Železný, editors. Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming (ILP), volume 975 of CEUR Workshop Proceedings, Aachen, Germany, 2013. © by the authors, Sun SITE Central Europe. [ bib | http ]
[7] Fabrizio Riguzzi and Filip Železný. Preface. In Fabrizio Riguzzi and Filip Železný, editors, Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming (ILP), volume 975 of CEUR Workshop Proceedings, page 3–4, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[8] Marco Gavanelli, Fabrizio Riguzzi, and Alberto Pettorossi. Preface of the special issue on CILC09. Fundamenta Informaticae, 105(1-2), 2010. [ bib | DOI | .pdf ]
[9] Giorgio Casadei, Fabrizio Riguzzi, and Lorenza Saitta, editors. Atti del Workshop su Intelligenza Artificiale e Didattica, Sesto Congresso dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA99), Bologna, Italy, July 1999. University of Bologna. [ bib ]

National Journals

[1] Fabrizio Riguzzi. A comparison of ILP systems on the Sisyphus dataset. Intelligenza Artificiale, Anno II(3):52-59, September 2005. [ bib | .pdf ]
[2] Fabrizio Riguzzi and Sergio Storari. La sedicesima conferenza europea di intelligenza artificiale (ECAI). Intelligenza Artificiale, Anno I(4):57-60, December 2004. [ bib | .pdf ]
[3] Fabrizio Riguzzi. Apprendimento a ECAI98. AI*IA Notizie (Periodico dell'Associazione Italiana per l'Intelligenza Artificiale), Anno XI(4):32-34, December 1998. [ bib | .pdf ]
[4] Fabrizio Riguzzi. Abstract della tesi di dottorato: Estensioni del linguaggio di rappresentazione della programmazione logica induttiva. AI*IA Notizie (Periodico dell'Associazione Italiana per l'Intelligenza Artificiale), Anno XI(4):48-48, December 1998. [ bib | .pdf ]
[5] Anna Ciampolini, Marco Colnaghi, Fabrizio Riguzzi, and Danilo Stefani. Progettazione di una interfaccia per la visualizzazione realistica di vernici. AI*IA Notizie (Periodico dell'Associazione Italiana per l'Intelligenza Artificiale), Supplemento Interfacce Intelligenti, Anno IX(3), September 1996. [ bib | .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 ]
[2] 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 ]
[3] 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 ]
[4] 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 ]
[5] 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 ]
[6] 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 ]
[7] 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 ]
[8] 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 ]
[9] 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 ]
[10] Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, 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 | .pdf ]

International Workshops

[1] Cristian Zambelli, Giuseppe Cancelliere, Fabrizio Riguzzi, Evelina Lamma, Piero Olivo, Alessia Marelli, and Rino Micheloni. Characterization of TLC 3D-NAND flash endurance through machine learning for LDPC code rate optimization. In 2017 IEEE International Memory Workshop (IMW), pages 1-4. IEEE, May 2017. [ bib | DOI ]
[2] 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] Arnaud Nguembang Fadja, Evelina Lamma, and Fabrizio Riguzzi. Deep probabilistic logic programming. In Christian Theil Have and Riccardo Zese, editors, Proceedings of the 4th International Workshop on Probabilistic logic programming, (PLP 2017), volume 1916 of CEUR Workshop Proceedings, pages 3-14, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[4] 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 ]
[5] Fabrizio Riguzzi. Deductive and inductive probabilistic programming (invited talk). 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 1-1, Aachen, Germany, 2016. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[6] 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 ]
[7] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Learning probabilistic ontologies with distributed parameter learning. In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of CEUR Workshop Proceedings, pages 7-12, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[8] Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Tableau reasoners for probabilistic ontologies exploiting logic programming techniques. In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of CEUR Workshop Proceedings, pages 1-6, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[9] Fabrizio Riguzzi. The distribution semantics is well-defined for all normal programs. In Fabrizio Riguzzi and Joost Vennekens, editors, Proceedings of the 2nd International Workshop on Probabilistic Logic Programming (PLP), volume 1413 of CEUR Workshop Proceedings, pages 69-84, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[10] Jan Wielemaker, Torbjörn Lager, and Fabrizio Riguzzi. SWISH: SWI-Prolog for sharing. In Stefan Ellmauthaler and Claudia Schulz, editors, International Workshop on User-Oriented Logic Programming (IULP 2015), © by the authors, 2015. [ bib | http ]
[11] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Structure learning with distributed parameter learning for probabilistic ontologies. In Jaakko Hollmen and Panagiotis Papapetrou, editors, Doctoral Consortium of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, pages 75-84, © by the authors, 2015. [ bib | http | http ]
[12] Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Logic programming techniques for reasoning with probabilistic ontologies. In Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, and Daniele Porello, editors, Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology; Buenos Aires; Argentina; 25 July 2015 through 27 July 2015, volume 1517 of CEUR Workshop Proceedings, Aachen, Germany, 2015. © CC0 https://creativecommons.org/publicdomain/zero/1.0/, Sun SITE Central Europe. [ bib | .pdf ]
[13] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Epistemic and statistical probabilistic ontologies. In Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool, editors, Proceedings of the 8th International Workshop on Uncertain Reasoning for the Semantic Web (URSW2012), Boston, USA, 11 November 2012, number 900 in CEUR Workshop Proceedings, pages 3-14, Aachen, Germany, 2012. Sun SITE Central Europe. [ bib | .pdf ]
[14] Elena Bellodi and Fabrizio Riguzzi. Parameter and structure learning algorithms for statistical relational learning. In Paolo Liberatore, Michele Lombardi, and Floriano Scioscia, editors, Doctoral Consortium of the 12th AI*IA Symposium on Artificial Intelligence, Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence Rome, Italy, June 15, 2012, volume 926 of CEUR Workshop Proceedings, pages 5-9, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[15] Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. Probabilistic Datalog+/- under the distribution semantics. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL2012), Roma, Italy, 7-10 June 2012, volume 846 of CEUR Workshop Proceedings, pages 519-529, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[16] Elena Bellodi and Fabrizio Riguzzi. An Expectation Maximization algorithm for probabilistic logic programs. In Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, and Giuseppe Manco, editors, Proceedings of the Workshop on Mining Complex Patterns (MCP2011), 17 September 2011, pages 26-37, Palermo, Italy, © by the authors, September 2011. [ bib | .pdf | .pdf ]
[17] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Simone Albani. A distribution semantics for probabilistic ontologies. In Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool, editors, Proceedings ot the 7th International Workshop on Uncertainty Reasoning for the Semantic Web, Bonn, Germany, 23 October, 2011, volume 778 of CEUR Workshop Proceedings, pages 75-86, Aachen, Germany, 2011. Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[18] Fabrizio Riguzzi and Terrance Swift. Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions. In Marco Gavanelli and Toni Mancini, editors, Proceedings of the 17th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Bologna, Italy, June 10-11, 2010, volume 616 of CEUR Workshop Proceedings, pages 1-10, Aachen, Germany, 2010. Sun SITE Central Europe. [ bib | http | .pdf ]
[19] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Mining probabilistic declarative process models. In Marco Gavanelli and Toni Mancini, editors, Session R.i.C.e.R.c.A: RCRA Incontri E Confronti of the 16th RCRA International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2009) Reggio Emilia, Italy, 11-12 December 2009, 2009. [ bib | .pdf ]
[20] Stefano Bragaglia and Fabrizio Riguzzi. Approximate inference for logic programs with annotated disjunctions. In Marco Gavanelli and Toni Mancini, editors, Session R.i.C.e.R.c.A: RCRA Incontri E Confronti of the 16th RCRA International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2009) Reggio Emilia, Italy, 11-12 December 2009, 2009. [ bib | .pdf ]
[21] Fabrizio Riguzzi. The SLGAD procedure for inference on Logic Programs with Annotated Disjunctions. In Marco Gavanelli and Toni Mancini, editors, Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Udine, Italy, December 12-13, 2008, volume 451 of CEUR Workshop Proceedings, Aachen, Germany, 2009. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[22] Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, and Sergio Storari. Checking compliance of execution traces to business rules. In Proceedings of the 4th Workshop on Business Process Intelligence (BPI 08), volume 17 of Lecture Notes in Business Information Processing, pages 129-140, Heidelberg, Germany, 2009. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[23] Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Marco Montali. Learning decserflow models from labeled traces. In Proceedings of the 1st International Workshop on the Induction of Process Models, 2007. [ bib | .pdf ]
[24] Fabrizio Riguzzi. A top down interpreter for LPAD and CP-logic. In Proceedings of the 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2007. [ bib | .pdf ]
[25] Fabrizio Riguzzi. Learning ground problog programs from interpretations. In Proceedings of the 6th Workshop on Multi-Relational Data Mining (MRDM07), 2007. [ bib | .pdf ]
[26] Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara Scapoli. Combining apriori and bootstrap techniques for marker analysis. In Proceedings of the Workshop Data Mining in Functional Genomics and Proteomics: Current Trends and Future Directions, 2007. [ bib | .pdf ]
[27] Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara Scapoli. Marker analysis with apriori-based algorithms. In Melanie Hilario and Claire Nédellec, editors, Notes from the Workshop on Data and Text Mining for Integrative Biology of the 17th European Conference on Machine Learning (ECML'2006) and the 10th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'2006), pages 61-66, Berlin, Germany, September 2006. [ bib | .pdf | .pdf ]
[28] Fabrizio Riguzzi. Two results regarding refinement operators. In S. Kramer and B. Pfahringer, editors, Late Breaking Papers, 15th International Workshop on Inductive Logic Programming (ILP05), Bonn, Germany, August 10-13, 2005, pages 53-58, München, Germany, July 2005. Technische Universität München. Report TUM-I0510. [ bib | .pdf ]
[29] Fabrizio Riguzzi. A simple approach to a multi-label classification problem. In S. Kramer and B. Pfahringer, editors, Discovery Challenge, Late Breaking Papers, 15th International Workshop on Inductive Logic Programming (ILP05), Bonn, Germany, August 10-13, 2005, pages 105-110, München, Germany, July 2005. Technische Universität München. Report TUM-I0510. [ bib | .pdf ]
[30] Fabrizio Riguzzi. Classification and visualization on the hepatitis dataset. In Petr Berka and Bruno Cremilleux, editors, ECML/PKDD 2004 Discovery Challenge, Pisa, 20-24 September 2004, September 2004. [ bib | .ps | .pdf ]
[31] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision by multi-agent genetic search. In ICLP01 2nd International Workshop on Computational Logic for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001. [ bib | .pdf ]
[32] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. A system for multi-agent belief revision by genetic search. In ICLP01 2nd International Workshop on Computational Logic for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001. [ bib | .pdf ]
[33] Evelina Lamma, Marco Manservigi, Paola Mello, Annamaria Nanetti, Fabrizio Riguzzi, and Sergio Storari. The automatic discovery of alarm rules for the validation of microbiological data. In R. Bellazzi, B. Zupan, and X. Liu, editors, 6th Internationl Workshop on Intelligent Data Analysis In Medicine And Pharmacology (IDAMAP2001), pages 1-7, London, UK, September 2001. [ bib | .pdf ]
[34] Evelina Lamma, Marco Manservigi, Paola Mello, Fabrizio Riguzzi, Roberto Serra, and Sergio Storari. A system for monotoring nosocomial infections. In Nada Lavrač, Silvia Miksch, and Branko Kavšek, editors, ECAI2000 Workshop on Intelligent Data Analysis in Medicine and Pharmacology (IDAMAP-2000), Berlin, 20-25 August 2000, pages 17-19, Berlin, Germany, August 2000. ECAI Workshop Notes. [ bib | .pdf | .pdf ]
[35] Rita Cucchiara, Paola Mello, Massimo Piccardi, and Fabrizio Riguzzi. An application of machine learning and statistics to defect detection. In Floriana Esposito and Donato Malerba, editors, ECAI2000 Workshop on Machine Learning in Computer Vision (MLCV00), Berlin, 22 August 2000, Berlin, Germany, August 2000. ECAI Workshop Notes. [ bib | .pdf ]
[36] Evelina Lamma, Luís Moniz Pereira, and Fabrizio Riguzzi. Logic aided Lamarckian evolution. In Pavel Brazdil and Ryszard S. Michalski, editors, Procs. of Multi-Strategy Learning Workshop (MSL00), Guimarães, Portugal, pages 59-73, Porto, Portugal, June 2000. LIAAC - Universidade do Porto. [ bib | .pdf ]
[37] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Agents learning in a three-valued logical setting. In Workshop on Machine Learning and Intelligent Agents Advanced Course on Artificial Intelligence 1999 (ACAI'99), Crete, Greece, July 1999. [ bib | .pdf ]
[38] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Learning three-valued logic programs. In S. Dzeroski and P. Flach, editors, Late Breaking Paper, 9th International Workshop on Inductive Logic Programming (ILP99), Bled, Slovenia, June 1999. [ bib | .pdf ]
[39] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Strategies for learning with extended logic programs. In Floriana Esposito, Ryszard Michalski, and Lorenza Saitta, editors, Proceedings of the Fourth International Workshop on Multistrategy Learning (MSL98), Desenzano del Garda, Italy, 11-13 June 1998, pages 99-108, Torino, Italy, June 1998. Dipartimento di Informatica, Università di Torino. [ bib ]
[40] Fabrizio Riguzzi. Learning in a three-valued setting. In Proceedings of the CompulogNet Area Meeting “Computational Logic and Machine Learning”, June 1998, Bristol, UK, pages 63-69, Manchester, UK, June 1998. University of Manchester. [ bib | .pdf ]
[41] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Learning with extended logic programs. In Juergen Dix and Jorge Lobo, editors, Proceedings of the Logic Programming track of the Seventh International Workshop on Nonmonotonic Reasoning (LP-NMR98), Trento, Italy, May 30 - June 1, 1998, pages 1-9, Koblenz, Germany, May 1998. Universität Koblenz-Landau, Institut für Informatik. [ bib | .ps.gz | .pdf ]
[42] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. A system for learning abductive logic programs. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, Proceedings of the ILPS97 Workshop on Logic Programming and Knowledge Representation (LPKR97), Port Jefferson, New York, USA, October 17, 1997, pages 55-66, Koblenz, Germany, October 1997. Universität Koblenz-Landau, Institut für Informatik. [ bib | .pdf ]
[43] Fabrizio Riguzzi. Using abductive logic programming as a representation formalism for ILP. In Proceedings of the CompulogNet Area Meeting “Computational Logic and Machine Learning: Representation Issues in Reasoning and Learning”, pages 15-18, Prague, Czech Republic, September 1997. Compulog Net. [ bib | .pdf ]
[44] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating extensional and intensional ILP systems through abduction. In Norbert E. Fuchs, editor, LOPSTR97, Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 10-12, 1997, volume Report CW 253, pages 1-8, Leuven, Belgium, July 1997. Department of Computer Science, Katholieke Universiteit Leuven. [ bib | .pdf ]
[45] Floriana Esposito, Evelina Lamma, Donato Malerba, Paola Mello, Michela Milano, Fabrizio Riguzzi, and Giovanni Semeraro. Learning abductive logic programs. In Peter A. Flach and Antonis C. Kakas, editors, Proceedings of the ECAI96 Workshop on Abductive and Inductive Reasoning, pages 23-30, Budapest, Hungary, August 1996. [ bib | .pdf ]

National Workshops

[1] Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. Semantics and inference for probabilistic ontologies. In Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, and Marco Montali, editors, Popularize Artificial Intelligence. Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth (PAI 2012), Rome, Italy, June 15, 2012, volume 860 of CEUR Workshop Proceedings, pages 41-46, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[2] Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, and Davide Formenti. Un sistema di vision inspection basato su reti neurali. In Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, and Marco Montai, editors, Popularize Artificial Intelligence. Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth (PAI 2012), Rome, Italy, June 15, 2012, volume 860 of CEUR Workshop Proceedings, pages 1-6, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[3] 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 ]
[4] Peter Flach, Valentina Maraldi, and Fabrizio Riguzzi. Algorithms for efficiently and effectively using background knowledge in tertius. In Marco Gavanelli and Tony Mancini, editors, Incontro del Gruppo di Lavoro Rappresentazione della Conoscenza e Ragionamento Automatico (RCRA) dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) dal titolo “Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale”, 23 giugno 2006, Udine, Italy, June 2006. [ bib | .pdf ]
[5] Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. Exploiting abduction for learning from incomplete interpretations. In Marco Gavanelli and Tony Mancini, editors, Incontro del Gruppo di Lavoro Rappresentazione della Conoscenza e Ragionamento Automatico (RCRA) dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) dal titolo “Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale”, 23 giugno 2006, Udine, Italy, June 2006. [ bib | .pdf ]
[6] Fabrizio Riguzzi. A comparison of ILP systems on the Sisyphus dataset. In Marco Cadoli, Marco Gavanelli, and Tony Mancini, editors, Incontro del Gruppo di Lavoro Rappresentazione della Conoscenza e Ragionamento Automatico (RCRA) dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) dal titolo “Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale”, 10 giugno 2005, Ferrara, Italy, June 2005. [ bib | .pdf ]
[7] Michela Milano, Andrea Omicini, and Fabrizio Riguzzi. Learning with an object-oriented data model. In Incontro dei Gruppi di Lavoro su Apprendimento Automatico e Linguaggio Naturale dell'Associazione Italiana per l'Intelligenza Artificiale (AIIA), December 1997. [ bib | .pdf ]
[8] Fausto Gramantieri, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. Un sistema basato sulla conoscenza per il calcolo dei function point. In Incontro del Gruppo di Lavoro su Rapprensentazione della Conoscenza e Ragionamento Automatico dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) e dell'Associazione italiana Tecnologie Avanzate Basate su concetti Orientati ad Oggetti (TABOO) dal titolo “Rappresentazione della conoscenza e tecniche ad oggetti nell'ingegneria del software”, Bologna, 4 April 1997, April 1997. [ bib | .pdf ]

Invited Papers in International Journals

[1] Fabrizio Riguzzi and Giuseppe Cota. Probabilistic logic programming tutorial. The Association for Logic Programming Newsletter, 29(1), © by the authors, March/April 2016. [ bib | http ]
[2] José Júlio Alferes, Pierangelo Dell'Acqua, Evelina Lamma, João Alexandre Leite, Luís Moniz Pereira, and Fabrizio Riguzzi. A logic based approach to multi-agent systems. The Association for Logic Programming Newsletter, 14(3), August 2001. [ bib | .pdf ]

PhD Thesis

[1] Fabrizio Riguzzi. Extensions of Logic Programming as a Representation Language for Machine Learning. PhD thesis, DEIS, Università of Bologna, Bologna, Italy, © Fabrizio Riguzzi, November 1998. Technical Report DEIS-LIA-98-005, LIA Series n.33. [ bib | http | .pdf ]

Technical Reports

[1] Fabrizio Riguzzi. Introduzione all'intelligenza artificiale. CoRR, abs/1511.04352, © CC-BY, 2015. Published as Fabrizio Riguzzi, Introduzione all'Intelligenza Artificiale, Terre di Confine, 2(1), January 2006, License CC-BY. [ bib | http ]
[2] Elena Bellodi and Fabrizio Riguzzi. EM over binary decision diagrams for probabilistic logic programs. Technical Report CS-2011-01, Dipartimento di Ingegneria, Università di Ferrara, Italy, 2011. [ bib | .pdf ]
[3] Fabrizio Riguzzi and Nicola Di Mauro. Application of the information bottleneck to LPAD learning. Technical Report CS-2010-01, Dipartimento di Ingegneria, Università di Ferrara, Italy, 2010. [ bib | .pdf ]
[4] Fabrizio Riguzzi. The SLGAD procedure for inference on logic programs with annotated disjunctions. Technical Report CS-2008-01, Dipartimento di Ingegneria, Università di Ferrara, 2008. [ bib | .pdf ]
[5] Fabrizio Riguzzi. ALLPAD: Approximate learning of logic programs with annotated disjunctions. Technical Report CS-2006-01, Dipartimento di Ingegneria, Università di Ferrara, October 2006. [ bib | .pdf ]
[6] Fabrizio Riguzzi. Specification of the application supersport with ER-DFD. Technical Report CS-2003-01, Dipartimento di Ingegneria, Università di Ferrara, July 2003. [ bib | .pdf ]
[7] Fausto Gramantieri, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A system for measuring function points from specifications. Technical Report DEIS-LIA-97-006, LIA Series n.23, DEIS, Università di Bologna, April 1997. [ bib | .pdf ]
[8] Antonis C. Kakas and Fabrizio Riguzzi. Abductive concept learning. Technical Report TR-96-15, Computer Science Department, University of Cyprus, December 1996. [ bib | .pdf ]
[9] Fabrizio Riguzzi. A survey of software metrics. Technical Report DEIS-LIA-96-010, LIA Series n.17, DEIS, Università di Bologna, July 1996. [ bib | .pdf ]