Stebėti
Alessandro Ronca
Pavadinimas
Cituota
Cituota
Metai
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
552015
Stream Reasoning in Temporal Datalog
A Ronca, M Kaminski, B Cuenca Grau, B Motik, I Horrocks
AAAI 2018, 2018
462018
Temporal Logic Monitoring Rewards via Transducers
G De Giacomo, M Favorito, L Iocchi, F Patrizi, A Ronca
KR 2020, 2020
312020
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
A Ronca, G Paludo Licks, G De Giacomo
IJCAI 2022, 2022
152022
Efficient PAC Reinforcement Learning in Regular Decision Processes
A Ronca, G De Giacomo
IJCAI 2021, 2021
152021
The Delay and Window Size Problems in Rule-based Stream Reasoning
A Ronca, M Kaminski, B Cuenca Grau, I Horrocks
Artificial Intelligence, 2022
112022
The Window Validity Problem in Rule-Based Stream Reasoning
A Ronca, M Kaminski, B Cuenca Grau, I Horrocks
KR 2018, 2018
112018
ASPARTIX-V: Utilizing Improved ASP Encodings
A Ronca, JP Wallner, S Woltran
ICCMA 2015, 2015
82015
Provably Efficient Offline Reinforcement Learning in Regular Decision Processes
R Cipollone, A Jonsson, A Ronca, MS Talebi
NeurIPS 2023, 2023
22023
On The Expressivity of Recurrent Neural Cascades
NA Knorozova, A Ronca
AAAI 2024, 2024
12024
Automata Cascades: Expressivity and Sample Complexity
A Ronca, NA Knorozova, G De Giacomo
AAAI 2023, 2023
12023
Rule-based Stream Reasoning
A Ronca
University of Oxford, 2020
12020
Tractable Offline Learning of Regular Decision Processes
A Deb, R Cipollone, A Jonsson, A Ronca, MS Talebi
EWRL 2024, 2024
2024
On the Expressivity of Recurrent Neural Cascades with Identity
NA Knorozova, A Ronca
KR 2024, 2024
2024
The Transformation Logics
A Ronca
IJCAI 2024, 2024
2024
Beyond Markovian RL: Efficient Offline RL in Regular Decision Processes
R Cipollone, A Jonsson, A Ronca, MS Talebi
EWRL 2023, 2023
2023
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–16