Picture for Evelina Lamma

Evelina Lamma

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

Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules

Add code
Jun 03, 2020
Figure 1 for Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
Figure 2 for Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
Figure 3 for Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
Figure 4 for Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
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

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

A CHR-based Implementation of Known Arc-Consistency

Add code
Aug 24, 2004
Figure 1 for A CHR-based Implementation of Known Arc-Consistency
Figure 2 for A CHR-based Implementation of Known Arc-Consistency
Viaarxiv icon