Follow
Rafael Kiesel
Rafael Kiesel
Verified email at tuwien.ac.at
Title
Cited by
Cited by
Year
Analysis of lamarckian evolution in morphologically evolving robots
M Jelisavcic, R Kiesel, K Glette, E Haasdijk, AE Eiben
MIT Press, 2017
112017
A mobile application for self-guided study of formal reasoning
DM Cerna, RPD Kiesel, A Dzhiganskaya
arXiv preprint arXiv:2002.12553, 2020
72020
Weighted lars for quantitative stream reasoning
T Eiter, R Kiesel
ECAI 2020, 729-736, 2020
72020
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
42021
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
32017
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
22021
ASP (): Answer Set Programming with Algebraic Constraints
T Eiter, R Kiesel
Theory and Practice of Logic Programming 20 (6), 895-910, 2020
22020
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–12