Publications
PROSYS Publications (coming from CRIS)
Benjamin Kovács, Pierre Paul Alain Tassel, Martin Gebser, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein: Utilizing Constraint Optimization for Industrial Machine Workload Balancing. 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 210, Dagstuhl, 2021, S. 551 - 567.
Pierre Paul Alain Tassel, Martin Gebser, Konstantin Schekotihin: A Reinforcement Learning Environment For Job-Shop Scheduling. Proceedings of the Planning and Reinforcement Learning workshop PRL2021, 2021,
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.
Pierre Paul Alain Tassel, Mohamed Rbaia: A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. Logics in Artificial Intelligence, Springer Nature Switzerland AG, 2021, S. 442 - 457.
Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak: Logics in Artificial Intelligence. Lecture Notes in Computer Science, 12678, 2021,
Mohammed Mahmoud Saadeldin El-Kholany, Konstantin Schekotihin: Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP. Logics in Artificial Intelligence, Springer Nature Switzerland AG, 2021,
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.
Some PROSYS publications have not been available yet in the University Research Information System (CRIS) or have been published before authors became members of the Alpen-Adria-Universität Klagenfurt. These publications can be found on the personal homepages in the ‘Team’ menu on the right.
-> Note that the publication lists in the University Research Information System (CRIS) might be incomplete. More information can be found on the personal homepages of the team members.
All Publications of the Department of Artificial Intelligence and Cybersecurity (AICS) can also be found in the University Research Information System (CRIS).
Quicklinks

Information for
Address
Universitätsstraße 65-67
9020 Klagenfurt am Wörthersee
Austria
+43 463 2700
uni [at] aau [dot] at
www.aau.at
Campus Plan