Rafael Kiesel

33 papers A* 5A 2B 1Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Fagin's Theorem for Semiring Turing Machines.
CoRR
Guillermo Badia, Manfred Droste, Thomas Eiter, Rafael Kiesel, Carles Noguera, Erik Paul
2025 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
Theory Pract. Log. Program.
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024 J jnl
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
CoRR
Markus Hecher, Rafael Kiesel
2024 A* conf
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
AAAI
Markus Hecher, Rafael Kiesel
2024 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
CoRR
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024 J jnl
aspmc: New frontiers of algebraic answer set counting.
Artif. Intell.
Thomas Eiter, Markus Hecher, Rafael Kiesel
2023 J jnl
"What if?" in Probabilistic Logic Programming.
CoRR
Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper
2023 J jnl
"What if?" in Probabilistic Logic Programming.
Theory Pract. Log. Program.
Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper
2023 A conf
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.
ALENEX
Rafael Kiesel, André Schidler
2023 J jnl
Contextual Reasoning for Scene Generation (Technical Report).
CoRR
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
2023 A* conf
Knowledge Compilation and More with SharpSAT-TD.
KR
Rafael Kiesel, Thomas Eiter
2023 — conf
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures.
ICLP Workshops
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
2023 J jnl
Semiring Reasoning Frameworks in AI and Their Computational Complexity.
J. Artif. Intell. Res.
Thomas Eiter, Rafael Kiesel
2023 A* conf
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits.
KR
Markus Hecher, Rafael Kiesel
2023 — ch.
Zeitliche und Quantitative Erweiterungen der Antwortmengenprogrammierung.
Ausgezeichnete Informatikdissertationen
Rafael Kiesel
2022 J jnl
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.
CoRR
Rafael Kiesel, André Schidler
2022 J jnl
Efficient Knowledge Compilation Beyond Weighted Model Counting.
CoRR
Rafael Kiesel, Pietro Totis, Angelika Kimmig
2022 J jnl
Efficient Knowledge Compilation Beyond Weighted Model Counting.
Theory Pract. Log. Program.
Rafael Kiesel, Pietro Totis, Angelika Kimmig
2022 B conf
PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT.
IPEC
Rafael Kiesel, André Schidler
2022 — conf
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract).
Description Logics
Loris Bozzato, Thomas Eiter, Rafael Kiesel
2021 J jnl
Concurrence for well-formed CAFs: Naive Semantics.
CoRR
Rafael Kiesel, Anna Rapberger
2021 A* conf
On the Complexity of Sum-of-Products Problems over Semirings.
AAAI
Thomas Eiter, Rafael Kiesel
2021 — conf
Quantitative and Stream Extensions of Answer Set Programming.
ICLP Technical Communications
Rafael Kiesel
2021 J jnl
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
CoRR
Loris Bozzato, Thomas Eiter, Rafael Kiesel
2021 J jnl
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
Theory Pract. Log. Program.
Loris Bozzato, Thomas Eiter, Rafael Kiesel
2021 A* conf
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.
KR
Thomas Eiter, Markus Hecher, Rafael Kiesel
2021 — conf
aspmc: An Algebraic Answer Set Counter.
ICLP Workshops
Thomas Eiter, Markus Hecher, Rafael Kiesel
2020 J jnl
ASP(AC): Answer Set Programming with Algebraic Constraints.
CoRR
Thomas Eiter, Rafael Kiesel
2020 J jnl
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints.
Theory Pract. Log. Program.
Thomas Eiter, Rafael Kiesel
2020 A conf
Weighted LARS for Quantitative Stream Reasoning.
ECAI
Thomas Eiter, Rafael Kiesel
2018 — conf
Preferential Default Reasoning on the Semantic Web.
Description Logics
Rafael Kiesel, Erman Acar, Stefan Schlobach
2017 — conf
Analysis of Lamarckian evolution in morphologically evolving robots.
ECAL
Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben
2017 — conf
Benefits of lamarckian evolution for morphologically evolving robots.
GECCO (Companion)
Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben