Proceedings of the Sixth Workshop on Natural Language for Artificial Intelligence (NL4AI 2022) co-located with 21th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022), 2022

MAP Inference in Probabilistic Answer Set Programs.

[BibT_eX]

[DOI]

Damiano Azzolini

Elena Bellodi

Fabrizio Riguzzi

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities.

[BibT_eX]

[DOI]

Damiano Azzolini

Elena Bellodi

Fabrizio Riguzzi

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

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

Special Issue on Probabilistic Logic Programming (PLP 2018).

[BibT_eX]

[DOI]

Elena Bellodi

Tom Schrijvers

Int. J. Approx. Reason., 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

A Probabilistic Logic Model of Lightning Network.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems Workshops, 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

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 AIxIA 2020 - Advances in Artificial Intelligence, 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

Summarizing significant subgraphs by probabilistic logic programming.

[BibT_eX]

[DOI]

Elena Bellodi

Ken Satoh

Mahito Sugiyama

Intell. Data Anal., 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

Modeling Bitcoin Protocols with Probabilistic Logic Programming.

[BibT_eX]

[DOI]

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

2017

A web system for reasoning with probabilistic OWL.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2017

Economic and organizational impact of a clinical decision support system on laboratory test ordering.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 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

2016

Probabilistic logic programming on the web.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

Statistical relational learning for workflow mining.

[BibT_eX]

[DOI]

Elena Bellodi

Fabrizio Riguzzi

Evelina Lamma

Intell. Data Anal., 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

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

2015

Structure learning of probabilistic logic programs by searching the clause space.

[BibT_eX]

[DOI]

Elena Bellodi

Fabrizio Riguzzi

Theory Pract. Log. Program., 2015

Probabilistic Description Logics under the distribution semantics.

[BibT_eX]

[DOI]

Semantic Web, 2015

Bandit-based Monte-Carlo structure learning of probabilistic logic programs.

[BibT_eX]

[DOI]

Nicola Di Mauro

Elena Bellodi

Fabrizio Riguzzi

Mach. Learn., 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

Reasoning with Probabilistic Ontologies.

[BibT_eX]

[DOI]

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

Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with 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

Integration of logic and probability in inductive and terminological reasoning.

[BibT_eX]

[DOI]

Elena Bellodi

Intelligenza Artificiale, 2014

A History of Probabilistic Inductive Logic Programming.

[BibT_eX]

[DOI]

Fabrizio Riguzzi

Elena Bellodi

Riccardo Zese

Frontiers Robotics AI, 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

Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

2013

Integration of Logic and Probability in Terminological and Inductive Reasoning.

[BibT_eX]

[DOI]

Elena Bellodi

PhD thesis, 2013

Expectation maximization over binary decision diagrams for probabilistic logic programs.

[BibT_eX]

[DOI]

Elena Bellodi

Fabrizio Riguzzi

Intell. Data Anal., 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