Rule-based stream reasoning by Ronca, A

The transformation logics by Ronca, A

On the expressivity of recurrent neural cascades by Knorozova, NA, Ronca, A

On the expressivity of recurrent neural cascades with identity by Knorozova, NA, Ronca, A

Efficient PAC reinforcement learning in regular decision processes by Ronca, A, De Giacomo, G

Markov abstractions for PAC reinforcement learning in non-Markov decision processes by Ronca, A, Licks, GP, De Giacomo, G

Automata cascades: expressivity and sample complexity by Ronca, A, Knorozova, NA, De Giacomo, G

Provably efficient offline reinforcement learning in regular decision processes by Cipollone, R, Jonsson, A, Ronca, A, Talebi, MS

The delay and window size problems in rule-based stream reasoning by Ronca, A, Kaminski, M, Grau, BC, Horrocks, I

The window validity problem in rule-based stream reasoning by Ronca, A, Kaminski, M, Cuenca Grau, B, Horrocks, I

Stream reasoning in temporal datalog by Ronca, A, Kaminski, M, Cuenca Grau, B, Motik, B, Horrocks, I