[1] | 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 ] |
[2] | Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, and Miguel Calejo. Using SWISH to realise interactive web based tutorials for logic based languages. Theory and Practice of Logic Programming, 2018. [ bib | .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] | Arnaud Nguembang Fadja and Fabrizio Riguzzi. Lifted discriminative learning of probabilistic logic programs. Machine Learning, © Springer, 2018. [ bib | DOI | .pdf ] |
[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 ] |
[6] | 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 | .pdf ] |
[7] | 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 ] |
[8] | 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 ] |
[9] | 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 ] |
[10] | 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 ] |
[11] | 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 ] |
[12] | 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 ] |
[13] | 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 ] |
[14] | 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 ] |
[15] | 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 ] |
[16] | 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 ] |
[17] | 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 ] |
[18] | 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 ] |
[19] | Fabrizio Riguzzi. Speeding up inference for probabilistic logic programs. The Computer Journal, 57(3):347-363, © Oxford University Press, 2014. [ bib | DOI | .pdf ] |
[20] | 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 ] |
[21] | 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 ] |
[22] | Fabrizio Riguzzi. MCINTYRE: A Monte Carlo system for probabilistic logic programming. Fundamenta Informaticae, 124(4):521-541, © IOS Press, 2013. [ bib | DOI | .pdf ] |
[23] | 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 | .pdf ] |
[24] | 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 ] |
[25] | 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 ] |
[26] | 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 ] |
[27] | 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 | .pdf ] |
[28] | Fabrizio Riguzzi. SLGAD resolution for inference on Logic Programs with Annotated Disjunctions. Fundamenta Informaticae, 102(3-4):429-466, October 2010. [ bib | DOI | .pdf ] |
[29] | 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 | .pdf ] |
[30] | 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 | .pdf ] |
[31] | 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 ] |
[32] | 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 | .pdf ] |
[33] | 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 | .pdf ] |
[34] | 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 | .pdf ] |
[35] | 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 | .pdf ] |
[36] | 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 ] |
[37] | 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 ] |
[38] | 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 ] |
[39] | 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 | .pdf ] |
[40] | 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 ] |
[41] | 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 ] |
[42] | 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 ] |
This file was generated by bibtex2html 1.96.