Picture for Riccardo Zese

Riccardo Zese

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

Add code
Jun 15, 2023
Viaarxiv icon

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints

Add code
Aug 06, 2021
Figure 1 for Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Figure 2 for Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Viaarxiv icon

A Framework for Reasoning on Probabilistic Description Logics

Add code
Oct 02, 2020
Figure 1 for A Framework for Reasoning on Probabilistic Description Logics
Figure 2 for A Framework for Reasoning on Probabilistic Description Logics
Figure 3 for A Framework for Reasoning on Probabilistic Description Logics
Figure 4 for A Framework for Reasoning on Probabilistic Description Logics
Viaarxiv icon

MAP Inference for Probabilistic Logic Programming

Add code
Sep 01, 2020
Figure 1 for MAP Inference for Probabilistic Logic Programming
Figure 2 for MAP Inference for Probabilistic Logic Programming
Figure 3 for MAP Inference for Probabilistic Logic Programming
Figure 4 for MAP Inference for Probabilistic Logic Programming
Viaarxiv icon

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

Add code
Sep 17, 2018
Figure 1 for Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
Figure 2 for Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
Figure 3 for Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
Figure 4 for Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
Viaarxiv icon

Reasoning with Probabilistic Logics

Add code
Jan 29, 2015
Figure 1 for Reasoning with Probabilistic Logics
Viaarxiv icon

Lifted Variable Elimination for Probabilistic Logic Programming

Add code
Oct 10, 2014
Figure 1 for Lifted Variable Elimination for Probabilistic Logic Programming
Figure 2 for Lifted Variable Elimination for Probabilistic Logic Programming
Figure 3 for Lifted Variable Elimination for Probabilistic Logic Programming
Viaarxiv icon