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

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (ICLP, 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)

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)

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)

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)

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)

aspeed: ASP-based Solver Scheduling. - Holger H. Hoos; Roland Kaminski; Torsten Schaub; Marius Schneider 001 (ICLP (Technical Communications), 2012)

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

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

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

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

Minimal intervention strategies in logical signaling networks with ASP. - Roland Kaminski; Torsten Schaub; Anne Siegel; Santiago Videla (Theory Pract. Log. Program., 2013)

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

Solver Scheduling via Answer Set Programming. - Holger H. Hoos; Roland Kaminski; Marius Lindauer; 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)

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)

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

aspeed: Solver scheduling via answer set programming. - Holger H. Hoos; Roland Kaminski; Marius Lindauer; Torsten Schaub (Theory Pract. Log. Program., 2015)

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)

An ASP Semantics for Default Reasoning with Constraints. - Pedro Cabalar; Roland Kaminski; Max Ostrowski; Torsten Schaub (IJCAI, 2016)

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

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

A Tutorial on Hybrid Answer Set Solving with clingo. - Roland Kaminski; Torsten Schaub; Philipp Wanko (RW, 2017)

Clingo goes linear constraints over reals and integers. - Tomi Janhunen; Roland Kaminski; Max Ostrowski; Sebastian Schellhorn; Philipp Wanko; Torsten Schaub (Theory Pract. Log. Program., 2017)

Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. - Misbah Razzaq; Roland Kaminski; Javier Romero 003; Torsten Schaub; Jérémie Bourdon; Carito Guziolowski (CMSB, 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)

Temporal Answer Set Programming on Finite Traces. - Pedro Cabalar; Roland Kaminski; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2018)

telingo = ASP + Time. - Pedro Cabalar; Roland Kaminski; Philip Morkisch; Torsten Schaub (LPNMR, 2019)

The Return of xorro. - Flavio Everardo; Tomi Janhunen; Roland Kaminski; Torsten Schaub (LPNMR, 2019)

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

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)

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN . - Susana Hahn; Tomi Janhunen; Roland Kaminski; Javier Romero 003; Nicolas Rühling; Torsten Schaub (RuleML+RR, 2022)

plingo: A system for probabilistic reasoning in clingo based on lpmln. - Susana Hahn; Tomi Janhunen; Roland Kaminski; Javier Romero 003; Nicolas Rühling; Torsten Schaub (CoRR, 2022)

Routing and Scheduling in different ways: Abridged Preliminary Report. - Jan Behrens; Roland Kaminski; Torsten Schaub; Tran Cao Son; Jiri Svancara; Philipp Wanko (ICLP Workshops, 2023)

Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. - Jirí Svancara; Etienne Tignon; Roman Barták; Torsten Schaub; Philipp Wanko; Roland Kaminski (SOCS, 2023)

How to Build Your Own ASP-based System?! - Roland Kaminski; Javier Romero 003; Torsten Schaub; Philipp Wanko (Theory Pract. Log. Program., 2023)

Complex reasoning with answer set programming. - Roland Kaminski (2023)

On the Foundations of Grounding in Answer Set Programming. - Roland Kaminski; Torsten Schaub (Theory Pract. Log. Program., 2023)

Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers. - Roland Kaminski; Torsten Schaub; Klaus Strauch; Jirí Svancara (ICAART (1), 2024)

Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends. - Jirí Svancara; Dor Atzmon; Klaus Strauch; Roland Kaminski; Torsten Schaub (ICAART (3), 2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. - Roland Kaminski; Torsten Schaub; Tran Cao Son; Jirí Svancara; Philipp Wanko (CoRR, 2024)

Plingo: A System for Probabilistic Reasoning in Answer Set Programming. - Susana Hahn; Tomi Janhunen; Roland Kaminski; Javier Romero 003; Nicolas Rühling; Torsten Schaub (Theory Pract. Log. Program., 2025)