Tarzariol, Alice

5 publications

IJCAI 2025 A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol

AAAI 2023 Learning to Break Symmetries for Efficient Optimization in Answer Set Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law

IJCAI 2022 A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming Alice Tarzariol

MLJ 2022 Lifting Symmetry Breaking Constraints with Inductive Logic Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

IJCAI 2021 Lifting Symmetry Breaking Constraints with Inductive Logic Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin