About Myself
I am currently in the third year of my PhD at the Technical University of Vienna. Before that I did my Masters degree in Artificial Intelligence at the Free University of Amsterdamn and my Bachelors degree in Mathematics at the Friedrich Alexander University in Erlangen.
Research Interests
My research interests include but are not necessarily limited to:
| Title | Authors | Venue |
|---|---|---|
| On the Complexity of Sum-of-Products Problems over Semirings | Thomas Eiter & Rafael Kiesel | AAAI 2021 |
| Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures | Loris Bozzato, Thomas Eiter & Rafael Kiesel | ICLP 2021 |
| ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints | Thomas Eiter & Rafael Kiesel | ICLP 2020 |
| Weighted LARS for Quantitative Stream Reasoning | Thomas Eiter & Rafael Kiesel | ECAI 2020 |
| A Mobile Application for Self-Guided Study of Formal Reasoning | David M. Cerna, Rafael Kiesel & Alexandra Dzhiganskaya | ThEdu 2019 |
| Preferential Default Reasoning on the Semantic Web | Rafael Kiesel, Erman Acar & Stefan Schlobach | DL 2018 |
| Analysis of Lamarckian evolution in morphologically evolving robots | Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk & A. E. Eiben | ECAL 2017 |
| Benefits of lamarckian evolution for morphologically evolving robots | Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk & A. E. Eiben | GECCO 2017 |
| Name | Description |
|---|---|
| aspmc | An efficient algebraic answer set counter. |
| AXolotl | Proof visualization for AXolotl, a logic game. |
| cppneat | A C++ implementation of NEAT, the neural network learning algorithm. |
| minisat-definitions | A small C++ library that uses minisat to extract which variables are defined in terms of a set of input variables. |
| Title | Venue | Links |
|---|---|---|
| Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures | ICLP 2021 | Slides, Poster |
| Advances in Efficient Probabilistic Reasoning with Answer Set Semantics | SR 2021 | Slides |
| Quantitative and Stream Extensions of ASP | ICLP 2021 DC | Slides |
| Efficient Answer Set Counting with aspmc | ICLP 2021 PLP | Slides |
| On the Complexity of Sum-of-Products Problems over Semirings | AAAI 2021 | Slides, Poster |
| ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints | ICLP 2020 | Slides |
| Quantitative Stream Reasoning with Weighted LARS | ECAI 2020 | Slides |
| Quantitative Stream Reasoning with Weighted LARS | KR RACES 2020 | Slides |
| Quantitative and Stream Extensions of ASP | KR DC 2020 | Slides |
| Weighted LARS and Weighted Automata | ESSLLI 2019 | Slides, Poster |