Publications

Gerhard Friedrich, Martin Gebser, Erich Christian Teppan: Symbolic Artificial Intelligence Methods for Prescriptive Analytics. Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, Springer, 2023, S. 385 - 414.

Andreas Laber, Martin Gebser, Konstantin Schekotihin, Yao Yang: Predicting Ion Beam Tuning Success in Semiconductor Manufacturing. Conference Proceedings The Fourteenth International Conference on Advanced Semiconductor Devices and Microsystems (ASDAM 2022), IEEE, Piscataway (NJ), 2022, S. 30 - 36.

Mohammed Mahmoud Saadeldin El-Kholany: Decomposition Strategies for Solving Scheduling Problems in Industrial Applications. Electronic Proceedings in Theoretical Computer Science, 364, 2022, S. 236 - 242.

Martin Gebser, Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Tuncay Tekle: Proceedings 38th International Conference on Logic Programming (ICLP 2022). 364, 2022,

Alice Tarzariol: A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming. Electronic Proceedings in Theoretical Computer Science, 364, 2022, S. 200 - 210.

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin: Lifting Symmetry Breaking Constraints with Inductive Logic Programming. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, International Joint Conferences on Artificial Intelligence, 2022, S. 1 - 2.

Pierre Paul Alain Tassel: Adaptive Artificial Intelligence Scheduling Methods for Large-Scale, Stochastic, Industrial Applications. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22), International Joint Conferences on Artificial Intelligence, 2022, S. 5877 - 5878.

Mohammed Mahmoud Saadeldin El-Kholany: Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22), International Joint Conferences on Artificial Intelligence, 2022, S. 5849 - 5850.

Benjamin Kovács: Scalable ML Methods to Optimize KPIs in Real-World Manufacturing Processes. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22), International Joint Conferences on Artificial Intelligence, 2022, S. 5857 - 5858.

Alice Tarzariol: A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22), International Joint Conferences on Artificial Intelligence, 2022, S. 5875 - 5876.

Mohammed Mahmoud Saadeldin El-Kholany, Martin Gebser, Konstantin Schekotihin: Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. Theory and Practice of Logic Programming, Cambridge University Press, 22, Cambridge, 2022, S. 623 - 639.

Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, MARK LAW: Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Theory and Practice of Logic Programming, Cambridge University Press, 22, Cambridge, 2022, S. 606 - 622.

Pierre Paul Alain Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein: Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling. Vol. 32 (2022): Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling , AAAI Press, 32, Menlo Park (CA), 2022, S. 638 - 646.

Benjamin Kovács, Pierre Paul Alain Tassel, Ramsha Ali, Mohammed Mahmoud Saadeldin El-Kholany, Martin Gebser, Georg Seidel: A Customizable Simulator for Artificial Intelligence Research to Schedule Semiconductor Fabs. 2022 33rd Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC), 2022, S. 1 - 6.

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin: Lifting symmetry breaking constraints with inductive logic programming. Machine Learning, Springer, 111, Berlin, 2022, S. 1303 - 1326.

Mario Alviano, Wolfgang Faber, Martin Gebser: Aggregate Semantics for Propositional Answer Set Programs. Theory and Practice of Logic Programming, Cambridge University Press, 23, Cambridge, 2022, S. 157 - 194.

Mohammed Mahmoud Saadeldin El-Kholany, Konstantin Schekotihin, Martin Gebser: Decomposition-Based Job-Shop Scheduling with Constrained Clustering. Practical Aspects of Declarative Languages, Springer Nature Switzerland AG, 13165, 2022, S. 165 - 180.

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.

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,

Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak: Logics in Artificial Intelligence. Lecture Notes in Computer Science, 12678, 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,

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,

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,

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.

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.

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,