[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, © Springer, 2018. [ bib | DOI | .pdf | http ] |
[2] | Fabrizio Riguzzi and Theresa 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, 2018. [ bib | .pdf ] |
[3] | 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 ] |
[4] | 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 ] |
[5] | 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 ] |
[6] | 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 ] |
[7] | 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 ] |
[8] | 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 ] |
[9] | 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 ] |
[10] | 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 ] |
[11] | 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 ] |
[12] | 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 ] |
[13] | 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 ] |
[14] | 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 ] |
[15] | 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 ] |
[16] | 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 ] |
[17] | Fabrizio Riguzzi. Review of Kötzing, Timo; Palenta, Raphaela A map of update constraints in inductive inference. Theoret. Comput. Sci. 650 (2016), 4-24. . Mathematical Reviews, © American Mathematical Society, March 2017. [ bib | http ] |
[18] | 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 ] |
[19] | 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 ] |
[20] | 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 ] |
[21] | 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 ] |
[22] | 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 ] |
[23] | 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 ] |
[24] | 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 ] |
[25] | 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 ] |
[26] | 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 ] |
[27] | 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 ] |
[28] | 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 ] |
[29] | 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 ] |
[30] | 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 ] |
[31] | 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 ] |
[32] | 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 ] |
[33] | 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 ] |
[34] | 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 ] |
[35] | 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 ] |
This file was generated by bibtex2html 1.96.