CV

Education

• Ph.D in Technical Sciences: Informatics, University of Klagenfurt (Austria), 2023
• M.S. in Computer Science, University of Udine (Italy), 2019
• B.S. in Computer Science, University of Udine (Italy), 2016

Work experience

• 2025 - 2028:
  • Role: Principal Investigator
  • University of Klagenfurt (Austria)
• 2023 - 2029:
  • Role: Assistant Professor (Non-Tenure-Track)
  • University of Klagenfurt (Austria)
• 2019 - 2023:
  • Role: University Research Assistant
  • University of Klagenfurt (Austria)

Publications

Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimisation Permalink

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).

Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs Permalink

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)

ALM–ASP: A Functional Agentic Architecture for Answer Set Programming Permalink

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).

Streamliners for Answer Set Programming Permalink

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).

A CASP-Based Solution for Traffic Signal Permalink

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.

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms Permalink

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).

An ILASP-Based Approach to Repair Petri Nets Permalink

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).

Learning to Break Symmetries for Efficient Optimization in Answer Set Programming Permalink

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).

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems Permalink

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.

Lifting Symmetry Breaking Constraints with Inductive Logic Programming Permalink

Tarzariol, A., Gebser, M., and Schekotihin, K. (2022). "Lifting Symmetry Breaking Constraints with Inductive Logic Programming". Machine Learning, 111(4), 1303–1326

Lifting Symmetry Breaking Constraints with Inductive Logic Programming Permalink

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).

Towards a Logic Programming Tool for Cancer Data Analysis Permalink

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.

Teaching

Introduction to Artificial Intelligence 2

Einführung in die Informatik - (Introduction to Computer Science)

Advanced Topics in Artificial Intelligence I

Logische Programmierung - (Logic Programming)