Alessandro Ronca : Publications

Click here to download all publications in a single bibtex file

@inproceedings{16411,
  title = "On the Expressivity of Recurrent Neural Cascades with Identity",
  author = "Nadezda A. Knorozova and Alessandro Ronca",
  year = "2024",
  booktitle = "Proceedings of the Twenty-First International Conference on Principles of Knowledge Representation and Reasoning (KR). To appear",
  url = "https://arxiv.org/abs/2405.11657",
}

@inproceedings{16372,
  title = "On the Expressivity of Recurrent Neural Cascades",
  author = "Nadezda A. Knorozova and Alessandro Ronca",
  year = "2024",
  booktitle = "Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)",
  keywords = "KRR: Geometric, Spatial, and Temporal Reasoning, KRR: Action, Change, and Causality, KRR: Other Foundations of Knowledge Representation & Reasoning, ML: Learning Theory, ML: Neuro-Symbolic Learning, ML: Other Foundations of Machine Learning, ML: Time-Series/Data Streams",
  url = "https://doi.org/10.1609/aaai.v38i9.28929",
}

@inproceedings{16369,
  title = "The Transformation Logics",
  author = "Alessandro Ronca",
  year = "2024",
  booktitle = "Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI)",
  keywords = "Knowledge Representation and Reasoning: KRR: Knowledge representation languages; Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning; Knowledge Representation and Reasoning: KRR: Qualitative, geometric, spatial, and temporal reasoning",
  url = "https://doi.org/10.24963/ijcai.2024/393",
}

@inproceedings{16374,
  title = "Automata Cascades: Expressivity and Sample Complexity",
  author = "Alessandro Ronca and Nadezda A. Knorozova and Giuseppe De Giacomo",
  year = "2023",
  booktitle = "Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)",
  keywords = "ML: Learning Theory, KRR: Computational Complexity of Reasoning, KRR: Geometric, Spatial, and Temporal Reasoning, ML: Classification and Regression, ML: Reinforcement Learning Theory, ML: Time-Series/Data Streams",
  url = "https://doi.org/10.1609/aaai.v37i8.26147",
}

@inproceedings{16373,
  title = "Provably Efficient Offline Reinforcement Learning in Regular Decision Processes",
  author = "Roberto Cipollone and Anders Jonsson and Alessandro Ronca and Mohammad Sadegh Talebi",
  year = "2023",
  booktitle = "Advances in Neural Information Processing Systems 36 (NeurIPS)",
  url = "https://proceedings.neurips.cc/paper_files/paper/2023/hash/7bf3e93543a612b75b6373178ba1faa4-Abstract-Conference.html",
}

@article{aij-ronca-22,
  title = "The Delay and Window Size Problems in Rule-based Stream Reasoning",
  author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2022",
  journal = "Artificial Intelligence Journal (AIJ)",
  url = "https://doi.org/10.1016/j.artint.2022.103668",
  volume = "306",
}

@inproceedings{16376,
  title = "Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes",
  author = "Alessandro Ronca and Gabriel Paludo Licks and Giuseppe De Giacomo",
  year = "2022",
  booktitle = "Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI)",
  keywords = "Machine Learning: Reinforcement Learning; Planning and Scheduling: Markov Decisions Processes; Knowledge Representation and Reasoning: Reasoning about actions; Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis",
  url = "https://doi.org/10.24963/ijcai.2022/473",
}

@inproceedings{16375,
  title = "Efficient PAC Reinforcement Learning in Regular Decision Processes",
  author = "Alessandro Ronca and Giuseppe De Giacomo",
  year = "2021",
  booktitle = "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI)",
  keywords = "Knowledge Representation and Reasoning: Action, Change and Causality; Machine Learning: Reinforcement Learning; Planning and Scheduling: Markov Decisions Processes",
  url = "https://doi.org/10.24963/ijcai.2021/279",
}

@inproceedings{GiacomoFIPR20,
  title = "Temporal Logic Monitoring Rewards via Transducers",
  author = "Giuseppe De Giacomo and Marco Favorito and Luca Iocchi and Fabio Patrizi and Alessandro Ronca",
  year = "2020",
  booktitle = "Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR)",
  url = "https://doi.org/10.24963/kr.2020/89",
}

@conference{DBLP:conf/kr/RoncaKGH18,
  title = "The Window Validity Problem in Rule-Based Stream Reasoning",
  author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR)",
  url = "https://aaai.org/ocs/index.php/KR/KR18/paper/view/18030",
}

@inproceedings{DBLP:conf/aaai/RoncaKGMH18,
  title = "Stream Reasoning in Temporal Datalog",
  author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI)",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16182",
}