Martin Gebser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
88
Venues
17
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
88 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint). | Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi |
| 2025 | KR | FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding. | Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran |
| 2024 | ECAI | Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing. | Andreas Laber, Martin Gebser, Konstantin Schekotihin |
| 2024 | KR | Navigating and Querying Answer Sets: How Hard Is It Really and Why? | Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte |
| 2024 | SIMULTECH | 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 |
| 2023 | AAAI | Learning to Break Symmetries for Efficient Optimization in Answer Set Programming. | Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law |
| 2023 | GECCO | Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming. | Benjamin Kovcs, Pierre Tassel, Martin Gebser |
| 2023 | JELIA | Enhancing Temporal Planning by Sequential Macro-Actions. | Marco De Bortoli, Luks Chrpa, Martin Gebser, Gerald Steinbauer-Wagner |
| 2023 | JELIA | Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. | Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser |
| 2023 | PADL | Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). | Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser |
| 2023 | WSC | Dispatching in Real Frontend Fabs With Industrial Grade Discrete-Event Simulations by Deep Reinforcement Learning with Evolution Strategies. | Patrick Stckermann, Alessandro Immordino, Thomas Altenmller, Georg Seidel, Martin Gebser, Pierre Tassel, Chew Wye Chan, Feifei Zhang |
| 2023 | WSC | Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning. | Pierre Tassel, Benjamin Kovcs, Martin Gebser, Konstantin Schekotihin, Patrick Stckermann, Georg Seidel |
| 2023 | RoboCup | Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement. | Marco De Bortoli, Luks Chrpa, Martin Gebser, Gerald Steinbauer-Wagner |
| 2022 | PADL | Decomposition-Based Job-Shop Scheduling with Constrained Clustering. | Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser |
| 2022 | WSC | A Customizable Reinforcement Learning Environment for Semiconductor Fab Simulation. | Benjamin Kovcs, Pierre Tassel, Martin Gebser, Georg Seidel |
| 2021 | CP | Utilizing Constraint Optimization for Industrial Machine Workload Balancing. | Benjamin Kovcs, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein, Martin Gebser |
| 2021 | IJCAI | Lifting Symmetry Breaking Constraints with Inductive Logic Programming. | Alice Tarzariol, Martin Gebser, Konstantin Schekotihin |
| 2020 | ICLP | An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. | Pierre Tassel, Martin Gebser, Mohamed Rbaia |
| 2018 | IJCAI | Evaluation Techniques and Systems for Answer Set Programming: a Survey. | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
| 2017 | LPNMR | plasp 3: Towards Effective ASP Planning. | Yannis Dimopoulos, Martin Gebser, Patrick Lhne, Javier Romero, Torsten Schaub |
| 2017 | LPNMR | The Design of the Seventh Answer Set Programming Competition. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2016 | AAAI | What's Hot in the Answer Set Programming Competition. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2016 | ICLP | Rewriting Optimization Statements in Answer-Set Programs. | Jori Bomanson, Martin Gebser, Tomi Janhunen |
| 2016 | ICLP | Answer Set Solving with Generalized Learned Constraints. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lhne, Javier Romero, Torsten Schaub |
| 2016 | ICLP | Theory Solving Made Easy with Clingo 5. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko |
| 2016 | IJCAI | From Non-Convex Aggregates to Monotone Aggregates in ASP. | Mario Alviano, Wolfgang Faber, Martin Gebser |
| 2016 | IJCAI | Knowledge-Based Sequence Mining with ASP. | Martin Gebser, Thomas Guyet, Ren Quiniou, Javier Romero, Torsten Schaub |
| 2016 | JELIA | Writing Declarative Specifications for Clauses. | Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |
| 2015 | LPNMR | Shift Design with Answer Set Programming. | Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran |
| 2015 | LPNMR | 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 |
| 2015 | LPNMR | Answer Set Programming Modulo Acyclicity. | Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
| 2015 | LPNMR | ASP Solving for Expanding Universes. | Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub |
| 2015 | LPNMR | Progress in clasp Series 3. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub |
| 2015 | LPNMR | The Design of the Sixth Answer Set Programming Competition - - Report -. | Martin Gebser, Marco Maratea, Francesco Ricca |
| 2015 | LPNMR | Combining Heuristics for Configuration Problems Using Answer Set Programming. | Martin Gebser, Anna Ryabokon, Gottfried Schenner |
| 2014 | ECAI | Answer Set Programming as SAT modulo Acyclicity. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | JELIA | Improving the Normalization of Weight Rules in Answer Set Programs. | Jori Bomanson, Martin Gebser, Tomi Janhunen |
| 2014 | JELIA | SAT Modulo Graphs: Acyclicity. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | KR | ASP Encodings of Acyclicity Properties. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | PRICAI | Online Agent Logic Programming with oClingo. | Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher |
| 2013 | AAAI | Domain-Specific Heuristics in Answer Set Programming. | Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramn Otero, Torsten Schaub, Philipp Wanko |
| 2013 | IJCAI | Advanced Conflict-Driven Disjunctive Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2013 | LPNMR | Symbolic System Synthesis Using Answer Set Programming. | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Gla |
| 2013 | LPNMR | Accurate Computation of Sensitizable Paths Using Answer Set Programming. | Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |
| 2013 | LPNMR | Extending the Metabolic Network of | Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele |
| 2013 | LPNMR | Matchmaking with Answer Set Programming. | Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub |
| 2013 | LPNMR | Ricochet Robots: A Transverse ASP Benchmark. | Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider |
| 2012 | KR | Stream Reasoning with Answer Set Programming: Preliminary Report. | Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub |
| 2011 | ICLP | Multi-Criteria Optimization in Answer Set Programming. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2011 | IJCAI | Finite Model Computation via Answer Set Programming. | Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| 2011 | LPNMR | Reactive Answer Set Programming. | Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub |
| 2011 | LPNMR | Advances in | Martin Gebser, Roland Kaminski, Arne Knig, Torsten Schaub |
| 2011 | LPNMR | plasp: A Prototype for PDDL-Based Planning in ASP. | Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub |
| 2011 | LPNMR | Cluster-Based ASP Solving with | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor |
| 2011 | LPNMR | A Portfolio Solver for Answer Set Programming: Preliminary Report. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller |
| 2010 | ICTAI | The BioASP Library: ASP Solutions for Systems Biology. | Martin Gebser, Arne Knig, Torsten Schaub, Sven Thiele, Philippe Veber |
| 2010 | JELIA | Coala: A Compiler from Action Languages to ASP. | Martin Gebser, Torsten Grote, Torsten Schaub |
| 2010 | JELIA | An Incremental Answer Set Programming Based System for Finite ModelComputation. | Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| 2010 | KR | 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 |
| 2009 | CPAIOR | Solution Enumeration for Projected Boolean Search Problems. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2009 | ICLP | On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2009 | ICLP | Constraint Answer Set Solving. | Martin Gebser, Max Ostrowski, Torsten Schaub |
| 2009 | LPNMR | The Second Answer Set Programming Competition. | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
| 2009 | LPNMR | 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 |
| 2009 | LPNMR | On the Input Language of ASP Grounder Gringo. | Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2009 | LPNMR | The Conflict-Driven Answer Set Solver clasp: Progress Report. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2009 | LPNMR | Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. | Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub |
| 2008 | AAAI | A Meta-Programming Technique for Debugging Answer-Set Programs. | Martin Gebser, Jrg Phrer, Torsten Schaub, Hans Tompits |
| 2008 | ECAI | Advanced Preprocessing for Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2008 | ICLP | Engineering an Incremental ASP Solver. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2008 | ICLP | Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. | Martin Gebser, Torsten Schaub, Sven Thiele, Bjrn Usadel, Philippe Veber |
| 2008 | KR | Conflict-Driven Disjunctive Answer Set Solving. | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne Knig, Max Ostrowski, Torsten Schaub |
| 2007 | ICLP | Advanced Techniques for Answer Set Programming. | Martin Gebser |
| 2007 | ICLP | Generic Tableaux for Answer Set Programming. | Martin Gebser, Torsten Schaub |
| 2007 | IJCAI | Conflict-Driven Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Debugging ASP Programs by Means of ASP. | Martin Brain, Martin Gebser, Jrg Phrer, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2007 | LPNMR | Conflict-Driven Answer Set Enumeration. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Untitled record | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Head-Elementary-Set-Free Logic Programs. | Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2007 | LPNMR | The First Answer Set Programming System Competition. | Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andr Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2007 | LPNMR | GrinGo : A New Grounder for Answer Set Programming. | Martin Gebser, Torsten Schaub, Sven Thiele |
| 2007 | LPNMR | Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. | Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2006 | AAAI | Elementary Sets of Logic Programs. | Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2006 | ECAI | What's a Head Without a Body? | Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub |
| 2006 | ICLP | Tableau Calculi for Answer Set Programming. | Martin Gebser, Torsten Schaub |
| 2005 | LPAR | The nomore++ Approach to Answer Set Solving. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2005 | LPNMR | The nomore++ System. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2005 | LPNMR | Loops: Relevant or Redundant? | Martin Gebser, Torsten Schaub |