Improved answer-set programming encodings for abstract argumentation. - Sarah Alice Gaggl; Norbert Manthey; Alessandro Ronca; Johannes Peter Wallner; Stefan Woltran (Theory Pract. Log. Program., 2015)

Stream Reasoning in Temporal Datalog. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (AAAI, 2018)

The Window Validity Problem in Rule-Based Stream Reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (KR, 2018)

Temporal Logic Monitoring Rewards via Transducers. - Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi; Alessandro Ronca (KR, 2020)

Rule-based stream reasoning. - Alessandro Ronca (2020)

Efficient PAC Reinforcement Learning in Regular Decision Processes. - Alessandro Ronca; Giuseppe De Giacomo (IJCAI, 2021)

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. - Alessandro Ronca; Gabriel Paludo Licks; Giuseppe De Giacomo (IJCAI, 2022)

The delay and window size problems in rule-based stream reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2022)

Automata Cascades: Expressivity and Sample Complexity. - Alessandro Ronca; Nadezda Alexandrovna Knorozova; Giuseppe De Giacomo (AAAI, 2023)

Provably Efficient Offline Reinforcement Learning in Regular Decision Processes. - Roberto Cipollone 002; Anders Jonsson 001; Alessandro Ronca; Mohammad Sadegh Talebi (NeurIPS, 2023)

On the Expressivity of Recurrent Neural Cascades. - Nadezda Alexandrovna Knorozova; Alessandro Ronca (AAAI, 2024)

The Transformation Logics. - Alessandro Ronca (IJCAI, 2024)

On the Expressivity of Recurrent Neural Cascades with Identity. - Nadezda Alexandrovna Knorozova; Alessandro Ronca (KR, 2024)

On The Expressivity of Recurrent Neural Cascades (Extended Abstract). - Nadezda A. Knorozova; Alessandro Ronca (LNSAI@IJCAI, 2024)

Tractable Offline Learning of Regular Decision Processes. - Ahana Deb; Roberto Cipollone 002; Anders Jonsson 001; Alessandro Ronca; Mohammad Sadegh Talebi (CoRR, 2024)

Offline RL in Regular Decision Processes: Sample Efficiency via Language Metrics. - Ahana Deb; Roberto Cipollone 002; Anders Jonsson 001; Alessandro Ronca; Mohammad Sadegh Talebi (ICLR, 2025)