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
∙
06/03/2020
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
Deep learning techniques play an increasingly important role in industri...
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