Alessandro Ronca : Publications

Journal papers

• [1]

  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

Conference papers

• [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]

  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

• [7]

  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

• [8]

  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

• [9]

  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

• [10]

  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