Improved Answer-set Programming Encodings for Abstract Argumentation SA Gaggl, N Manthey, A Ronca, JP Wallner, S Woltran Theory and Practice of Logic Programming, 2015 | 51 | 2015 |
Stream Reasoning in Temporal Datalog A Ronca, M Kaminski, B Cuenca Grau, B Motik, I Horrocks AAAI 2018, 2018 | 38 | 2018 |
Temporal Logic Monitoring Rewards via Transducers G De Giacomo, M Favorito, L Iocchi, F Patrizi, A Ronca KR 2020, 2020 | 25 | 2020 |
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes A Ronca, G Paludo Licks, G De Giacomo IJCAI 2022, 2022 | 11 | 2022 |
Efficient PAC Reinforcement Learning in Regular Decision Processes A Ronca, G De Giacomo IJCAI 2021, 2021 | 11 | 2021 |
The Window Validity Problem in Rule-Based Stream Reasoning A Ronca, M Kaminski, B Cuenca Grau, I Horrocks KR 2018, 2018 | 10 | 2018 |
ASPARTIX-V: Utilizing Improved ASP Encodings A Ronca, JP Wallner, S Woltran ICCMA 2015, 2015 | 8 | 2015 |
The Delay and Window Size Problems in Rule-based Stream Reasoning A Ronca, M Kaminski, B Cuenca Grau, I Horrocks Artificial Intelligence, 2022 | 6 | 2022 |
On The Expressivity of Recurrent Neural Cascades NA Knorozova, A Ronca AAAI 2024, 2024 | 1 | 2024 |
Automata Cascades: Expressivity and Sample Complexity A Ronca, NA Knorozova, G De Giacomo AAAI 2023, 2023 | 1 | 2023 |
Rule-based Stream Reasoning A Ronca University of Oxford, 2020 | 1 | 2020 |
On the Expressivity of Recurrent Neural Cascades with Identity NA Knorozova, A Ronca arXiv preprint, 2024 | | 2024 |
The Transformation Logics A Ronca IJCAI 2024, 2024 | | 2024 |
Provably Efficient Offline Reinforcement Learning in Regular Decision Processes R Cipollone, A Jonsson, A Ronca, MS Talebi NeurIPS 2023, 2023 | | 2023 |
Beyond Markovian RL: Efficient Offline RL in Regular Decision Processes R Cipollone, A Jonsson, A Ronca, MS Talebi EWRL 2023, 2023 | | 2023 |