5 citations · 15 across the 9 of their papers we have counts for
11 papers · 1 filter
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation
Pietro Totis, Angelika Kimmig, Luc De Raedt
We introduce SMProbLog, a generalization of the probabilistic logic programming language ProbLog. A ProbLog program defines a distribution over logic programs by specifying for eac…
Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits
Federico Cerutti, Lance M. Kaplan, Angelika Kimmig +1
When collaborating with an AI system, we need to assess when to trust its recommendations. If we mistakenly trust it in regions where it is likely to err, catastrophic failures may…
A Hybrid Neuro-Symbolic Approach for Complex Event Processing
Marc Roig Vilamala, Harrison Taylor, Tianwei Xing +6
Training a model to detect patterns of interrelated events that form situations of interest can be a complex problem: such situations tend to be uncommon, and only sparse data is a…
The current state of automated negotiation theory: a literature review
Sam Vente, Angelika Kimmig, Alun Preece +1
Automated negotiation can be an efficient method for resolving conflict and redistributing resources in a coalition setting. Automated negotiation has already seen increased usage…
Increasing negotiation performance at the edge of the network
Sam Vente, Angelika Kimmig, Alun Preece +1
Automated negotiation has been used in a variety of distributed settings, such as privacy in the Internet of Things (IoT) devices and power distribution in Smart Grids. The most co…
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report)
Efthymia Tsamoura, Victor Gutierrez-Basulto, Angelika Kimmig
State-of-the-art inference approaches in probabilistic logic programming typically start by computing the relevant ground program with respect to the queries of interest, and then…