The nomore++ Approach to Answer Set Solving. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (Answer Set Programming, 2005)

The nomore++ System. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (LPNMR, 2005)

Loops: Relevant or Redundant? - Martin Gebser; Torsten Schaub (LPNMR, 2005)

Elementary Sets of Logic Programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (AAAI, 2006)

What's a Head Without a Body? - Christian Anger; Martin Gebser; Tomi Janhunen; Torsten Schaub (ECAI, 2006)

Tableau Calculi for Answer Set Programming. - Martin Gebser; Torsten Schaub (ICLP, 2006)

Advanced Techniques for Answer Set Programming. - Martin Gebser (ICLP, 2007)

Generic Tableaux for Answer Set Programming. - Martin Gebser; Torsten Schaub (ICLP, 2007)

Conflict-Driven Answer Set Solving. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (IJCAI, 2007)

Debugging ASP Programs by Means of ASP. - Martin Brain; Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits; Stefan Woltran (LPNMR, 2007)

Conflict-Driven Answer Set Enumeration. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (LPNMR, 2007)

clasp : A Conflict-Driven Answer Set Solver. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (LPNMR, 2007)

Head-Elementary-Set-Free Logic Programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (LPNMR, 2007)

The First Answer Set Programming System Competition. - Martin Gebser; Lengning Liu; Gayathri Namasivayam; André Neumann; Torsten Schaub; Miroslaw Truszczynski (LPNMR, 2007)

GrinGo : A New Grounder for Answer Set Programming. - Martin Gebser; Torsten Schaub; Sven Thiele (LPNMR, 2007)

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. - Martin Gebser; Torsten Schaub; Hans Tompits; Stefan Woltran (CENT, 2007)

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. - Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits; Stefan Woltran (INAP/WLP, 2007)

A Meta-Programming Technique for Debugging Answer-Set Programs. - Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits (AAAI, 2008)

Advanced Preprocessing for Answer Set Solving. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (ECAI, 2008)

Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. - Martin Gebser; Torsten Schaub; Hans Tompits; Stefan Woltran (FoIKS, 2008)

Engineering an Incremental ASP Solver. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Sven Thiele (ICLP, 2008)

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. - Martin Gebser; Torsten Schaub; Sven Thiele; Björn Usadel; Philippe Veber (ICLP, 2008)

Conflict-Driven Disjunctive Answer Set Solving. - Christian Drescher; Martin Gebser; Torsten Grote; Benjamin Kaufmann; Arne König; Max Ostrowski; Torsten Schaub (KR, 2008)

Solution Enumeration for Projected Boolean Search Problems. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (CPAIOR, 2009)

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (ICLP, 2009)

Constraint Answer Set Solving. - Martin Gebser; Max Ostrowski; Torsten Schaub (ICLP, 2009)

The Second Answer Set Programming Competition. - Marc Denecker; Joost Vennekens; Stephen Bond; Martin Gebser; Miroslaw Truszczynski (LPNMR, 2009)

A Simple Distributed Conflict-Driven Answer Set Solver. - Enrico Ellguth; Martin Gebser; Markus Gusowski; Benjamin Kaufmann; Roland Kaminski; Stefan Liske; Torsten Schaub; Lars Schneidenbach; Bettina Schnor (LPNMR, 2009)

On the Input Language of ASP Grounder Gringo. - Martin Gebser; Roland Kaminski; Max Ostrowski; Torsten Schaub; Sven Thiele (LPNMR, 2009)

The Conflict-Driven Answer Set Solver clasp: Progress Report. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (LPNMR, 2009)

Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. - Harold Ishebabi; Philipp Mahr; Christophe Bobda; Martin Gebser; Torsten Schaub (LPNMR, 2009)

Experiences Running a Parallel Answer Set Solver on Blue Gene. - Lars Schneidenbach; Bettina Schnor; Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (PVM/MPI, 2009)

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. - Harold Ishebabi; Philipp Mahr; Christophe Bobda; Martin Gebser; Torsten Schaub (Int. J. Reconfigurable Comput., 2009)

Monotonic Answer Set Programming. - Martin Gebser; Mona Gharib; Robert E. Mercer; Torsten Schaub (J. Log. Comput., 2009)

The BioASP Library: ASP Solutions for Systems Biology. - Martin Gebser; Arne König; Torsten Schaub; Sven Thiele; Philippe Veber (ICTAI (1), 2010)

Coala: A Compiler from Action Languages to ASP. - Martin Gebser; Torsten Grote; Torsten Schaub (JELIA, 2010)

An Incremental Answer Set Programming Based System for Finite ModelComputation. - Martin Gebser; Orkunt Sabuncu; Torsten Schaub (JELIA, 2010)

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. - Martin Gebser; Carito Guziolowski; Mihail Ivanchev; Torsten Schaub; Anne Siegel; Sven Thiele; Philippe Veber (KR, 2010)

Heuristics in Conflict Resolution - Christian Drescher; Martin Gebser; Benjamin Kaufmann; Torsten Schaub (CoRR, 2010)

Challenges in Answer Set Solving. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Multi-Criteria Optimization in Answer Set Programming. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (ICLP (Technical Communications), 2011)

Finite Model Computation via Answer Set Programming. - Martin Gebser; Orkunt Sabuncu; Torsten Schaub (IJCAI, 2011)

Reactive Answer Set Programming. - Martin Gebser; Torsten Grote; Roland Kaminski; Torsten Schaub (LPNMR, 2011)

Advances in gringo Series 3. - Martin Gebser; Roland Kaminski; Arne König; Torsten Schaub (LPNMR, 2011)

plasp: A Prototype for PDDL-Based Planning in ASP. - Martin Gebser; Roland Kaminski; Murat Knecht; Torsten Schaub (LPNMR, 2011)

Cluster-Based ASP Solving with claspar. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub; Bettina Schnor (LPNMR, 2011)

A Portfolio Solver for Answer Set Programming: Preliminary Report. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub; Marius Thomas Schneider; Stefan Ziller (LPNMR, 2011)

Potassco: The Potsdam Answer Set Solving Collection. - Martin Gebser; Benjamin Kaufmann; Roland Kaminski; Max Ostrowski; Torsten Schaub; Marius Schneider 001 (AI Commun., 2011)

An incremental answer set programming based system for finite model computation. - Martin Gebser; Orkunt Sabuncu; Torsten Schaub (AI Commun., 2011)

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming - Martin Gebser; Roland Kaminski; Torsten Schaub (LoCoCo, 2011)

Complex optimization in answer set programming. - Martin Gebser; Roland Kaminski; Torsten Schaub (Theory Pract. Log. Program., 2011)

On elementary loops of logic programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (Theory Pract. Log. Program., 2011)

Detecting inconsistencies in large biological networks with answer set programming. - Martin Gebser; Torsten Schaub; Sven Thiele; Philippe Veber (Theory Pract. Log. Program., 2011)

Proof theory and algorithms for answer set programming. - Martin Gebser (2011)

Gearing Up for Effective ASP Planning. - Martin Gebser; Roland Kaufmann; Torsten Schaub (Correct Reasoning, 2012)

Stream Reasoning with Answer Set Programming: Preliminary Report. - Martin Gebser; Torsten Grote; Roland Kaminski; Philipp Obermeier; Orkunt Sabuncu; Torsten Schaub (KR, 2012)

Conflict-driven answer set solving: From theory to practice. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (Artif. Intell., 2012)

Multi-threaded ASP solving with clasp. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (Theory Pract. Log. Program., 2012)

Answer Set Solving in Practice - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (Morgan & Claypool Publishers, 2012)

Domain-Specific Heuristics in Answer Set Programming. - Martin Gebser; Benjamin Kaufmann; Javier Romero 003; Ramón Otero; Torsten Schaub; Philipp Wanko (AAAI, 2013)

Advanced Conflict-Driven Disjunctive Answer Set Solving. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (IJCAI, 2013)

Symbolic System Synthesis Using Answer Set Programming. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (LPNMR, 2013)

Accurate Computation of Sensitizable Paths Using Answer Set Programming. - Benjamin Andres; Matthias Sauer 002; Martin Gebser; Tobias Schubert 001; Bernd Becker 001; Torsten Schaub (LPNMR, 2013)

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming. - Guillaume Collet; Damien Eveillard; Martin Gebser; Sylvain Prigent 001; Torsten Schaub; Anne Siegel; Sven Thiele (LPNMR, 2013)

Matchmaking with Answer Set Programming. - Martin Gebser; Thomas Glase; Orkunt Sabuncu; Torsten Schaub (LPNMR, 2013)

Ricochet Robots: A Transverse ASP Benchmark. - Martin Gebser; Holger Jost; Roland Kaminski; Philipp Obermeier; Orkunt Sabuncu; Torsten Schaub; Marius Schneider 001 (LPNMR, 2013)

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (MBMV, 2013)

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. - Mutsunori Banbara; Martin Gebser; Katsumi Inoue; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Matthias Weise (CoRR, 2013)

A System for Interactive Query Answering with Answer Set Programming. - Martin Gebser; Philipp Obermeier; Torsten Schaub (CoRR, 2013)

Answer Set Programming for Stream Reasoning - Martin Gebser; Torsten Grote; Roland Kaminski; Philipp Obermeier; Orkunt Sabuncu; Torsten Schaub (CoRR, 2013)

Tableau Calculi for Logic Programs under Answer Set Semantics. - Martin Gebser; Torsten Schaub (ACM Trans. Comput. Log., 2013)

The ICLP 2013 Doctoral Consortium. - Marco Gavanelli; Martin Gebser (Theory Pract. Log. Program., 2013)

Answer Set Programming as SAT modulo Acyclicity. - Martin Gebser; Tomi Janhunen; Jussi Rintanen (ECAI, 2014)

Improving the Normalization of Weight Rules in Answer Set Programs. - Jori Bomanson; Martin Gebser; Tomi Janhunen (JELIA, 2014)

SAT Modulo Graphs: Acyclicity. - Martin Gebser; Tomi Janhunen; Jussi Rintanen (JELIA, 2014)

ASP Encodings of Acyclicity Properties. - Martin Gebser; Tomi Janhunen; Jussi Rintanen (KR, 2014)

Online Agent Logic Programming with oClingo. - Timothy Joseph Cerexhe; Martin Gebser; Michael Thielscher (PRICAI, 2014)

The Design of the Fifth Answer Set Programming Competition. - Francesco Calimeri; Martin Gebser; Marco Maratea; Francesco Ricca (CoRR, 2014)

Clingo = ASP + Control: Preliminary Report. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (CoRR, 2014)

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. - Martin Gebser; Roland Kaminski; Philipp Obermeier; Torsten Schaub (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Solving combined configuration problems: a heuristic approach. - Martin Gebser; Anna Ryabokon; Gottfried Schenner (Configuration Workshop, 2015)

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. - Mutsunori Banbara; Martin Gebser; Katsumi Inoue; Max Ostrowski; Andrea Peano; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Matthias Weise (LPNMR, 2015)

ASP Solving for Expanding Universes. - Martin Gebser; Tomi Janhunen; Holger Jost; Roland Kaminski; Torsten Schaub (LPNMR, 2015)

Progress in clasp Series 3. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Javier Romero 003; Torsten Schaub (LPNMR, 2015)

The Design of the Sixth Answer Set Programming Competition - - Report -. - Martin Gebser; Marco Maratea; Francesco Ricca (LPNMR, 2015)

Combining Heuristics for Configuration Problems Using Answer Set Programming. - Martin Gebser; Anna Ryabokon; Gottfried Schenner (LPNMR, 2015)

Interactive Answer Set Programming - Preliminary Report. - Martin Gebser; Philipp Obermeier; Torsten Schaub (CoRR, 2015)

Learning Boolean logic models of signaling networks with ASP. - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Martin Gebser; Jacques Nicolas; Julio Saez-Rodriguez; Torsten Schaub; Anne Siegel (Theor. Comput. Sci., 2015)

Rewriting recursive aggregates in answer set programming: back to monotonicity. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (Theory Pract. Log. Program., 2015)

Abstract gringo. - Martin Gebser; Amelia Harrison; Roland Kaminski; Vladimir Lifschitz; Torsten Schaub (Theory Pract. Log. Program., 2015)

What's Hot in the Answer Set Programming Competition. - Martin Gebser; Marco Maratea; Francesco Ricca (AAAI, 2016)

Rewriting Optimization Statements in Answer-Set Programs. - Jori Bomanson; Martin Gebser; Tomi Janhunen (ICLP (Technical Communications), 2016)

Answer Set Solving with Generalized Learned Constraints. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Javier Romero 003; Torsten Schaub (ICLP (Technical Communications), 2016)

Theory Solving Made Easy with Clingo 5. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Philipp Wanko (ICLP (Technical Communications), 2016)

From Non-Convex Aggregates to Monotone Aggregates in ASP. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (IJCAI, 2016)

Knowledge-Based Sequence Mining with ASP. - Martin Gebser; Thomas Guyet; René Quiniou; Javier Romero 003; Torsten Schaub (IJCAI, 2016)

Writing Declarative Specifications for Clauses. - Martin Gebser; Tomi Janhunen; Roland Kaminski; Torsten Schaub; Shahab Tasharrofi (JELIA, 2016)

Design and results of the Fifth Answer Set Programming Competition. - Francesco Calimeri; Martin Gebser; Marco Maratea; Francesco Ricca (Artif. Intell., 2016)

Modeling and Language Extensions. - Martin Gebser; Torsten Schaub (AI Mag., 2016)

Grounding Recursive Aggregates: Preliminary Report. - Martin Gebser; Roland Kaminski; Torsten Schaub (CoRR, 2016)

Shift Design with Answer Set Programming. - Michael Abseher; Martin Gebser; Nysret Musliu; Torsten Schaub; Stefan Woltran (Fundam. Informaticae, 2016)

Answer Set Programming Modulo Acyclicity. - Jori Bomanson; Martin Gebser; Tomi Janhunen; Benjamin Kaufmann; Torsten Schaub (Fundam. Informaticae, 2016)

The Design of the Seventh Answer Set Programming Competition. - Martin Gebser; Marco Maratea; Francesco Ricca (LPNMR, 2017)

The Sixth Answer Set Programming Competition. - Martin Gebser; Marco Maratea; Francesco Ricca (J. Artif. Intell. Res., 2017)

Learning discrete decomposable graphical models via constraint optimization. - Tomi Janhunen; Martin Gebser; Jussi Rintanen; Henrik J. Nyman; Johan Pensar; Jukka Corander (Stat. Comput., 2017)

ASP-Based Time-Bounded Planning for Logistics Robots. - Björn Schäpers; Tim Niemueller; Gerhard Lakemeyer; Martin Gebser; Torsten Schaub (ICAPS, 2018)

Evaluation Techniques and Systems for Answer Set Programming: a Survey. - Martin Gebser; Nicola Leone; Marco Maratea; Simona Perri; Francesco Ricca; Torsten Schaub (IJCAI, 2018)

High-level synthesis of on-chip multiprocessor architectures based on answer set programming. - Christophe Bobda; Franck Yonga; Martin Gebser; Harold Ishebabi; Torsten Schaub (J. Parallel Distributed Comput., 2018)

The Potsdam Answer Set Solving Collection 5.0. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn; Philipp Wanko (Künstliche Intell., 2018)

Experimenting with robotic intra-logistics domains. - Martin Gebser; Philipp Obermeier; Thomas Otto; Torsten Schaub; Orkunt Sabuncu; Van Nguyen 001; Tran Cao Son (Theory Pract. Log. Program., 2018)

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. - Martin Gebser; Philipp Obermeier; Torsten Schaub; Michel Ratsch-Heitmann; Mario Runge (Theory Pract. Log. Program., 2018)

plasp 3: Towards Effective ASP Planning. - Yannis Dimopoulos; Martin Gebser; Patrick Lühne; Javier Romero 003; Torsten Schaub (Theory Pract. Log. Program., 2019)

Multi-shot ASP solving with clingo. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (Theory Pract. Log. Program., 2019)

An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. - Pierre Tassel; Martin Gebser; Mohamed Rbaia (ICLP Workshops, 2020)

Declarative encodings of acyclicity properties. - Martin Gebser; Tomi Janhunen; Jussi Rintanen (J. Log. Comput., 2020)

ASP-Core-2 Input Language Format. - Francesco Calimeri; Wolfgang Faber 001; Martin Gebser; Giovambattista Ianni; Roland Kaminski; Thomas Krennwallner; Nicola Leone; Marco Maratea; Francesco Ricca; Torsten Schaub (Theory Pract. Log. Program., 2020)

The Seventh Answer Set Programming Competition: Design and Results. - Martin Gebser; Marco Maratea; Francesco Ricca (Theory Pract. Log. Program., 2020)

Utilizing Constraint Optimization for Industrial Machine Workload Balancing. - Benjamin Kovács; Pierre Tassel; Wolfgang Kohlenbrein; Philipp Schrott-Kostwein; Martin Gebser (CP, 2021)

A Reinforcement Learning Environment For Job-Shop Scheduling. - Pierre Tassel; Martin Gebser; Konstantin Schekotihin (CoRR, 2021)

Symbolic Artificial Intelligence Methods for Prescriptive Analytics. - Gerhard Friedrich; Martin Gebser; Erich Christian Teppan (Digital Transformation, 2022)

Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling. - Pierre Tassel; Benjamin Kovács; Martin Gebser; Konstantin Schekotihin; Wolfgang Kohlenbrein; Philipp Schrott-Kostwein (ICAPS, 2022)

Decomposition-Based Job-Shop Scheduling with Constrained Clustering. - Mohammed M. S. El-Kholany; Konstantin Schekotihin; Martin Gebser (PADL, 2022)

A Customizable Reinforcement Learning Environment for Semiconductor Fab Simulation. - Benjamin Kovács; Pierre Tassel; Martin Gebser; Georg Seidel (WSC, 2022)

Lifting symmetry breaking constraints with inductive logic programming. - Alice Tarzariol; Martin Gebser; Konstantin Schekotihin (Mach. Learn., 2022)

Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. - Mohammed M. S. El-Kholany; Martin Gebser; Konstantin Schekotihin (Theory Pract. Log. Program., 2022)

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. - Alice Tarzariol; Konstantin Schekotihin; Martin Gebser; Mark Law (Theory Pract. Log. Program., 2022)

Learning to Break Symmetries for Efficient Optimization in Answer Set Programming. - Alice Tarzariol; Martin Gebser; Konstantin Schekotihin; Mark Law (AAAI, 2023)

An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. - Pierre Tassel; Martin Gebser; Konstantin Schekotihin (ICAPS, 2023)

Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming. - Benjamin Kovács; Pierre Tassel; Martin Gebser (GECCO, 2023)

Enhancing Temporal Planning by Sequential Macro-Actions. - Marco De Bortoli; Lukás Chrpa; Martin Gebser; Gerald Steinbauer-Wagner (JELIA, 2023)

Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. - Mohammed M. S. El-Kholany; Ramsha Ali; Martin Gebser (JELIA, 2023)

Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). - Ramsha Ali; Mohammed M. S. El-Kholany; Martin Gebser (PADL, 2023)

Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement. - Marco De Bortoli; Lukás Chrpa; Martin Gebser; Gerald Steinbauer-Wagner (RoboCup, 2023)

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

Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning. - Pierre Tassel; Benjamin Kovács; Martin Gebser; Konstantin Schekotihin; Patrick Stöckermann; Georg Seidel (WSC, 2023)

Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version). - Marco De Bortoli; Lukás Chrpa; Martin Gebser; Gerald Steinbauer-Wagner (CoRR, 2023)

Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version). - Mohammed M. S. El-Kholany; Ramsha Ali; Martin Gebser (CoRR, 2023)

Aggregate Semantics for Propositional Answer Set Programs. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (Theory Pract. Log. Program., 2023)

Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing. - Andreas Laber; Martin Gebser; Konstantin Schekotihin (ECAI, 2024)

Navigating and Querying Answer Sets: How Hard Is It Really and Why? - Dominik Rusovac; Markus Hecher; Martin Gebser; Sarah Alice Gaggl; Johannes Klaus Fichte (KR, 2024)

A Greedy Search Based Ant Colony Optimization Algorithm for Large-Scale Semiconductor Production. - Ramsha Ali; Shahzad Qaiser; Mohammed M. S. El-Kholany; Peyman Eftekhari; Martin Gebser; Stephan Leitner; Gerhard Friedrich (SIMULTECH, 2024)

Operating room scheduling via answer set programming: Improved encoding and test on real data. - Carmine Dodaro; Giuseppe Galatà; Martin Gebser; Marco Maratea; Cinzia Marte; Marco Mochi; Marco Scanu (J. Log. Comput., 2024)

A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments. - Martin Gebser; Enrico Giunchiglia; Marco Maratea; Marco Mochi (Artif. Intell., 2025)

Scalability of Reinforcement Learning Methods for Dispatching in Semiconductor Frontend Fabs: A Comparison of Open-Source Models with Real Industry Datasets. - Patrick Stöckermann; Henning Südfeld; Alessandro Immordino; Thomas Altenmüller; Marc Wegmann; Martin Gebser; Konstantin Schekotihin; Georg Seidel; Chew Wye Chan; Feifei Zhang (CoRR, 2025)