Alessandro Ronca : Publications
-
[1]
On the Expressivity of Recurrent Neural Cascades with Identity
Nadezda A. Knorozova and Alessandro Ronca
In Proceedings of the Twenty−First International Conference on Principles of Knowledge Representation and Reasoning (KR). To appear. 2024.
Details about On the Expressivity of Recurrent Neural Cascades with Identity | BibTeX data for On the Expressivity of Recurrent Neural Cascades with Identity | Link to On the Expressivity of Recurrent Neural Cascades with Identity
-
[2]
On the Expressivity of Recurrent Neural Cascades
Nadezda A. Knorozova and Alessandro Ronca
In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI). 2024.
Details about On the Expressivity of Recurrent Neural Cascades | BibTeX data for On the Expressivity of Recurrent Neural Cascades | Link to On the Expressivity of Recurrent Neural Cascades
-
[3]
The Transformation Logics
Alessandro Ronca
In Proceedings of the Thirty−Third International Joint Conference on Artificial Intelligence (IJCAI). 2024.
Details about The Transformation Logics | BibTeX data for The Transformation Logics | Link to The Transformation Logics
-
[4]
Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca‚ Nadezda A. Knorozova and Giuseppe De Giacomo
In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI). 2023.
Details about Automata Cascades: Expressivity and Sample Complexity | BibTeX data for Automata Cascades: Expressivity and Sample Complexity | Link to Automata Cascades: Expressivity and Sample Complexity
-
[5]
Provably Efficient Offline Reinforcement Learning in Regular Decision Processes
Roberto Cipollone‚ Anders Jonsson‚ Alessandro Ronca and Mohammad Sadegh Talebi
In Advances in Neural Information Processing Systems 36 (NeurIPS). 2023.
Details about Provably Efficient Offline Reinforcement Learning in Regular Decision Processes | BibTeX data for Provably Efficient Offline Reinforcement Learning in Regular Decision Processes | Link to Provably Efficient Offline Reinforcement Learning in Regular Decision Processes
-
[6]
The Delay and Window Size Problems in Rule−based Stream Reasoning
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Artificial Intelligence Journal (AIJ). Vol. 306. 2022.
Details about The Delay and Window Size Problems in Rule−based Stream Reasoning | BibTeX data for The Delay and Window Size Problems in Rule−based Stream Reasoning | Link to The Delay and Window Size Problems in Rule−based Stream Reasoning
-
[7]
Markov Abstractions for PAC Reinforcement Learning in Non−Markov Decision Processes
Alessandro Ronca‚ Gabriel Paludo Licks and Giuseppe De Giacomo
In Proceedings of the Thirty−First International Joint Conference on Artificial Intelligence (IJCAI). 2022.
Details about Markov Abstractions for PAC Reinforcement Learning in Non−Markov Decision Processes | BibTeX data for Markov Abstractions for PAC Reinforcement Learning in Non−Markov Decision Processes | Link to Markov Abstractions for PAC Reinforcement Learning in Non−Markov Decision Processes
-
[8]
Efficient PAC Reinforcement Learning in Regular Decision Processes
Alessandro Ronca and Giuseppe De Giacomo
In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI). 2021.
Details about Efficient PAC Reinforcement Learning in Regular Decision Processes | BibTeX data for Efficient PAC Reinforcement Learning in Regular Decision Processes | Link to Efficient PAC Reinforcement Learning in Regular Decision Processes
-
[9]
Temporal Logic Monitoring Rewards via Transducers
Giuseppe De Giacomo‚ Marco Favorito‚ Luca Iocchi‚ Fabio Patrizi and Alessandro Ronca
In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR). 2020.
Details about Temporal Logic Monitoring Rewards via Transducers | BibTeX data for Temporal Logic Monitoring Rewards via Transducers | Link to Temporal Logic Monitoring Rewards via Transducers
-
[10]
The Window Validity Problem in Rule−Based Stream Reasoning
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR). 2018.
Details about The Window Validity Problem in Rule−Based Stream Reasoning | BibTeX data for The Window Validity Problem in Rule−Based Stream Reasoning | Link to The Window Validity Problem in Rule−Based Stream Reasoning
-
[11]
Stream Reasoning in Temporal Datalog
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence (AAAI). 2018.
Details about Stream Reasoning in Temporal Datalog | BibTeX data for Stream Reasoning in Temporal Datalog | Link to Stream Reasoning in Temporal Datalog