Publications

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin: Lifting Symmetry Breaking Constraints with Inductive Logic Programming. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), International Joint Conferences on Artificial Intelligence, 2021, S. 2062 - 2068.

Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti: Towards a Logic Programming Tool for Cancer Data Analysis. Fundamenta Informaticae, 176, 2020, S. 299 - 319.

Pierre Paul Alain Tassel, Martin Gebser, Mohamed Rbaia: An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin: Lifting Symmetry Breaking Constraints with Inductive Logic Programming. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

Mohammed Mahmoud Saadeldin El-Kholany, Martin Gebser: Job Shop Scheduling with Multi-shot ASP. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

Martin Gebser, Felicitas Fabricius, Marco De Bortoli, Gerald Steinbauer, Maximilian Selmair, Michael Reip: Towards ASP-based Scheduling for Industrial Transport Vehicles. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, Jessica Zangari: International Conference on Logic Programming 2020 Workshop Proceedings (ICLP20WS). CEUR Workshop Proceedings (CEUR-WS.org), 2678, Aachen, 2020,

Pierre Paul Alain Tassel, Martin Gebser, Mohamed Rbaia: An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. Proceedings of the International Conference on Logic Programming 2020 Workshops, CEUR Workshop Proceedings (CEUR-WS.org), Aachen, 2020,

Martin Gebser, Tomi Janhunen, Jussi Rintanen: Declarative encodings of acyclicity properties. Journal of Logic and Computation, Oxford University Press, 30, New York, 2020, S. 923 - 952.

Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub: ASP-Core-2 Input Language Format. Theory and Practice of Logic Programming, Cambridge University Press, Cambridge, 2020,

Felicitas Fabricius, Martin Gebser, Marco De Bortoli, Maximilian Selmair, Gerald Steinbauer, Michael Reip: Towards ASP-based Scheduling for Industrial Transport Vehicles. Proceedings of the Joint Austrian Computer Vision and Robotics Workshop 2020, Verlag der Technischen Universität Graz, Graz, 2020, S. 34 - 41.

Martin Gebser, Marco Maratea, Francesco Ricca: The Seventh Answer Set Programming Competition: Design and Results. Theory and Practice of Logic Programming, Cambridge University Press, Cambridge, 2019, S. 1 - 29.

Alice Tarzariol: Evolution of Algorithm Portfolio Methods for Combinatorial Search and Optimization Strategies. Proceedings of the Third Workshop on Trends and Applications of Answer Set Programming (TAASP 2019), 2019,

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-shot ASP solving with clingo. Theory and Practice of Logic Programming, Cambridge University Press, 19, Cambridge, 2019, S. 27 - 82.

Yannis Dimopoulus, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub: plasp 3: Towards Effective ASP Planning. Theory and Practice of Logic Programming, Cambridge University Press, 19, Cambridge, 2019, S. 477 - 504.