research
∙
06/15/2023
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
The necessity to manage inconsistency in Description Logics Knowledge Ba...
share
research
∙
08/05/2022
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Hybrid Knowledge Bases based on Lifschitz's logic of Minimal Knowledge w...
research
∙
08/06/2021
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Uncertain information is being taken into account in an increasing numbe...
research
∙
10/02/2020
A Framework for Reasoning on Probabilistic Description Logics
While there exist several reasoners for Description Logics, very few of ...
research
∙
08/04/2020
MAP Inference for Probabilistic Logic Programming
In Probabilistic Logic Programming (PLP) the most commonly studied infer...
research
∙
09/17/2018
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
When modeling real world domains we have to deal with information that i...
research
∙
05/13/2014
Lifted Variable Elimination for Probabilistic Logic Programming
Lifted inference has been proposed for various probabilistic logical fra...
research
∙
05/05/2014