Publications
Journal Articles
Tarzariol, A.; Maratea, M.; and Vallati, M. (2025). "A CASP-Based Solution for Traffic Signal Optimisation". Theory and Practice of Logic Programming, 25(4): 794–812. Tarzariol, A.; Schekotihin, K.; Gebser, M.; and Law, M. (2022). "Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems". Theory and Practice of Logic Programming, 22(4): 606–622. Tarzariol, A., Gebser, M., and Schekotihin, K. (2022). "Lifting Symmetry Breaking Constraints with Inductive Logic Programming". Machine Learning, 111(4), 1303–1326 Tarzariol, A.; Zanazzo, E.; Dovier, A.; and Policriti, A. (2020). "Towards a Logic Programming Tool for Cancer Data Analysis". Fundamenta Informaticae, 176(3-4): 299–319. Conference Papers (Selection)
Doria, F.; Ramagnano, G.; Tarzariol, A.; Maratea, M.; and Vallati, M. (2026). "Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimisation". In Proceedings of the 18th International Conference on Logic Programming and Non-monotonic Reasoning, (LPNMR 2026), (To Appear). Dodaro, C.; Ielo, A.; Maratea, M.; Marte, C.; and Tarzariol, A. (2026). "Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs". In Proceedings of the Thirty-fiveth International Joint Conference on Artificial Intelligence, (IJCAI 2026), (To Appear) Reiners, L. A. R.; Tarzariol, A.; Alviano, M.; Santana, M. B.; and Schekotihin, K. (2026). "ALM–ASP: A Functional Agentic Architecture for Answer Set Programming". In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, (KR 2026), (pp. 1098-1108). Voboril, F.; Gebser, M.; Szeider S.; and Tarzariol, A. (2026). "Streamliners for Answer Set Programming". In Proceedings 42nd International Conference on Logic Programming, (ICLP 2026), Electronic Proceedings in Theoretical Computer Science, 450 (pp. 236–255). Caruso, S.; Dodaro, C.; Maratea, M.; and Tarzariol, A. (2025). "A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms". In Proceedings of the the Thirty-Fourth International Joint Conference on Artificial Intelligence, (IJCAI 2025), (pp. 4401–4409). Chiariello, F.; Ielo, A.; and Tarzariol, A. (2024). "An ILASP-Based Approach to Repair Petri Nets". In Proceedings of the 17th International Conference on Logic Programming and Non-monotonic Reasoning, (LPNMR 2024), (pp. 85-97). Tarzariol, A.; Gebser, M.; Schekotihin, K.; and Law, M. (2023). "Learning to Break Symmetries for Efficient Optimization in Answer Set Programming". In Proceedings of the AAAI Conference on Artificial Intelligence, (AAAI 2023), 37(5), (pp. 6541–6549). Tarzariol, A.; Gebser, M.; and Schekotihin, K. (2021). "Lifting Symmetry Breaking Constraints with Inductive Logic Programming". In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, (IJCAI 2021), (pp. 2062-2068). 