Martin Gebser - RankMe

178 papers A* 22A 6B 51C 5Misc 3Journal 69Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint). AAAI Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
2026	J	`jnl`	Explainable AI for reinforcement learning based dynamic scheduling solutions in semiconductor manufacturing. J. Intell. Manuf. Alessandro Immordino, Patrick Stöckermann, Niels Hayen, Thomas Altenmüller, Gian Antonio Susto, Martin Gebser, Konstantin Schekotihin, Georg Seidel
2026	B	`ed.`	Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025. ICLP Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski
2025	J	`jnl`	A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments. Artif. Intell. Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
2025	J	`jnl`	Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling. Log. Methods Comput. Sci. Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
2025	A*	`conf`	FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding. KR Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran
2025	J	`jnl`	Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. Martin Gebser, Daniela Inclezan, Francesco Ricca
2025	B	`ed.`	Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024. ICLP Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift
2025	J	`jnl`	Scalability of Reinforcement Learning Methods for Dispatching in Semiconductor Frontend Fabs: A Comparison of Open-Source Models with Real Industry Datasets. CoRR Patrick Stöckermann, Henning Südfeld, Alessandro Immordino, Thomas Altenmüller, Marc Wegmann, Martin Gebser, Konstantin Schekotihin, Georg Seidel, Chew Wye Chan, Feifei Zhang
2024	C	`conf`	A Greedy Search Based Ant Colony Optimization Algorithm for Large-Scale Semiconductor Production. SIMULTECH Ramsha Ali, Shahzad Qaiser, Mohammed M. S. El-Kholany, Peyman Eftekhari, Martin Gebser, Stephan Leitner, Gerhard Friedrich
2024	A	`conf`	Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing. ECAI Andreas Laber, Martin Gebser, Konstantin Schekotihin
2024	A*	`conf`	Navigating and Querying Answer Sets: How Hard Is It Really and Why? KR Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte
2024	J	`jnl`	Operating room scheduling via answer set programming: Improved encoding and test on real data. J. Log. Comput. Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu
2023	J	`jnl`	Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Martin Gebser
2023	A*	`conf`	An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. ICAPS Pierre Tassel, Martin Gebser, Konstantin Schekotihin
2023	J	`jnl`	An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. CoRR Pierre Tassel, Martin Gebser, Konstantin Schekotihin
2023	Misc	`conf`	Dispatching in Real Frontend Fabs With Industrial Grade Discrete-Event Simulations by Deep Reinforcement Learning with Evolution Strategies. WSC Patrick Stöckermann, Alessandro Immordino, Thomas Altenmüller, Georg Seidel, Martin Gebser, Pierre Tassel, Chew Wye Chan, Feifei Zhang
2023	J	`jnl`	Elementary Sets for Logic Programs. CoRR Martin Gebser, Joohyung Lee, Yuliya Lierler
2023	J	`jnl`	Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version). CoRR Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
2023	B	`conf`	Enhancing Temporal Planning by Sequential Macro-Actions. JELIA Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
2023	C	`conf`	Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). PADL Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser
2023	B	`conf`	Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. JELIA Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser
2023	J	`jnl`	Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version). CoRR Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser
2023	C	`conf`	Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement. RoboCup Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
2023	A*	`conf`	Learning to Break Symmetries for Efficient Optimization in Answer Set Programming. AAAI Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law
2023	A	`conf`	Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming. GECCO Benjamin Kovács, Pierre Tassel, Martin Gebser
2023	C	`ed.`	Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings PADL Martin Gebser, Ilya Sergey
2023	Misc	`conf`	Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning. WSC Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
2023	J	`jnl`	Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning. CoRR Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
2022	Misc	`conf`	A Customizable Reinforcement Learning Environment for Semiconductor Fab Simulation. WSC Benjamin Kovács, Pierre Tassel, Martin Gebser, Georg Seidel
2022	C	`conf`	Decomposition-Based Job-Shop Scheduling with Constrained Clustering. PADL Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser
2022	J	`jnl`	Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Theory Pract. Log. Program. Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law
2022	J	`jnl`	Efficient lifting of symmetry breaking constraints for complex combinatorial problems. CoRR Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin
2022	J	`jnl`	Lifting symmetry breaking constraints with inductive logic programming. Mach. Learn. Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2022	J	`jnl`	Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. CoRR Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
2022	J	`jnl`	Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. Theory Pract. Log. Program. Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
2022	—	`ed.`	Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. ICLP Technical Communications / Doctoral Consortium Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle
2022	A*	`conf`	Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling. ICAPS Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein
2022	—	`ch.`	Symbolic Artificial Intelligence Methods for Prescriptive Analytics. Digital Transformation Gerhard Friedrich, Martin Gebser, Erich Christian Teppan
2021	J	`jnl`	A Reinforcement Learning Environment For Job-Shop Scheduling. CoRR Pierre Tassel, Martin Gebser, Konstantin Schekotihin
2021	J	`jnl`	Aggregate Semantics for Propositional Answer Set Programs. CoRR Mario Alviano, Wolfgang Faber, Martin Gebser
2021	A*	`conf`	Lifting Symmetry Breaking Constraints with Inductive Logic Programming. IJCAI Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2021	J	`jnl`	Lifting Symmetry Breaking Constraints with Inductive Logic Programming. CoRR Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2021	B	`ed.`	Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings JELIA Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
2021	A	`conf`	Utilizing Constraint Optimization for Industrial Machine Workload Balancing. CP Benjamin Kovács, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein, Martin Gebser
2020	J	`jnl`	ASP-Core-2 Input Language Format. Theory Pract. Log. Program. Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2020	—	`conf`	An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. ICLP Workshops Pierre Tassel, Martin Gebser, Mohamed Rbaia
2020	J	`jnl`	Declarative encodings of acyclicity properties. J. Log. Comput. Martin Gebser, Tomi Janhunen, Jussi Rintanen
2020	—	`ed.`	International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. ICLP Workshops Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari
2020	J	`jnl`	The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. Martin Gebser, Marco Maratea, Francesco Ricca
2019	J	`jnl`	ASP-Core-2 Input Language Format. CoRR Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2019	J	`jnl`	Multi-shot ASP solving with clingo. Theory Pract. Log. Program. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2019	J	`jnl`	The Seventh Answer Set Programming Competition: Design and Results. CoRR Martin Gebser, Marco Maratea, Francesco Ricca
2019	J	`jnl`	plasp 3: Towards Effective ASP Planning. Theory Pract. Log. Program. Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2018	A*	`conf`	ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub
2018	A*	`conf`	Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
2018	J	`jnl`	Experimenting with robotic intra-logistics domains. CoRR Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
2018	J	`jnl`	Experimenting with robotic intra-logistics domains. Theory Pract. Log. Program. Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
2018	J	`jnl`	High-level synthesis of on-chip multiprocessor architectures based on answer set programming. J. Parallel Distributed Comput. Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub
2018	J	`jnl`	Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. CoRR Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub
2018	J	`jnl`	Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Theory Pract. Log. Program. Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge
2018	J	`jnl`	The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2018	J	`jnl`	plasp 3: Towards Effective ASP Planning. CoRR Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2017	J	`jnl`	Learning discrete decomposable graphical models via constraint optimization. Stat. Comput. Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander
2017	J	`jnl`	Multi-shot ASP solving with clingo. CoRR Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2017	B	`conf`	The Design of the Seventh Answer Set Programming Competition. LPNMR Martin Gebser, Marco Maratea, Francesco Ricca
2017	J	`jnl`	The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. Martin Gebser, Marco Maratea, Francesco Ricca
2017	B	`conf`	plasp 3: Towards Effective ASP Planning. LPNMR Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2016	J	`jnl`	Answer Set Programming Modulo Acyclicity. Fundam. Informaticae Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2016	—	`conf`	Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications) Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
2016	J	`jnl`	Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2016	A*	`conf`	From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI Mario Alviano, Wolfgang Faber, Martin Gebser
2016	J	`jnl`	Grounding Recursive Aggregates: Preliminary Report. CoRR Martin Gebser, Roland Kaminski, Torsten Schaub
2016	A*	`conf`	Knowledge-Based Sequence Mining with ASP. IJCAI Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub
2016	J	`jnl`	Modeling and Language Extensions. AI Mag. Martin Gebser, Torsten Schaub
2016	—	`conf`	Rewriting Optimization Statements in Answer-Set Programs. ICLP (Technical Communications) Jori Bomanson, Martin Gebser, Tomi Janhunen
2016	J	`jnl`	Shift Design with Answer Set Programming. Fundam. Informaticae Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
2016	—	`conf`	Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
2016	A*	`conf`	What's Hot in the Answer Set Programming Competition. AAAI Martin Gebser, Marco Maratea, Francesco Ricca
2016	B	`conf`	Writing Declarative Specifications for Clauses. JELIA Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
2015	B	`conf`	ASP Solving for Expanding Universes. LPNMR Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
2015	J	`jnl`	Abstract Gringo. CoRR Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015	J	`jnl`	Abstract gringo. Theory Pract. Log. Program. Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015	B	`conf`	Answer Set Programming Modulo Acyclicity. LPNMR Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2015	B	`conf`	Combining Heuristics for Configuration Problems Using Answer Set Programming. LPNMR Martin Gebser, Anna Ryabokon, Gottfried Schenner
2015	J	`jnl`	Interactive Answer Set Programming - Preliminary Report. CoRR Martin Gebser, Philipp Obermeier, Torsten Schaub
2015	J	`jnl`	Learning Boolean logic models of signaling networks with ASP. Theor. Comput. Sci. Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez, Torsten Schaub, Anne Siegel
2015	B	`conf`	Progress in clasp Series 3. LPNMR Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
2015	J	`jnl`	Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR Mario Alviano, Wolfgang Faber, Martin Gebser
2015	J	`jnl`	Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Martin Gebser
2015	—	`conf`	Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub
2015	B	`conf`	Shift Design with Answer Set Programming. LPNMR Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
2015	—	`conf`	Solving combined configuration problems: a heuristic approach. Configuration Workshop Martin Gebser, Anna Ryabokon, Gottfried Schenner
2015	B	`conf`	The Design of the Sixth Answer Set Programming Competition - - Report -. LPNMR Martin Gebser, Marco Maratea, Francesco Ricca
2015	B	`conf`	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2014	A*	`conf`	ASP Encodings of Acyclicity Properties. KR Martin Gebser, Tomi Janhunen, Jussi Rintanen
2014	A	`conf`	Answer Set Programming as SAT modulo Acyclicity. ECAI Martin Gebser, Tomi Janhunen, Jussi Rintanen
2014	J	`jnl`	Clingo = ASP + Control: Preliminary Report. CoRR Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2014	B	`conf`	Improving the Normalization of Weight Rules in Answer Set Programs. JELIA Jori Bomanson, Martin Gebser, Tomi Janhunen
2014	B	`conf`	Online Agent Logic Programming with oClingo. PRICAI Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher
2014	B	`conf`	SAT Modulo Graphs: Acyclicity. JELIA Martin Gebser, Tomi Janhunen, Jussi Rintanen
2014	J	`jnl`	The Design of the Fifth Answer Set Programming Competition. CoRR Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2013	—	`conf`	A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
2013	J	`jnl`	A System for Interactive Query Answering with Answer Set Programming. CoRR Martin Gebser, Philipp Obermeier, Torsten Schaub
2013	B	`conf`	Accurate Computation of Sensitizable Paths Using Answer Set Programming. LPNMR Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
2013	A*	`conf`	Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2013	J	`jnl`	Answer Set Programming for Stream Reasoning CoRR Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
2013	J	`jnl`	Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2013	A*	`conf`	Domain-Specific Heuristics in Answer Set Programming. AAAI Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko
2013	B	`conf`	Extending the Metabolic Network of LPNMR Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele
2013	B	`conf`	Matchmaking with Answer Set Programming. LPNMR Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub
2013	B	`conf`	Ricochet Robots: A Transverse ASP Benchmark. LPNMR Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider
2013	B	`conf`	Symbolic System Synthesis Using Answer Set Programming. LPNMR Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
2013	J	`jnl`	Tableau Calculi for Logic Programs under Answer Set Semantics. ACM Trans. Comput. Log. Martin Gebser, Torsten Schaub
2013	J	`jnl`	The ICLP 2013 Doctoral Consortium. Theory Pract. Log. Program. Marco Gavanelli, Martin Gebser
2012	—	`book`	Answer Set Solving in Practice Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2012	J	`jnl`	Conflict-driven answer set solving: From theory to practice. Artif. Intell. Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012	—	`conf`	Gearing Up for Effective ASP Planning. Correct Reasoning Martin Gebser, Roland Kaufmann, Torsten Schaub
2012	J	`jnl`	Multi-threaded ASP Solving with clasp CoRR Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012	J	`jnl`	Multi-threaded ASP solving with clasp. Theory Pract. Log. Program. Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012	A*	`conf`	Stream Reasoning with Answer Set Programming: Preliminary Report. KR Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
2011	B	`conf`	A Portfolio Solver for Answer Set Programming: Preliminary Report. LPNMR Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller
2011	B	`conf`	Advances in LPNMR Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub
2011	J	`jnl`	An incremental answer set programming based system for finite model computation. AI Commun. Martin Gebser, Orkunt Sabuncu, Torsten Schaub
2011	—	`conf`	Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2011	B	`conf`	Cluster-Based ASP Solving with LPNMR Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor
2011	J	`jnl`	Complex Optimization in Answer Set Programming CoRR Martin Gebser, Roland Kaminski, Torsten Schaub
2011	J	`jnl`	Complex optimization in answer set programming. Theory Pract. Log. Program. Martin Gebser, Roland Kaminski, Torsten Schaub
2011	J	`jnl`	Detecting inconsistencies in large biological networks with answer set programming. Theory Pract. Log. Program. Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber
2011	A*	`conf`	Finite Model Computation via Answer Set Programming. IJCAI Martin Gebser, Orkunt Sabuncu, Torsten Schaub
2011	—	`conf`	Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2011	J	`jnl`	On elementary loops of logic programs. Theory Pract. Log. Program. Martin Gebser, Joohyung Lee, Yuliya Lierler
2011	J	`jnl`	Potassco: The Potsdam Answer Set Solving Collection. AI Commun. Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider
2011	—	`—`	Proof theory and algorithms for answer set programming. Martin Gebser
2011	B	`conf`	Reactive Answer Set Programming. LPNMR Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
2011	—	`conf`	aspcud: A Linux Package Configuration Tool Based on Answer Set Programming LoCoCo Martin Gebser, Roland Kaminski, Torsten Schaub
2011	B	`conf`	plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub
2010	B	`conf`	An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA Martin Gebser, Orkunt Sabuncu, Torsten Schaub
2010	B	`conf`	Coala: A Compiler from Action Languages to ASP. JELIA Martin Gebser, Torsten Grote, Torsten Schaub
2010	J	`jnl`	Detecting Inconsistencies in Large Biological Networks with Answer Set Programming CoRR Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber
2010	J	`jnl`	Heuristics in Conflict Resolution CoRR Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2010	J	`jnl`	On Elementary Loops of Logic Programs CoRR Martin Gebser, Joohyung Lee, Yuliya Lierler
2010	A*	`conf`	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber
2010	—	`conf`	The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber
2009	B	`conf`	A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor
2009	J	`jnl`	Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfigurable Comput. Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub
2009	B	`conf`	Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. LPNMR Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub
2009	B	`conf`	Constraint Answer Set Solving. ICLP Martin Gebser, Max Ostrowski, Torsten Schaub
2009	—	`conf`	Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2009	J	`jnl`	Monotonic Answer Set Programming. J. Log. Comput. Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub
2009	B	`conf`	On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2009	B	`conf`	On the Input Language of ASP Grounder Gringo. LPNMR Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
2009	B	`conf`	Solution Enumeration for Projected Boolean Search Problems. CPAIOR Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2009	B	`conf`	The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2009	B	`conf`	The Second Answer Set Programming Competition. LPNMR Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski
2008	A*	`conf`	A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits
2008	A	`conf`	Advanced Preprocessing for Answer Set Solving. ECAI Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2008	—	`conf`	Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
2008	A*	`conf`	Conflict-Driven Disjunctive Answer Set Solving. KR Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub
2008	B	`conf`	Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber
2008	B	`conf`	Engineering an Incremental ASP Solver. ICLP Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
2007	B	`conf`	Advanced Techniques for Answer Set Programming. ICLP Martin Gebser
2007	—	`conf`	Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
2007	B	`conf`	Conflict-Driven Answer Set Enumeration. LPNMR Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2007	A*	`conf`	Conflict-Driven Answer Set Solving. IJCAI Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2007	B	`conf`	Debugging ASP Programs by Means of ASP. LPNMR Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
2007	B	`conf`	Generic Tableaux for Answer Set Programming. ICLP Martin Gebser, Torsten Schaub
2007	B	`conf`	GrinGo : A New Grounder for Answer Set Programming. LPNMR Martin Gebser, Torsten Schaub, Sven Thiele
2007	B	`conf`	Head-Elementary-Set-Free Logic Programs. LPNMR Martin Gebser, Joohyung Lee, Yuliya Lierler
2007	B	`conf`	The First Answer Set Programming System Competition. LPNMR Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
2007	—	`conf`	spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
2006	A*	`conf`	Elementary Sets of Logic Programs. AAAI Martin Gebser, Joohyung Lee, Yuliya Lierler
2006	B	`conf`	Tableau Calculi for Answer Set Programming. ICLP Martin Gebser, Torsten Schaub
2006	A	`conf`	What's a Head Without a Body? ECAI Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
2005	B	`conf`	Loops: Relevant or Redundant? LPNMR Martin Gebser, Torsten Schaub
2005	—	`conf`	The nomore++ Approach to Answer Set Solving. Answer Set Programming Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005	B	`conf`	The nomore++ Approach to Answer Set Solving. LPAR Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005	B	`conf`	The nomore++ System. LPNMR Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub