[go: up one dir, main page]

Follow
Alice Tarzariol
Title
Cited by
Cited by
Year
Lifting symmetry breaking constraints with inductive logic programming
A Tarzariol, M Gebser, K Schekotihin
Machine Learning, 1-24, 2022
112022
Learning to break symmetries for efficient optimization in answer set programming
A Tarzariol, M Gebser, K Schekotihin, M Law
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6541-6549, 2023
72023
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
A Tarzariol, M Gebser, M Law, K Schekotihin
Theory and Practice of Logic Programming, 1-17, 2022
62022
An ILASP-Based Approach to Repair Petri Nets
F Chiariello, A Ielo, A Tarzariol
Logic Programming and Non-monotonic Reasoning 15245, 85–97, 2024
52024
Evolution of Algorithm Portfolio for Solving Strategies.
A Tarzariol
CILC, 327-341, 2019
52019
A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming.
A Tarzariol
IJCAI, 5875-5876, 2022
22022
A CASP-Based Solution for Traffic Signal Optimisation
A Tarzariol, M Maratea, M Vallati
Theory and Practice of Logic Programming 25 (4), 794-812, 2025
12025
A Declarative Approach to Tackle Sawmill Production Scheduling with Answer Set Programming
G Da Col, P Fleiss, A Tarzariol, EC Teppan, E Wiegelmann
International Conference on Computational Science and Computational …, 2024
12024
Learning Efficient Constraints in Answer Set Programming
A Tarzariol
University of Klagenfurt, 2023
12023
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming
A Tarzariol
arXiv preprint arXiv:2208.03095, 2022
12022
Towards a logic programming tool for cancer data analysis
A Tarzariol, E Zanazzo, A Dovier, A Policriti
Fundamenta Informaticae 176 (3-4), 299-319, 2020
12020
A general framework for representing controlled natural language sentences and translation to KR formalisms
S Caruso, C Dodaro, M Maratea, A Tarzariol
Proceedings of the Thirty-Fourth International Joint Conference on …, 2025
2025
ASP and PDDL+ Applications in Urban Traffic Distribution and Control
M Vallati, C Dodaro, F Doria, S Fiorentino, M Maratea, F Percassi, ...
2025
Lernen effizienter Constraints in der Antwortmengenprogrammierung
A Tarzariol
Ausgezeichnete Informatikdissertationen 2023, 301-310, 2024
2024
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
A Tarzariol, M Gebser, K Schekotihin
International Joint Conference on Artificial Intelligence, 2062--2068, 2021
2021
Towards a Logic Programming tool for cancer analysis
A Tarzariol, A Dovier, A Policriti
CEUR WORKSHOP PROCEEDINGS 1949, 361-375, 2017
2017
A Preliminary Study to Tackle Sawmill Production Scheduling with ASP
G Da Col, P Fleiss, A Tarzariol, EC Teppan, E Wiegelmann
An ILASP-Based Approach to Repair Petri Nets
A Tarzariol
Evolution of Algorithm Portfolio Methods for Combinatorial Search and Optimization Strategies
A Tarzariol
The system can't perform the operation now. Try again later.
Articles 1–19