Alice Tarzariol

Alice Tarzariol is a Researcher at the Institut für Artificial Intelligence und Cybersecurity within the Faculty of Technical Sciences at Alpen-Adria-Universität Klagenfurt. She specializes in computational logic, optimization algorithms, and their applications in artificial intelligence. Her research focuses on advancing Answer Set Programming (ASP) techniques for complex problem-solving, including production scheduling, symmetry breaking, and constraint learning. She also explores interdisciplinary applications such as cancer data analysis through logic programming frameworks.

Her work emphasizes improving algorithmic efficiency and developing tools for combinatorial optimization, formal verification, and bioinformatics. She contributes to projects like the institute’s efforts to strengthen regional knowledge transfer and serves on the Curricularkommission für das Erweiterungscurriculum Gender Studies. Her research spans both theoretical advancements in computational logic and practical implementations in industrial and medical domains.

Key themes in her publications include symmetry detection and lifting, constraint satisfaction, and inductive logic programming. Recent work highlights declarative approaches to production scheduling and efficient symmetry-breaking methods. Her research has implications for automated decision-making, systems modeling, and data-driven healthcare solutions.