Picture for Rafael Kiesel

Rafael Kiesel

Vienna University of Technology

Solving Decision Theory Problems with Probabilistic Answer Set Programming

Add code
Aug 21, 2024
Viaarxiv icon

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?

Add code
Feb 05, 2024
Viaarxiv icon

"What if?" in Probabilistic Logic Programming

Add code
May 24, 2023
Viaarxiv icon

Contextual Reasoning for Scene Generation (Technical Report)

Add code
May 03, 2023
Viaarxiv icon

Efficient Knowledge Compilation Beyond Weighted Model Counting

Add code
May 16, 2022
Figure 1 for Efficient Knowledge Compilation Beyond Weighted Model Counting
Figure 2 for Efficient Knowledge Compilation Beyond Weighted Model Counting
Figure 3 for Efficient Knowledge Compilation Beyond Weighted Model Counting
Figure 4 for Efficient Knowledge Compilation Beyond Weighted Model Counting
Viaarxiv icon

Quantitative and Stream Extensions of Answer Set Programming

Add code
Sep 17, 2021
Viaarxiv icon

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Add code
Aug 06, 2021
Figure 1 for Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Viaarxiv icon

ASP(AC): Answer Set Programming with Algebraic Constraints

Add code
Aug 10, 2020
Figure 1 for ASP(AC): Answer Set Programming with Algebraic Constraints
Viaarxiv icon