| Treewidth-aware cycle breaking for algebraic answer set counting T Eiter, M Hecher, R Kiesel Proceedings of the International Conference on Principles of Knowledge …, 2021 | 22 | 2021 |
| Weighted LARS for quantitative stream reasoning T Eiter, R Kiesel ECAI 2020, 729-736, 2020 | 14 | 2020 |
| Analysis of lamarckian evolution in morphologically evolving robots M Jelisavcic, R Kiesel, K Glette, E Haasdijk, AE Eiben Artificial Life Conference Proceedings, 214-221, 2017 | 11 | 2017 |
| Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures L Bozzato, T Eiter, R Kiesel Theory and Practice of Logic Programming 21 (5), 593-609, 2021 | 10 | 2021 |
| A mobile application for self-guided study of formal reasoning DM Cerna, RPD Kiesel, A Dzhiganskaya arXiv preprint arXiv:2002.12553, 2020 | 9 | 2020 |
| On the complexity of sum-of-products problems over semirings T Eiter, R Kiesel Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6304-6311, 2021 | 8 | 2021 |
| Efficient knowledge compilation beyond weighted model counting R Kiesel, P Totis, A Kimmig Theory and Practice of Logic Programming 22 (4), 505-522, 2022 | 7 | 2022 |
| ASP (): Answer Set Programming with Algebraic Constraints T Eiter, R Kiesel Theory and Practice of Logic Programming 20 (6), 895-910, 2020 | 7 | 2020 |
| Knowledge compilation and more with SharpSAT-TD R Kiesel, T Eiter Proceedings of the International Conference on Principles of Knowledge …, 2023 | 2 | 2023 |
| Semiring reasoning frameworks in ai and their computational complexity T Eiter, R Kiesel Journal of Artificial Intelligence Research 77, 207-293, 2023 | 2 | 2023 |
| Concurrence for well-formed CAFs: Naive semantics R Kiesel, A Rapberger arXiv preprint arXiv:2112.10445, 2021 | 2 | 2021 |
| Benefits of lamarckian evolution for morphologically evolving robots M Jelisavcic, R Kiesel, K Glette, E Haasdijk, AE Eiben Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2017 | 2 | 2017 |
| “What if?” in Probabilistic Logic Programming R Kiesel, K RÜCKSCHLO, F Weitkämper Theory and Practice of Logic Programming 23 (4), 884-899, 2023 | 1 | 2023 |
| A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets R Kiesel, A Schidler 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments …, 2023 | 1 | 2023 |
| aspmc: An Algebraic Answer Set Counter. T Eiter, M Hecher, R Kiesel ICLP Workshops, 2021 | 1 | 2021 |
| Preferential Default Reasoning on the Semantic Web. R Kiesel, E Acar, S Schlobach Description Logics, 2018 | 1 | 2018 |
| aspmc: New frontiers of algebraic answer set counting T Eiter, M Hecher, R Kiesel Artificial Intelligence 330, 104109, 2024 | | 2024 |
| On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? M Hecher, R Kiesel Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10535 …, 2024 | | 2024 |
| Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? M Hecher, R Kiesel arXiv preprint arXiv:2402.03539, 2024 | | 2024 |
| Streaming and Quantitative Extensions of Answer Set Programming RPD Kiesel Technische Universität Wien, 2024 | | 2024 |
