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
∙
05/13/2023
Automatic Differentiation in Prolog
Automatic differentiation (AD) is a range of algorithms to compute the n...
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
∙
09/17/2021
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs
Hybrid probabilistic logic programs can represent several scenarios than...
research
∙
08/06/2021
Optimizing Probabilities in Probabilistic Logic Programs
Probabilistic Logic Programming is an effective formalism for encoding p...
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
∙
09/19/2020
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
08/04/2020
MAP Inference for Probabilistic Logic Programming
In Probabilistic Logic Programming (PLP) the most commonly studied infer...
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
∙
10/22/2019
Quantum Weighted Model Counting
In Weighted Model Counting (WMC) we assign weights to Boolean literals a...
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
∙
08/24/2018
Using SWISH to realise interactive web based tutorials for logic based languages
Programming environments have evolved from purely text based to using gr...
research
∙
11/13/2015
Introduzione all'Intelligenza Artificiale
The paper presents an introduction to Artificial Intelligence (AI) in an...
research
∙
11/03/2015
SWISH: SWI-Prolog for Sharing
Recently, we see a new type of interfaces for programmers based on web t...
research
∙
05/13/2014
Lifted Variable Elimination for Probabilistic Logic Programming
Lifted inference has been proposed for various probabilistic logical fra...
research
∙
09/09/2013
Structure Learning of Probabilistic Logic Programs by Searching the Clause Space
Learning probabilistic logic programming languages is receiving an incre...
research
∙
10/04/2011
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
The distribution semantics is one of the most prominent approaches for t...
research
∙
07/24/2011