Martin Gebser

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 62

Top Venues

CoRR

Theory Pract. Log. Program.

LPNMR

JELIA

University of Potsdam (PHD)

Education History

University of Potsdam

PHD

Publications

Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). PADL (2023)
Martin Gebser, Joohyung Lee, Yuliya Lierler
Elementary Sets for Logic Programs. CoRR (2023)
Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser
Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version). CoRR (2023)
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement. RoboCup (2023)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming. AAAI (2023)
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version). CoRR (2023)
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Enhancing Temporal Planning by Sequential Macro-Actions. JELIA (2023)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning. WSC (2023)
Patrick Stöckermann, Alessandro Immordino, Thomas Altenmüller, Georg Seidel, Martin Gebser, Pierre Tassel, Chew Wye Chan, Feifei Zhang
Dispatching in Real Frontend Fabs With Industrial Grade Discrete-Event Simulations by Deep Reinforcement Learning with Evolution Strategies. WSC (2023)
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. ICAPS (2023)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning. CoRR (2023)
Benjamin Kovács, Pierre Tassel, Martin Gebser
Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming. GECCO (2023)
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. CoRR (2023)
Mario Alviano, Wolfgang Faber, Martin Gebser
Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. 23 (1) (2023)
Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser
Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. JELIA (2023)
Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser
Decomposition-Based Job-Shop Scheduling with Constrained Clustering. PADL (2022)
Benjamin Kovács, Pierre Tassel, Martin Gebser, Georg Seidel
A Customizable Reinforcement Learning Environment for Semiconductor Fab Simulation. WSC (2022)
Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Theory Pract. Log. Program. 22 (4) (2022)
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin
Efficient lifting of symmetry breaking constraints for complex combinatorial problems. CoRR (2022)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling. ICAPS (2022)
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. CoRR (2022)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting symmetry breaking constraints with inductive logic programming. Mach. Learn. 111 (4) (2022)
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. Theory Pract. Log. Program. 22 (4) (2022)
Benjamin Kovács, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein, Martin Gebser
Utilizing Constraint Optimization for Industrial Machine Workload Balancing. CP (2021)
Mario Alviano, Wolfgang Faber, Martin Gebser
Aggregate Semantics for Propositional Answer Set Programs. CoRR (2021)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting Symmetry Breaking Constraints with Inductive Logic Programming. IJCAI (2021)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting Symmetry Breaking Constraints with Inductive Logic Programming. CoRR (2021)
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
A Reinforcement Learning Environment For Job-Shop Scheduling. CoRR (2021)
Pierre Tassel, Martin Gebser, Mohamed Rbaia
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. ICLP Workshops (2020)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Declarative encodings of acyclicity properties. J. Log. Comput. 30 (4) (2020)
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 Pract. Log. Program. 20 (2) (2020)
Martin Gebser, Marco Maratea, Francesco Ricca
The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. 20 (2) (2020)
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. Theory Pract. Log. Program. 19 (3) (2019)
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. CoRR (2019)
Martin Gebser, Marco Maratea, Francesco Ricca
The Seventh Answer Set Programming Competition: Design and Results. CoRR (2019)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Multi-shot ASP solving with clingo. Theory Pract. Log. Program. 19 (1) (2019)
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI (2018)
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
Experimenting with robotic intra-logistics domains. Theory Pract. Log. Program. 18 (3-4) (2018)
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
Experimenting with robotic intra-logistics domains. CoRR (2018)
Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS (2018)
Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub
High-level synthesis of on-chip multiprocessor architectures based on answer set programming. J. Parallel Distributed Comput. 117 (2018)
Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Theory Pract. Log. Program. 18 (3-4) (2018)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. 32 (2-3) (2018)
Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. CoRR (2018)
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. CoRR (2018)
Martin Gebser, Marco Maratea, Francesco Ricca
The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. 60 (2017)
Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander
Learning discrete decomposable graphical models via constraint optimization. Stat. Comput. 27 (1) (2017)
Martin Gebser, Marco Maratea, Francesco Ricca
The Design of the Seventh Answer Set Programming Competition. LPNMR (2017)
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. LPNMR (2017)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Multi-shot ASP solving with clingo. CoRR (2017)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications) (2016)
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
Answer Set Programming Modulo Acyclicity. Fundam. Informaticae 147 (1) (2016)
Jori Bomanson, Martin Gebser, Tomi Janhunen
Rewriting Optimization Statements in Answer-Set Programs. ICLP (Technical Communications) (2016)
Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub
Knowledge-Based Sequence Mining with ASP. IJCAI (2016)
Martin Gebser, Torsten Schaub
Modeling and Language Extensions. AI Mag. 37 (3) (2016)
Martin Gebser, Marco Maratea, Francesco Ricca
What's Hot in the Answer Set Programming Competition. AAAI (2016)
Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
Shift Design with Answer Set Programming. Fundam. Informaticae 147 (1) (2016)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) (2016)
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
Writing Declarative Specifications for Clauses. JELIA (2016)
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. 231 (2016)
Mario Alviano, Wolfgang Faber, Martin Gebser
From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI (2016)
Martin Gebser, Roland Kaminski, Torsten Schaub
Grounding Recursive Aggregates: Preliminary Report. CoRR (2016)
Mario Alviano, Wolfgang Faber, Martin Gebser
Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR (2015)
Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
ASP Solving for Expanding Universes. LPNMR (2015)
Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
Answer Set Programming Modulo Acyclicity. LPNMR (2015)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
Progress in clasp Series 3. LPNMR (2015)
Martin Gebser, Marco Maratea, Francesco Ricca
The Design of the Sixth Answer Set Programming Competition - - Report -. LPNMR (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract Gringo. CoRR (2015)
Mario Alviano, Wolfgang Faber, Martin Gebser
Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory Pract. Log. Program. 15 (4-5) (2015)
Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez, Torsten Schaub, Anne Siegel
Learning Boolean logic models of signaling networks with ASP. Theor. Comput. Sci. 599 (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract gringo. Theory Pract. Log. Program. 15 (4-5) (2015)
Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
Shift Design with Answer Set Programming. LPNMR (2015)
Martin Gebser, Anna Ryabokon, Gottfried Schenner
Combining Heuristics for Configuration Problems Using Answer Set Programming. LPNMR (2015)
Martin Gebser, Anna Ryabokon, Gottfried Schenner
Solving combined configuration problems: a heuristic approach. Configuration Workshop (2015)
Martin Gebser, Philipp Obermeier, Torsten Schaub
Interactive Answer Set Programming - Preliminary Report. CoRR (2015)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR (2015)
Jori Bomanson, Martin Gebser, Tomi Janhunen
Improving the Normalization of Weight Rules in Answer Set Programs. JELIA (2014)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Clingo = ASP + Control: Preliminary Report. CoRR (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Answer Set Programming as SAT modulo Acyclicity. ECAI (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
ASP Encodings of Acyclicity Properties. KR (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
SAT Modulo Graphs: Acyclicity. JELIA (2014)
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
The Design of the Fifth Answer Set Programming Competition. CoRR (2014)
Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher
Online Agent Logic Programming with oClingo. PRICAI (2014)
Martin Gebser, Philipp Obermeier, Torsten Schaub
A System for Interactive Query Answering with Answer Set Programming. CoRR (2013)
Martin Gebser, Torsten Schaub
Tableau Calculi for Logic Programs under Answer Set Semantics. ACM Trans. Comput. Log. 14 (2) (2013)
Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
Accurate Computation of Sensitizable Paths Using Answer Set Programming. LPNMR (2013)
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV (2013)
Marco Gavanelli, Martin Gebser
The ICLP 2013 Doctoral Consortium. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR (2013)
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI (2013)
Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele
Using Answer Set Programming. LPNMR (2013)
Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider
Ricochet Robots: A Transverse ASP Benchmark. LPNMR (2013)
Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko
Domain-Specific Heuristics in Answer Set Programming. AAAI (2013)
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Answer Set Programming for Stream Reasoning CoRR (2013)
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
Symbolic System Synthesis Using Answer Set Programming. LPNMR (2013)
Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub
Matchmaking with Answer Set Programming. LPNMR (2013)
Martin Gebser, Roland Kaufmann, Torsten Schaub
Gearing Up for Effective ASP Planning. Correct Reasoning (2012)
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Stream Reasoning with Answer Set Programming: Preliminary Report. KR (2012)
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Multi-threaded ASP solving with clasp. Theory Pract. Log. Program. 12 (4-5) (2012)

Martin Gebser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Gebser