Alice Tarzariol

18 papers A* 4B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A CASP-Based Solution for Traffic Signal Optimisation.
Theory Pract. Log. Program.
Alice Tarzariol, Marco Maratea, Mauro Vallati
2025 J jnl
A CASP-based Solution for Traffic Signal Optimisation.
CoRR
Alice Tarzariol, Marco Maratea, Mauro Vallati
2025 A* conf
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms.
IJCAI
Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol
2025 — conf
ASP and PDDL+ Applications in Urban Traffic Distribution and Control.
ICLP Workshops
Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol
2025 — ed.
Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.
ICLP Workshops
Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2024 B conf
An ILASP-Based Approach to Repair Petri Nets.
LPNMR
Francesco Chiariello, Antonio Ielo, Alice Tarzariol
2023 — ch.
Erlernen effizienter Constraints in der Antwortmengenprogrammierung.
Ausgezeichnete Informatikdissertationen
Alice Tarzariol
2023 A* conf
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.
AAAI
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law
2022 — conf
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming.
ICLP Technical Communications / Doctoral Consortium
Alice Tarzariol
2022 A* conf
A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming.
IJCAI
Alice Tarzariol
2022 J jnl
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems.
Theory Pract. Log. Program.
Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law
2022 J jnl
Efficient lifting of symmetry breaking constraints for complex combinatorial problems.
CoRR
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin
2022 J jnl
Lifting symmetry breaking constraints with inductive logic programming.
Mach. Learn.
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2021 A* conf
Lifting Symmetry Breaking Constraints with Inductive Logic Programming.
IJCAI
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2021 J jnl
Lifting Symmetry Breaking Constraints with Inductive Logic Programming.
CoRR
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2020 J jnl
Towards a Logic Programming Tool for Cancer Data Analysis.
Fundam. Informaticae
Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti
2019 — conf
Evolution of Algorithm Portfolio for Solving Strategies.
CILC
Alice Tarzariol
2017 — conf
Towards a Logic Programming Tool for Cancer Analysis.
ICTCS/CILC
Alice Tarzariol, Agostino Dovier, Alberto Policriti