Rafael Kiesel

According to our database, Rafael Kiesel authored at least 26 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Markus Hecher, Rafael Kiesel

CoRR, 2024

aspmc: New frontiers of algebraic answer set counting.

Thomas Eiter, Markus Hecher, Rafael Kiesel

Artif. Intell., 2024

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

Markus Hecher, Rafael Kiesel

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

"What if?" in Probabilistic Logic Programming.

Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper

Theory Pract. Log. Program., July, 2023

Semiring Reasoning Frameworks in AI and Their Computational Complexity.

Thomas Eiter, Rafael Kiesel

J. Artif. Intell. Res., 2023

Contextual Reasoning for Scene Generation (Technical Report).

Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova

CoRR, 2023

Knowledge Compilation and More with SharpSAT-TD.

Rafael Kiesel, Thomas Eiter

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits.

Markus Hecher, Rafael Kiesel

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures.

Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.

Rafael Kiesel, André Schidler

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2023

2022

Efficient Knowledge Compilation Beyond Weighted Model Counting.

Rafael Kiesel, Pietro Totis, Angelika Kimmig

Theory Pract. Log. Program., 2022

PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT.

Rafael Kiesel, André Schidler

Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract).

Loris Bozzato, Thomas Eiter, Rafael Kiesel

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.

Loris Bozzato, Thomas Eiter, Rafael Kiesel

Theory Pract. Log. Program., 2021

Concurrence for well-formed CAFs: Naive Semantics.

Rafael Kiesel, Anna Rapberger

CoRR, 2021

Quantitative and Stream Extensions of Answer Set Programming.

Rafael Kiesel

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

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

Loris Bozzato, Thomas Eiter, Rafael Kiesel

CoRR, 2021

Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.

Thomas Eiter, Markus Hecher, Rafael Kiesel

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

aspmc: An Algebraic Answer Set Counter.

Thomas Eiter, Markus Hecher, Rafael Kiesel

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

On the Complexity of Sum-of-Products Problems over Semirings.

Thomas Eiter, Rafael Kiesel

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints.

Thomas Eiter, Rafael Kiesel

Theory Pract. Log. Program., 2020

Weighted LARS for Quantitative Stream Reasoning.

Thomas Eiter, Rafael Kiesel

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

A Mobile Application for Self-Guided Study of Formal Reasoning.

David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

2018

Preferential Default Reasoning on the Semantic Web.

Rafael Kiesel, Erman Acar, Stefan Schlobach

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Benefits of lamarckian evolution for morphologically evolving robots.

Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Analysis of Lamarckian evolution in morphologically evolving robots.

Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben

Proceedings of the Fourteenth European Conference Artificial Life, 2017