Personal information

Verified email addresses

Verified email domains

Artificial Intelligence, Reinforcement Learning, Neural Networks, Logic, Automata
United Kingdom, Italy

Biography

Alessandro Ronca is a researcher in Artificial Intelligence.

His interests cover many areas of Artificial Intelligence and Computer Science. They include Reinforcement Learning, Learning Theory, Automata Learning, Knowledge Representation and Reasoning, Logic (Temporal Logics in particular), Automata Theory, Algebraic Automata Theory, Complexity Theory, Datalog, Database Query Languages.

His current research focuses on three aspects of Artificial Intelligence.
1) Reinforcement learning in domains where an agent must learn to capture temporal patterns over the history of past events. This work has the potential to greatly extend the number of applications where reinforcement learning can be employed.
2) Machine learning models to capture temporal patterns, including Recurrent Neural Networks and Transformers. He studies them both from formal and experimental point of view, assessing their ability to capture temporal patterns.
3) Logics to capture temporal patterns. He is particularly interested in the Transformation Logics, a new family of temporal logics that he has established and that allows for creating hierarchies of increasing expressivity and complexity, with a great potential to match the expressivity-complexity trade-off required by specific applications.

Activities

Employment (2)

University of Oxford: Oxford, GB

2023 to 2024 | Research Associate (Department of Computer Science)
Employment
Source: Self-asserted source
Alessandro Ronca

Sapienza University of Rome: Rome, IT

2019 to 2023 | Research Associate (DIAG)
Employment
Source: Self-asserted source
Alessandro Ronca

Education and qualifications (3)

University of Oxford: Oxford, Oxfordshire, GB

2015-10 to 2020-04 | PhD in Computer Science
Education
Source: Self-asserted source
Alessandro Ronca

Sapienza University of Rome: Rome, Lazio, IT

2014 to 2015 | MSc in Engineering in Computer Science
Education
Source: Self-asserted source
Alessandro Ronca

Sapienza University of Rome: Rome, Lazio, IT

2010 to 2013 | BSc in Engineering in Computer Science
Education
Source: Self-asserted source
Alessandro Ronca

Professional activities (5)

Oriel College: Oxford, GB

2023 to present | Associate Member of the Middle Common Room
Membership
Source: Self-asserted source
Alessandro Ronca

Wadham College: Oxford, GB

2024 to 2024 | Student Project Supervisor (Sarah Lawrence Programme)
Service
Source: Self-asserted source
Alessandro Ronca

University College: Oxford, GB

2024 to 2024 | Research Associate
Membership
Source: Self-asserted source
Alessandro Ronca

Oriel College: Oxford, GB

2023 to 2024 | Oriel Talks Representative
Service
Source: Self-asserted source
Alessandro Ronca

The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21): Vancouver, CA

2021 | AAAI Outstanding Program Committee Member
Distinction
Source: Self-asserted source
Alessandro Ronca

Works (14)

Offline RL in Regular Decision Processes: Sample Efficiency via Language Metrics

The Thirteenth International Conference on Learning Representations (ICLR 2025)
2025 | Conference paper
Contributors: Ahana Deb; Roberto Cipollone; Anders Jonsson; Alessandro Ronca; Mohammad Sadegh Talebi
Source: Self-asserted source
Alessandro Ronca

On the Expressivity of Recurrent Neural Cascades with Identity

Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning
2024-11 | Conference paper
Contributors: Nadezda Alexandrovna Knorozova; Alessandro Ronca
Source: Self-asserted source
Alessandro Ronca

The Transformation Logics

Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence
2024-08 | Conference paper
Contributors: Alessandro Ronca
Source: Self-asserted source
Alessandro Ronca

On the Expressivity of Recurrent Neural Cascades

Proceedings of the AAAI Conference on Artificial Intelligence
2024-03-24 | Conference paper
Part of ISSN: 2374-3468
Part of ISSN: 2159-5399
Contributors: Nadezda Alexandrovna Knorozova; Alessandro Ronca
Source: Self-asserted source
Alessandro Ronca

Provably Efficient Offline Reinforcement Learning in Regular Decision Processes

Advances in Neural Information Processing Systems (NeurIPS 2023)
2023 | Conference paper
URI:

https://proceedings.neurips.cc/paper_files/paper/2023/file/7bf3e93543a612b75b6373178ba1faa4-Paper-Conference.pdf

Contributors: Cipollone, Roberto; Jonsson, Anders; Alessandro Ronca; Talebi, Mohammad Sadegh
Source: Self-asserted source
Alessandro Ronca

Automata Cascades: Expressivity and Sample Complexity

Proceedings of the AAAI Conference on Artificial Intelligence
2023-06-26 | Conference paper
Part of ISSN: 2374-3468
Part of ISSN: 2159-5399
Contributors: Alessandro Ronca; Nadezda Alexandrovna Knorozova; Giuseppe De Giacomo
Source: Self-asserted source
Alessandro Ronca

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022)
2022 | Conference paper
Contributors: Alessandro Ronca; Gabriel Paludo Licks; Giuseppe De Giacomo
Source: Self-asserted source
Alessandro Ronca

The Delay and Window Size Problems in Rule-based Stream Reasoning

Artificial Intelligence
2022-05 | Journal article | Author
Part of ISSN: 0004-3702
Contributors: Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks
Source: Self-asserted source
Alessandro Ronca
grade
Preferred source (of 2)‎

Efficient PAC Reinforcement Learning in Regular Decision Processes

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021)
2021 | Conference paper
Contributors: Alessandro Ronca; Giuseppe De Giacomo
Source: Self-asserted source
Alessandro Ronca

Temporal Logic Monitoring Rewards via Transducers

Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
2020-07 | Conference paper
Contributors: Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi; Alessandro Ronca
Source: Self-asserted source
Alessandro Ronca

Rule-based Stream Reasoning

2019 | Dissertation or Thesis
Contributors: Alessandro Ronca
Source: Self-asserted source
Alessandro Ronca

Stream Reasoning in Temporal Datalog

Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018)
2018 | Conference paper
Contributors: Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks
Source: Self-asserted source
Alessandro Ronca

The Window Validity Problem in Rule-Based Stream Reasoning

Principles Of Knowledge Representation And Reasoning: Proceedings Of The Sixteenth International Conference (KR 2018)
2018 | Conference paper
Contributors: Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks
Source: Self-asserted source
Alessandro Ronca

Improved Answer-set Programming Encodings for Abstract Argumentation

Theory and Practice of Logic Programming
2015 | Journal article
Contributors: Sarah Alice Gaggl; Norbert Manthey; Alessandro Ronca; Johannes Peter Wallner; Stefan Woltran
Source: Self-asserted source
Alessandro Ronca
grade
Preferred source (of 2)‎