Proceedings of the 2nd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022

Abduction with probabilistic logic programming under the distribution semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2022

An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

Towards Smart Cities for Tourism: the POLIS-EYE Project.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Smart Cities Conference, 2022

2021

Optimizing a tableau reasoner and its implementation in Prolog.

[BibT_eX]

[DOI]

Riccardo Zese

Giuseppe Cota

J. Web Semant., 2021

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Probabilistic inductive constraint logic.

[BibT_eX]

[DOI]

Mach. Learn., 2021

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

CoRR, 2021

Neural Network Techniques for Detecting Intra-Domestic Water Leaks of Different Magnitude.

[BibT_eX]

[DOI]

IEEE Access, 2021

Machine Learning in a Policy Support System for Smart Tourism Management.

[BibT_eX]

[DOI]

Elena Bellodi

Riccardo Zese

Francesco Bertasi

Proceedings of the Machine Learning, Optimization, and Data Science, 2021

2020

A Framework for Reasoning on Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Applications and Practices in Ontology Design, 2020

MAP Inference for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Dischargeable Obligations in the <i>𝒮</i>CIFF Framework.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

A Framework for Reasoning on Probabilistic Description Logics.

[BibT_eX]

[DOI]

CoRR, 2020

Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020

2019

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018.

[BibT_eX]

[DOI]

Mach. Learn., 2019

Probabilistic Logic Programming (PLP 2017).

[BibT_eX]

[DOI]

Christian Theil Have

Riccardo Zese

Int. J. Approx. Reason., 2019

KRaider: a Crawler for Linked Data.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

Reasoning on Datalog<sup>±</sup> Ontologies with Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Tableau reasoning for description logics and its extension to probabilities.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2018

A Modular Inference System for Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Probabilistic Inference in SWI-Prolog.

[BibT_eX]

[DOI]

Fabrizio Riguzzi

Jan Wielemaker

Riccardo Zese

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

Modeling Bitcoin Protocols with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

2017

Probabilistic Semantic Web

[BibT_eX]

[DOI]

Riccardo Zese

Studies on the Semantic Web 28, IOS Press, ISBN: 978-1-61499-734-4, 2017

Probabilistic Semantic Web: reasoning and learning.

[BibT_eX]

[DOI]

Riccardo Zese

PhD thesis, 2017

A web system for reasoning with probabilistic OWL.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2017

Causal inference in cplint.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

cplint on SWISH: Probabilistic Logical Inference with a Web Browser.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2017

Probabilistic Inductive Logic Programming on the Web.

[BibT_eX]

[DOI]

Fabrizio Riguzzi

Riccardo Zese

Proceedings of the Doctoral Consortium, 2017

Dischargeable Obligations in Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), 2017

Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Probabilistic logic programming on the web.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

Probabilistic Constraint Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), 2016

Probabilistic Inductive Logic Programming on the Web.

[BibT_eX]

[DOI]

Fabrizio Riguzzi

Riccardo Zese

Giuseppe Cota

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

Scaling Structure Learning of Probabilistic Logic Programs by MapReduce.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Probabilistic Logic Programming for Natural Language Processing.

[BibT_eX]

[DOI]

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), 2016

Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Probabilistic Logical Inference on the Web.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Probabilistic Description Logics under the distribution semantics.

[BibT_eX]

[DOI]

Semantic Web, 2015

Abductive Logic Programming for Normative Reasoning and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Distributed Parameter Learning for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Logic Programming Techniques for Reasoning with Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Inference and Learning for Probabilistic Description Logics.

[BibT_eX]

[DOI]

Riccardo Zese

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasoning with Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

An Abductive Framework for Datalog± Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Abductive logic programming for Datalog +/- ontologies.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Learning Probabilistic Ontologies with Distributed Parameter Learning.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

Lifted Variable Elimination for Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

A History of Probabilistic Inductive Logic Programming.

[BibT_eX]

[DOI]

Fabrizio Riguzzi

Elena Bellodi

Riccardo Zese

Frontiers Robotics AI, 2014

Reasoning with Probabilistic Logics.

[BibT_eX]

[DOI]

Riccardo Zese

CoRR, 2014

Semantics and Inference for Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Learning Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Learning Probabilistic Description Logics Theories.

[BibT_eX]

[DOI]

Riccardo Zese

Proceedings of the Second Doctoral Workshop in Artificial Intelligence (DWAI 2014) An official workshop of the 13th Symposium of the Italian Association for Artificial Intelligence "Artificial Intelligence for Society and Economy" (AI*IA 2014), 2014

2013

Parameter Learning for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

BUNDLE: A Reasoner for Probabilistic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Learning the Parameters of Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to, 2013

A Description Logics Tableau Reasoner in Prolog.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

Computing Instantiated Explanations in OWL DL.

[BibT_eX]

[DOI]

Fabrizio Riguzzi