Analysis of lamarckian evolution in morphologically evolving robots M Jelisavcic, R Kiesel, K Glette, E Haasdijk, AE Eiben MIT Press, 2017 | 11 | 2017 |
A mobile application for self-guided study of formal reasoning DM Cerna, RPD Kiesel, A Dzhiganskaya arXiv preprint arXiv:2002.12553, 2020 | 7 | 2020 |
Weighted lars for quantitative stream reasoning T Eiter, R Kiesel ECAI 2020, 729-736, 2020 | 7 | 2020 |
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 | 4 | 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 | 3 | 2017 |
On the Complexity of Sum-of-Products Problems over Semirings T Eiter, R Kiesel Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI, 2-9, 2021 | 2 | 2021 |
ASP (): Answer Set Programming with Algebraic Constraints T Eiter, R Kiesel Theory and Practice of Logic Programming 20 (6), 895-910, 2020 | 2 | 2020 |
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 | 1 | 2021 |
Efficient Knowledge Compilation Beyond Weighted Model Counting R Kiesel, P Totis, A Kimmig arXiv preprint arXiv:2205.07496, 2022 | | 2022 |
Quantitative and Stream Extensions of Answer Set Programming R Kiesel arXiv preprint arXiv:2109.08281, 2021 | | 2021 |
aspmc: An Algebraic Answer Set Counter T Eiter, M Hecher, R Kiesel | | 2021 |
Preferential Default Reasoning on the Semantic Web. R Kiesel, E Acar, S Schlobach Description Logics, 2018 | | 2018 |