Publications

Francesco Chiariello, Antonio Ielo, Alice Tarzariol: An ILASP-Based Approach to Repair Petri Nets. Logic Programming and Nonmonotonic Reasoning, Springer, Cham, 2025, S. 85 - 97.

Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes K. Fichte: Navigating and Querying Answer Sets: How Hard Is It Really and Why?. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, IJCAI Organization, 2024, S. 642 - 653.

Andreas Laber, Martin Gebser, Konstantin Schekotihin: Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing. 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), IOS Press, 392, Amsterdam, 2024, S. 4508 - 4515.

Martin Gebser: A Case Study on TSP: What to Optimize and How?. Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP 2024), 2024, S. 47 - 49.

Mohamed El Bahnasawi, Martin Gebser, Witesyavwirwa Vianney Kambale, Mohamed Salem, Jean Chamberlain Chedjou, Kyandoghere Kyamakya: Combining Autoencoder and Cellular Neural Networks for Enhanced Direct Multi-Step Forecasting of Short and Long-Term Multivariate Time Series in Battery Health Monitoring: A Preliminary Feasibility Analysis. International Conference on Applied Mathematics & Computer Science (ICAMCS), IEEE Computer Society, 2024, S. 191 - 193.

Martin Gebser: Intelligent Digital Twins. New Deal - Austrian Research Agenda, Österreichische Wissenschaftliche Gesellschaft für Produktionstechnik (ÖWGP), Wien, 2024, S. 64 - 69.

Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu: Operating room scheduling via answer set programming: Improved encoding and test on real data. Journal of Logic and Computation, Oxford University Press, 34, New York, 2024, S. 1556 - 1579.

Alice Tarzariol: Erlernen effizienter Constraints in der Antwortmengenprogrammierung. Lecture Notes in Informatik (LNI) - Dissertations, Köllen Druck+Verlag GmbH, D-24, Bonn, 2024, S. 301 - 310.

Ramsha Ali, Shahzad Qaiser, Peyman Eftekhari, Martin Gebser, Stephan Leitner, Gerhard Friedrich: A Greedy Search Based Ant Colony Optimization Algorithm for Large-Scale Semiconductor Production. Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH 2024, SciTePress - Science and Technology Publications, Setubal, 2024, S. 138 - 149.

Patrick Stöckermann, Alessandro Immordino, Thomas Altenmüller, Georg Seidel, Martin Gebser, Pierre Paul Alain Tassel, Chew Wye Chan, Feifei Zhang: Dispatching in Real Frontend Fabs with Industrial Grade Discrete-Event Simulations by Deep Reinforcement Learning with Evolution Strategies. Winter Simulation Conference (WSC 2023), IEEE Press Piscataway, 2023,

Pierre Paul Alain Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel: Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning. Winter Simulation Conference (WSC 2023), IEEE Press Piscataway, 2023,

Ramsha Ali, Mohammed Mahmoud Saadeldin El-Kholany, Martin Gebser: Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes (Extended Abstract). 2023, S. 1 - 3.

Marco De Bortoli, Lukáš Chrpa, Martin Gebser, Gerald Steinbauer-Wagner: Enhancing Temporal Planning by Sequential Macro-Actions (Extended Abstract). 2023, S. 1 - 3.

Mohammed Mahmoud Saadeldin El-Kholany, Ramsha Ali, Martin Gebser: Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. Logics in Artificial Intelligence - JELIA 2023, Springer Nature Switzerland AG, 14281, 2023, S. 243 - 252.

Marco De Bortoli, Lukáš Chrpa, Martin Gebser, Gerald Steinbauer-Wagner: Enhancing Temporal Planning by Sequential Macro-Actions. Logics in Artificial Intelligence - JELIA 2023, Springer Nature Switzerland AG, 14281, 2023, S. 595 - 604.

Ramsha Ali, Mohammed Mahmoud Saadeldin El-Kholany, Martin Gebser: Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Extended Abstract). Proceedings 39th International Conference on Logic Programming (ICLP 2023), Imperial College London, 2023, S. 396 - 398.

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law: Learning to Break Symmetries for Efficient Optimization in Answer Set Programming (Extended Abstract). Proceedings 39th International Conference on Logic Programming (ICLP 2023), Imperial College London, 2023, S. 408 - 410.

Benjamin Kovács, Pierre Paul Alain Tassel, Martin Gebser: Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '23), Association for Computing Machinery (ACM), New York, 2023, S. 1374 - 1382.

Benjamin Kovács, Pierre Paul Alain Tassel, Martin Gebser: PySCFabSimUI: Graphical User Interface for a Semiconductor Fab Simulator. International Conference on Automated Planning and Scheduling (ICAPS 2023) System Demonstrations, AAAI Press, Menlo Park (CA), 2023, S. 1 - 3.

Pierre Paul Alain Tassel, Martin Gebser, Konstantin Schekotihin: An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023) , AAAI Press, 33, Menlo Park (CA), 2023, S. 614 - 622.

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law: Learning to Break Symmetries for Efficient Optimization in Answer Set Programming. Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI Press, 37, Menlo Park (CA), 2023, S. 6541 - 6549.

Pierre Paul Alain Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel: Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning. Computer Research Repository (CoRR), 2023,

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.

Benjamin Kovács, Pierre Paul Alain Tassel, Martin Gebser, Georg Seidel: A Customizable Reinforcement Learning Environment for Semiconductor Fab Simulation. 2022 Winter Simulation Conference (WSC), IEEE, Piscataway (NJ), 2023, S. 2663 - 2674.

Ramsha Ali, Mohammed Mahmoud Saadeldin El-Kholany, Martin Gebser: Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). Practical Aspects of Declarative Languages, Springer Nature Switzerland AG, 13880, 2023, S. 85 - 95.

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,