research
∙
05/24/2023
"What if?" in Probabilistic Logic Programming
A ProbLog program is a logic program with facts that only hold with a sp...
share
research
∙
05/03/2023
Contextual Reasoning for Scene Generation (Technical Report)
We present a continuation to our previous work, in which we developed th...
research
∙
11/11/2022
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets
We propose a new approach to the Directed Feedback Vertex Set Problem (D...
research
∙
05/16/2022
Efficient Knowledge Compilation Beyond Weighted Model Counting
Quantitative extensions of logic programming often require the solution ...
research
∙
12/20/2021
Concurrence for well-formed CAFs: Naive Semantics
In the area of claim-based reasoning in abstract argumentation, a claim-...
research
∙
09/17/2021
Quantitative and Stream Extensions of Answer Set Programming
Answer Set Programming has separately been extended with constraints, to...
research
∙
08/06/2021
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Dealing with context dependent knowledge has led to different formalizat...
research
∙
08/10/2020