Rafael Kiesel

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 29

Top Topics

Logic Programming

Answer Set Programming

Probabilistic Logic

Weighted Model Counting

Top Venues

Theory Pract. Log. Program.

Publications

Markus Hecher, Rafael Kiesel
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? CoRR (2024)
Markus Hecher, Rafael Kiesel
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI (2024)
Thomas Eiter, Markus Hecher, Rafael Kiesel
aspmc: New frontiers of algebraic answer set counting. Artif. Intell. 330 (2024)
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. ICLP Workshops (2023)
Rafael Kiesel, Thomas Eiter
Knowledge Compilation and More with SharpSAT-TD. KR (2023)
Thomas Eiter, Rafael Kiesel
Semiring Reasoning Frameworks in AI and Their Computational Complexity. J. Artif. Intell. Res. 77 (2023)
Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper
"What if?" in Probabilistic Logic Programming. CoRR (2023)
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
Contextual Reasoning for Scene Generation (Technical Report). CoRR (2023)
Markus Hecher, Rafael Kiesel
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. KR (2023)
Rafael Kiesel, André Schidler
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. ALENEX (2023)
Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper
"What if?" in Probabilistic Logic Programming. Theory Pract. Log. Program. 23 (4) (2023)
Rafael Kiesel, André Schidler
PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT. IPEC (2022)
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Efficient Knowledge Compilation Beyond Weighted Model Counting. CoRR (2022)
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Efficient Knowledge Compilation Beyond Weighted Model Counting. Theory Pract. Log. Program. 22 (4) (2022)
Rafael Kiesel, André Schidler
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. CoRR (2022)
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). Description Logics (2022)
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. CoRR (2021)
Thomas Eiter, Rafael Kiesel
On the Complexity of Sum-of-Products Problems over Semirings. AAAI (2021)
Thomas Eiter, Markus Hecher, Rafael Kiesel
aspmc: An Algebraic Answer Set Counter. ICLP Workshops (2021)
Rafael Kiesel
Quantitative and Stream Extensions of Answer Set Programming. ICLP Technical Communications (2021)
Rafael Kiesel, Anna Rapberger
Concurrence for well-formed CAFs: Naive Semantics. CoRR (2021)
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory Pract. Log. Program. 21 (5) (2021)
Thomas Eiter, Markus Hecher, Rafael Kiesel
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. KR (2021)
Thomas Eiter, Rafael Kiesel
Weighted LARS for Quantitative Stream Reasoning. ECAI (2020)
Thomas Eiter, Rafael Kiesel
ASP(AC): Answer Set Programming with Algebraic Constraints. CoRR (2020)
Thomas Eiter, Rafael Kiesel
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. Theory Pract. Log. Program. 20 (6) (2020)
Rafael Kiesel, Erman Acar, Stefan Schlobach
Preferential Default Reasoning on the Semantic Web. Description Logics (2018)
Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben
Analysis of Lamarckian evolution in morphologically evolving robots. ECAL (2017)
Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben
Benefits of lamarckian evolution for morphologically evolving robots. GECCO (Companion) (2017)