Alessandro Ronca

Orcid: 0000-0002-0131-2087

Affiliations:
  • University of Oxford, UK
  • Sapienza Università di Roma, Italy (former)


According to our database1, Alessandro Ronca authored at least 15 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Tractable Offline Learning of Regular Decision Processes.
CoRR, 2024

On The Expressivity of Recurrent Neural Cascades (Extended Abstract).
Proceedings of the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024

On the Expressivity of Recurrent Neural Cascades with Identity.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

The Transformation Logics.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

On the Expressivity of Recurrent Neural Cascades.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Provably Efficient Offline Reinforcement Learning in Regular Decision Processes.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Automata Cascades: Expressivity and Sample Complexity.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
The delay and window size problems in rule-based stream reasoning.
Artif. Intell., 2022

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021
Efficient PAC Reinforcement Learning in Regular Decision Processes.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Rule-based stream reasoning.
PhD thesis, 2020

Temporal Logic Monitoring Rewards via Transducers.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2018
The Window Validity Problem in Rule-Based Stream Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Stream Reasoning in Temporal Datalog.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2015
Improved answer-set programming encodings for abstract argumentation.
Theory Pract. Log. Program., 2015


  Loading...