Picture for Fabrizio Riguzzi

Fabrizio Riguzzi

Università di Ferrara

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables

Add code
Sep 30, 2024
Viaarxiv icon

Solving Decision Theory Problems with Probabilistic Answer Set Programming

Add code
Aug 21, 2024
Viaarxiv icon

Symbolic Parameter Learning in Probabilistic Answer Set Programming

Add code
Aug 16, 2024
Viaarxiv icon

Fast Inference for Probabilistic Answer Set Programs via the Residual Program

Add code
Aug 14, 2024
Viaarxiv icon

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI

Add code
Jun 03, 2024
Viaarxiv icon

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

Add code
Jun 15, 2023
Figure 1 for Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
Figure 2 for Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
Figure 3 for Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
Figure 4 for Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
Viaarxiv icon

Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs

Add code
Sep 17, 2021
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

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Add code
Sep 19, 2020
Viaarxiv icon