Alice Tarzariol

According to our database, Alice Tarzariol authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

An ILASP-Based Approach to Repair Petri Nets.

Francesco Chiariello, Antonio Ielo, Alice Tarzariol

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Erlernen effizienter Constraints in der Antwortmengenprogrammierung.

Alice Tarzariol

Proceedings of the Ausgezeichnete Informatikdissertationen 2023., 2023

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

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems.

Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law

Theory Pract. Log. Program., 2022

Lifting symmetry breaking constraints with inductive logic programming.

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

Mach. Learn., 2022

A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming.

Alice Tarzariol

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming.

Alice Tarzariol

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2020

Towards a Logic Programming Tool for Cancer Data Analysis.

Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti

Fundam. Informaticae, 2020

2019

Evolution of Algorithm Portfolio for Solving Strategies.

Alice Tarzariol

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2017

Towards a Logic Programming Tool for Cancer Analysis.

Alice Tarzariol, Agostino Dovier, Alberto Policriti

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017