research
∙
04/03/2023
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Argumentation problems are concerned with determining the acceptability ...
share
research
∙
03/08/2023
Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Neural-symbolic AI (NeSy) allows neural networks to exploit symbolic bac...
research
∙
02/21/2023
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
Over the past three decades, the logic programming paradigm has been suc...
research
∙
05/16/2022
Efficient Knowledge Compilation Beyond Weighted Model Counting
Quantitative extensions of logic programming often require the solution ...
research
∙
10/15/2021
Using DeepProbLog to perform Complex Event Processing on an Audio Stream
In this paper, we present an approach to Complex Event Processing (CEP) ...
research
∙
10/05/2021
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation
We introduce SMProbLog, a generalization of the probabilistic logic prog...
research
∙
02/22/2021
Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits
When collaborating with an AI system, we need to assess when to trust it...
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
∙
09/07/2020
A Hybrid Neuro-Symbolic Approach for Complex Event Processing
Training a model to detect patterns of interrelated events that form sit...
research
∙
03/30/2020
The current state of automated argumentation theory: a literature review
Automated negotiation can be an efficient method for resolving conflict ...
research
∙
03/30/2020
Increasing negotiation performance at the edge of the network
Automated negotiation has been used in a variety of distributed settings...
research
∙
11/18/2019
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report)
State-of-the-art inference approaches in probabilistic logic programming...
research
∙
09/20/2018
Probabilistic Logic Programming with Beta-Distributed Random Variables
We enable aProbLog---a probabilistic logical programming approach---to r...
research
∙
05/28/2018
DeepProbLog: Neural Probabilistic Logic Programming
We introduce DeepProbLog, a probabilistic logic programming language tha...
research
∙
07/24/2017
Domain Recursion for Lifted Inference with Existential Quantifiers
In recent work, we proved that the domain recursion inference rule makes...
research
∙
10/26/2016