Elena Bellodi

Softw. Pract. Exp., September, 2023

The distribution semantics in probabilistic logic programming and probabilistic description logics: a survey.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2023

Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy.

[BibT_eX]

[DOI]

CoRR, 2023

Efficient Resource-Aware Neural Architecture Search with a Neuro-Symbolic Approach.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2023

2022

Abduction with probabilistic logic programming under the distribution semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2022

Statistical Statements in Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Smart Cities Conference, 2022

Learning the Parameters of Probabilistic Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 31st International Conference, 2022

Abduction in (Probabilistic) Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts.

[BibT_eX]

[DOI]

Alessandro Bertagnon

Marco Gavanelli

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]

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

Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities.

[BibT_eX]

[DOI]

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]

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]

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 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

Summarizing significant subgraphs by probabilistic logic programming.

[BibT_eX]

[DOI]

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]

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]

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

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]

Intelligenza Artificiale, 2014

A History of Probabilistic Inductive Logic Programming.

[BibT_eX]

[DOI]

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]

PhD thesis, 2013

Expectation maximization over binary decision diagrams for probabilistic logic programs.

[BibT_eX]

[DOI]

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]