M. Gebser

发表

A Meta-Programming Technique for Debugging Answer-Set Programs

Hans Tompits, Martin Gebser, Torsten Schaub, 2008, AAAI.

Martin Gebser, Torsten Schaub, Christian Anger, 2006 .

Under consideration for publication in Theory and Practice of Logic Programming 1 Complex Optimization in Answer Set Programming — Extended Version —

Torsten Schaub, M. Gebser, Roland Kaminski, 2011 .

Answer Set Programming modulo

B. Kaufmann, Torsten Schaub, M. Gebser, 2016 .

Theory Solving made easy with Clingo 5 ( Extended Version ∗ )

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2016 .

Answer Set Programming Modulo Acyclicity

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2015, Fundam. Informaticae.

ASP-Core-2 Input Language Format

Martin Gebser, Torsten Schaub, Giovambattista Ianni, 2019, Theory and Practice of Logic Programming.

EasyChair Preprint No 198 Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Torsten Schaub, M. Gebser, Philipp Obermeier, 2022 .

Partner Units Revisited ?

G. Friedrich, C. Drescher, M. Gebser, 2011 .

Multi-Criteria Optimization in Answer Set Programming

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2011, ICLP.

The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008

Martin Gebser, Torsten Schaub, Max Ostrowski, 2008 .

International Conference on Logic Programming

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2014 .

13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2015 .

Tableaux Calculi for Answer Set Programming — Extended Abstract —

Torsten Schaub, M. Gebser, 2022 .

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Martin Gebser, Torsten Schaub, Philipp Obermeier, 2015 .

Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling

Mohammed M. S. El-Kholany, M. Gebser, Konstantin Schekotihin, 2022, Theory and Practice of Logic Programming.

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems

M. Gebser, Mark Law, Konstantin Schekotihin, 2022, Theory and Practice of Logic Programming.

Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling

M. Gebser, Konstantin Schekotihin, Pierre Tassel, 2022, ICAPS.

Learning discrete decomposable graphical models via constraint optimization

Henrik J. Nyman, J. Corander, J. Rintanen, 2015, Statistics and Computing.

Conflict-Driven Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2007, IJCAI.

Design and results of the Fifth Answer Set Programming Competition

Martin Gebser, Francesco Ricca, Marco Maratea, 2016, Artif. Intell..

Answer Set Solving in Practice

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2012, Answer Set Solving in Practice.

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming

Martin Gebser, Torsten Schaub, Guillaume Collet, 2013, LPNMR.

Domain-Specific Heuristics in Answer Set Programming

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2013, AAAI.

Domain-pecific Heuristics in Answer Set Programming

J. Romero, T. Schaub, B. Kaufmann, 2013 .

The Seventh Answer Set Programming Competition: Design and Results pdf

Martin Gebser, Francesco Ricca, Marco Maratea, 2019, Theory and Practice of Logic Programming.

The Sixth Answer Set Programming Competition

Martin Gebser, Francesco Ricca, Marco Maratea, 2017, J. Artif. Intell. Res..

The Design of the Seventh Answer Set Programming Competition

Martin Gebser, Francesco Ricca, Marco Maratea, 2017, LPNMR.

ASP Solving for Expanding Universes

Martin Gebser, Torsten Schaub, Tomi Janhunen, 2015, LPNMR.

The Design of the Sixth Answer Set Programming Competition - - Report -

Martin Gebser, Francesco Ricca, Marco Maratea, 2014, LPNMR.

The Design of the Fifth Answer Set Programming Competition pdf

Martin Gebser, Francesco Ricca, Marco Maratea, 2014, ArXiv.

Conflict-driven answer set solving: From theory to practice

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2012, Artif. Intell..

Complex optimization in answer set programming pdf

Martin Gebser, Torsten Schaub, Roland Kaminski, 2011, Theory and Practice of Logic Programming.

Potassco: The Potsdam Answer Set Solving Collection

Marius Thomas Lindauer, Martin Gebser, Torsten Schaub, 2011, AI Commun..

On elementary loops of logic programs

Yuliya Lierler, Martin Gebser, Joohyung Lee, 2010, Theory and Practice of Logic Programming.

Heuristics in Conflict Resolution pdf

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2010, ArXiv.

Monotonic Answer Set Programming

Robert E. Mercer, Martin Gebser, Torsten Schaub, 2009, J. Log. Comput..

Constraint Answer Set Solving

Martin Gebser, Torsten Schaub, Max Ostrowski, 2009, ICLP.

Advanced Preprocessing for Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2008, ECAI.

Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets

Stefan Woltran, Hans Tompits, Martin Gebser, 2008, FoIKS.

A Versatile Intermediate Language for Answer Set Programming

Martin Gebser, Torsten Schaub, Max Ostrowski, 2008 .

Head-Elementary-Set-Free Logic Programs

Yuliya Lierler, Martin Gebser, Joohyung Lee, 2007, LPNMR.

Conflict-Driven Answer Set Enumeration

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2007, LPNMR.

Debugging ASP Programs by Means of ASP

Stefan Woltran, Hans Tompits, Martin Gebser, 2007, LPNMR.

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report

Stefan Woltran, Hans Tompits, Martin Gebser, 2007, CENT.

Tableau Calculi for Answer Set Programming

Martin Gebser, Torsten Schaub, Torsten Schaub, 2006, ICLP.

Characterizing ASP Inferences by Unit Propagation

Martin Gebser, Torsten Schaub, Torsten Schaub, 2006 .

The nomore++ Approach to Answer Set Solving

Martin Gebser, Torsten Schaub, Thomas Linke, 2005, LPAR.

Loops: Relevant or Redundant?

Martin Gebser, Torsten Schaub, Torsten Schaub, 2005, LPNMR.

Lifting symmetry breaking constraints with inductive logic programming pdf

Martin Gebser, Konstantin Schekotihin, Alice Tarzariol, 2020, Machine Learning.

Writing Declarative Specifications for Clauses

Martin Gebser, Torsten Schaub, Shahab Tasharrofi, 2016, JELIA.

SAT Modulo Graphs: Acyclicity

Martin Gebser, Jussi Rintanen, Tomi Janhunen, 2014, JELIA.

Challenges in Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

Learning Boolean logic models of signaling networks with ASP

Martin Gebser, Torsten Schaub, Julio Saez-Rodriguez, 2015, Theor. Comput. Sci..

A Portfolio Solver for Answer Set Programming: Preliminary Report

Marius Thomas Lindauer, Martin Gebser, Torsten Schaub, 2011, LPNMR.

Evaluation Techniques and Systems for Answer Set Programming: a Survey

Martin Gebser, Torsten Schaub, Nicola Leone, 2018, IJCAI.

GrinGo : A New Grounder for Answer Set Programming

Martin Gebser, Torsten Schaub, Sven Thiele, 2007, LPNMR.

Modeling and Language Extensions

Martin Gebser, Torsten Schaub, Torsten Schaub, 2016, AI Mag..

Theory Solving Made Easy with Clingo 5

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2016, ICLP.

Rewriting recursive aggregates in answer set programming: back to monotonicity pdf

Mario Alviano, Wolfgang Faber, Martin Gebser, 2015, Theory and Practice of Logic Programming.

Advanced Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2013, IJCAI.

Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2008, KR.

A Reinforcement Learning Environment For Job-Shop Scheduling

M. Gebser, Konstantin Schekotihin, Pierre Tassel, 2021, ArXiv.

Knowledge-Based Sequence Mining with ASP

Martin Gebser, Torsten Schaub, Thomas Guyet, 2016, IJCAI.

Advances in gringo Series 3

Martin Gebser, Torsten Schaub, Roland Kaminski, 2011, LPNMR.

From Non-Convex Aggregates to Monotone Aggregates in ASP

Mario Alviano, Wolfgang Faber, Martin Gebser, 2016, IJCAI.

ASP-Based Time-Bounded Planning for Logistics Robots

Gerhard Lakemeyer, Tim Niemüller, Martin Gebser, 2018, ICAPS.

Clingo = ASP + Control: Preliminary Report pdf

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2014, ArXiv.

Multi-shot ASP solving with clingo pdf

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2017, Theory and Practice of Logic Programming.

Combining Heuristics for Configuration Problems Using Answer Set Programming

Martin Gebser, Anna Ryabokon, Gottfried Schenner, 2015, LPNMR.

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

Martin Gebser, Torsten Schaub, Roland Kaminski, 2011, LoCoCo.

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming

Martin Gebser, Torsten Schaub, Carito Guziolowski, 2010, KR.

Solving combined configuration problems: a heuristic approach

Martin Gebser, Anna Ryabokon, Gottfried Schenner, 2015, Configuration Workshop.

Aggregate Semantics for Propositional Answer Set Programs pdf

Mario Alviano, Wolfgang Faber, Martin Gebser, 2021, Theory Pract. Log. Program..

Declarative encodings of acyclicity properties

Martin Gebser, Jussi Rintanen, Tomi Janhunen, 2020, J. Log. Comput..

Rewriting Optimization Statements in Answer-Set Programs

Martin Gebser, Jori Bomanson, Tomi Janhunen, 2016, ICLP.

What's Hot in the Answer Set Programming Competition

Martin Gebser, Francesco Ricca, Marco Maratea, 2016, AAAI.

Shift Design with Answer Set Programming

Stefan Woltran, Martin Gebser, Torsten Schaub, 2015, Fundam. Informaticae.

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

Martin Gebser, Torsten Schaub, Philipp Obermeier, 2014, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.

Improving the Normalization of Weight Rules in Answer Set Programs

Martin Gebser, Jori Bomanson, Tomi Janhunen, 2014, JELIA.

Answer Set Programming as SAT modulo Acyclicity

Martin Gebser, Jussi Rintanen, Tomi Janhunen, 2014, ECAI.

ASP Encodings of Acyclicity Properties

Martin Gebser, Jussi Rintanen, Tomi Janhunen, 2014, KR.

An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem

Martin Gebser, Pierre Tassel, Mohamed Rbaia, 2020, ICLP Workshops.

Learning discrete decomposable graphical models via constraint optimization

Martin Gebser, Jussi Rintanen, Johan Pensar, 2017, Stat. Comput..

Answer Set Solving with Generalized Learned Constraints

Martin Gebser, Torsten Schaub, Patrick Lühne, 2016, ICLP.

Answer Set Programming as SAT modulo Acyclicity 1

J. Rintanen, M. Gebser, T. Janhunen, 2014 .

Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning

M. Gebser, Konstantin Schekotihin, Pierre Tassel, 2023, 2023 Winter Simulation Conference (WSC).

clasp : A Conflict-Driven Answer Set Solver

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2007, LPNMR.

Multi-threaded ASP solving with clasp

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2012, Theory and Practice of Logic Programming.

Detecting inconsistencies in large biological networks with answer set programming

Martin Gebser, Torsten Schaub, Sven Thiele, 2008, Theory and Practice of Logic Programming.

Stream Reasoning with Answer Set Programming: Preliminary Report

Martin Gebser, Orkunt Sabuncu, Torsten Schaub, 2012, KR.

Reactive Answer Set Programming

Martin Gebser, Torsten Schaub, Roland Kaminski, 2011, LPNMR.

plasp: A Prototype for PDDL-Based Planning in ASP

Martin Gebser, Torsten Schaub, Roland Kaminski, 2011, LPNMR.

Coala: A Compiler from Action Languages to ASP

Martin Gebser, Torsten Schaub, Torsten Grote, 2010, JELIA.

Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming

M. Gebser, Pierre Tassel, Benjamin Kovács, 2023, GECCO.

A Customizable Reinforcement Learning Environment for Semiconductor Fab Simulation

M. Gebser, Pierre Tassel, Benjamin Kovács, 2022, 2022 Winter Simulation Conference (WSC).

A Customizable Simulator for Artificial Intelligence Research to Schedule Semiconductor Fabs

Mohammed M. S. El-Kholany, M. Gebser, Ramsha Ali, 2022, 2022 33rd Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC).

Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)

Mohammed M. S. El-Kholany, M. Gebser, Ramsha Ali, 2023, ArXiv.

Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)

Mohammed M. S. El-Kholany, M. Gebser, Ramsha Ali, 2023, International Symposium on Practical Aspects of Declarative Languages.

The Second Answer Set Programming Competition

Miroslaw Truszczynski, Martin Gebser, Joost Vennekens, 2009, LPNMR.

High-level synthesis of on-chip multiprocessor architectures based on answer set programming

Martin Gebser, Torsten Schaub, Christophe Bobda, 2018, J. Parallel Distributed Comput..

Tableau Calculi for Logic Programs under Answer Set Semantics

Martin Gebser, Torsten Schaub, Torsten Schaub, 2013, TOCL.

Answer Set Solving in Practice

B. Kaufmann, M. Gebser, Roland Kaminski, 2012, Synthesis Lectures on Artificial Intelligence and Machine Learning.

Grounding Recursive Aggregates: Preliminary Report

Torsten Schaub, M. Gebser, R. Kaminski, 2016, ArXiv.

Ricochet Robots: A Transverse ASP Benchmark

Marius Thomas Lindauer, Martin Gebser, Orkunt Sabuncu, 2013, LPNMR.

Decomposition-Based Job-Shop Scheduling with Constrained Clustering

Martin Gebser, Konstantin Schekotihin, Mohammed M. S. El-Kholany, 2022, International Symposium on Practical Aspects of Declarative Languages.

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling

M. Gebser, Konstantin Schekotihin, M. El-Kholany, 2022, 2205.07537.