On Commitment and Cumulativity in Default Logics. - Torsten Schaub (ECSQARU, 1991)

Assertional Default Theories: A Semantical View. - Torsten Schaub (KR, 1991)

Considerations on default logics. - Torsten Schaub (1992)

On Constrained Default Theories. - Torsten Schaub (ECAI, 1992)

Wissensrepräsentation und Inferenz - eine grundlegende Einführung. - Wolfgang Bibel; Steffen Hölldobler; Torsten Schaub (Vieweg, 1993)

Minimal Belief and Negation as Failure: A Feasible Approach. - Antje Beringer; Torsten Schaub (AAAI, 1993)

A Context-Based Framework for Default Logics. - Philippe Besnard; Torsten Schaub (AAAI, 1993)

Variations of Constrained Default Logic. - Torsten Schaub (ECSQARU, 1993)

Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. - Stefan Brüning; Torsten Schaub (IPMU, 1994)

Computing Queries from Prioritized Default Theories. - Torsten Schaub (ISMIS, 1994)

Incorporating Specificity into Circumscriptive Theories. - James P. Delgrande; Torsten Schaub (KI, 1994)

A General Approach to Specificity in Default Reasoning. - James P. Delgrande; Torsten Schaub (KR, 1994)

Alternative Approaches to Default Logic. - James P. Delgrande; Torsten Schaub; W. Ken Jackson (Artif. Intell., 1994)

Possible Worlds Semantics for Default Logics. - Philippe Besnard; Torsten Schaub (Fundam. Informaticae, 1994)

Lemma Handling in Default Logic Theorem Provers. - Thomas Linke; Torsten Schaub (ECSQARU, 1995)

An Approach to Context-Based Default Reasoning. - Philippe Besnard; Torsten Schaub (Fundam. Informaticae, 1995)

A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. - Torsten Schaub (J. Autom. Reason., 1995)

Default Reasoning by Deductive Planning. - Michael Thielscher; Torsten Schaub (J. Autom. Reason., 1995)

Ist die Wissensrepräsentation tot? - Ulrich Furbach; Hans-Jürgen Bürckert; Joachim Hertzberg; Bernhard Nebel; Gerhard Brewka; Gerhard Lakemeyer; Torsten Schaub; Frank Puppe (Künstliche Intell., 1995)

XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. - Torsten Schaub; Stefan Brüning; Pascal Nicolas (CADE, 1996)

Prolog Technology for Default Reasoning (An Abridged Report). - Torsten Schaub; Stefan Brüning (ECAI, 1996)

Skeptical Query-Answering in Constrained Default Logic. - Torsten Schaub; Michael Thielscher (FAPR, 1996)

A Model-Based Approach to Consistency-Checking. - Stefan Brüning; Torsten Schaub (ISMIS, 1996)

A Simple Signed System for Paraconsistent Reasoning. - Philippe Besnard; Torsten Schaub (JELIA, 1996)

Putting Default Logics in Perspective. - Thomas Linke; Torsten Schaub (KI, 1996)

Circumscribing Inconsistency. - Philippe Besnard; Torsten Schaub (IJCAI (1), 1997)

Compiling Reasoning with and about Preferences into Default Logic. - James P. Delgrande; Torsten Schaub (IJCAI (1), 1997)

An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. - Torsten Schaub; Pascal Nicolas (ISMIS, 1997)

An Implementation Platform for Query-Answering: X-RAY. - Torsten Schaub; Pascal Nicolas (LPNMR, 1997)

Compiling Specificity Into Approaches to Nonmonotonic Reasoning. - James P. Delgrande; Torsten Schaub (Artif. Intell., 1997)

Towards a classification of Default Logics. - Thomas Linke; Torsten Schaub (J. Appl. Non Class. Logics, 1997)

The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation. - Torsten Schaub (Springer, 1998)

Extension Calculus and Query Answering in Prioritized Default Logic. - Farid Benhammadi; Pascal Nicolas; Torsten Schaub (AIMSA, 1998)

The XRay system: An implementation platform for local query-answering in default logics. - Pascal Nicolas; Torsten Schaub (Applications of Uncertainty Formalisms, 1998)

An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. - Thomas Linke; Torsten Schaub (JELIA, 1998)

Reasoning with Sets of Preferences in Default Logic. - James P. Delgrande; Torsten Schaub (PRICAI, 1998)

Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. - Torsten Schaub; Stefan Brüning (Artif. Intell., 1998)

Signed Systems for Paraconsistent Reasoning. - Philippe Besnard; Torsten Schaub (J. Autom. Reason., 1998)

Query-Answering in Prioritized Default Logic. - Farid Benhammadi; Pascal Nicolas; Torsten Schaub (ESCQARU, 1999)

Avoiding Non-ground Variables. - Stefan Brüning; Torsten Schaub (ESCQARU, 1999)

On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. - Thomas Linke; Torsten Schaub (ESCQARU, 1999)

Default Reasoning via Blocking Sets. - Thomas Linke; Torsten Schaub (LPNMR, 1999)

A Consistency-Based Model for Belief Change: Preliminary Report. - James P. Delgrande; Torsten Schaub (AAAI/IAAI, 2000)

A Connection Calculus for Handling Incomplete Information. - Stefan Brüning; Torsten Schaub (Intellectics and Computational Logic, 2000)

Logic Programs with Compiled Preferences. - James P. Delgrande; Torsten Schaub; Hans Tompits (ECAI, 2000)

A Compilation of Brewka and Eiter's Approach to Prioritization. - James P. Delgrande; Torsten Schaub; Hans Tompits (JELIA, 2000)

Significant Inferences : Preliminary Report. - Philippe Besnard; Torsten Schaub (KR, 2000)

Expressing preferences in default logic. - James P. Delgrande; Torsten Schaub (Artif. Intell., 2000)

Alternative foundations for Reiter's default logic. - Thomas Linke; Torsten Schaub (Artif. Intell., 2000)

A Compiler for Ordered Logic Programs - James P. Delgrande; Torsten Schaub; Hans Tompits (CoRR, 2000)

What is a (non-constructive) non-monotone logical system? - Philippe Besnard; Torsten Schaub (Theor. Comput. Sci., 2000)

A Comparative Study of Logic Programs with Preference: Preliminary Report. - Torsten Schaub; Kewen Wang 001 (Answer Set Programming, 2001)

How to Reason Credulously and Skeptically within a Single Extension. - James P. Delgrande; Torsten Schaub (ECSQARU, 2001)

On Computing Solutions to Belief Change Scenarios. - James P. Delgrande; Torsten Schaub; Hans Tompits; Stefan Woltran (ECSQARU, 2001)

What's Your Preference? And How to Express and Implement It in Logic Programming! - Torsten Schaub (ECSQARU, 2001)

A Comparative Study of Logic Programs with Preference. - Torsten Schaub; Kewen Wang 001 (IJCAI, 2001)

plp: A Generic Compiler for Ordered Logic Programs. - James P. Delgrande; Torsten Schaub; Hans Tompits (LPNMR, 2001)

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. - David Pearce 001; Vladimir Sarsakov; Torsten Schaub; Hans Tompits; Stefan Woltran (ICLP, 2002)

COBA: A Consistency-Based Belief Revision System. - James P. Delgrande; Aaron Hunter 001; Torsten Schaub (JELIA, 2002)

Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. - Torsten Schaub; Kewen Wang 001 (NMR, 2002)

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. - Philippe Besnard; Torsten Schaub; Hans Tompits; Stefan Woltran (Paraconsistent Computational Logic, 2002)

AAAI 2002 Workshops. - M. Brian Blake; Karen Zita Haigh; Henry Hexmoor; Rino Falcone; Leen-Kiat Soh; Chitta Baral; Sheila A. McIlraith; Piotr J. Gmytrasiewicz; Simon Parsons; Rainer Malaka; Antonio Krüger; Paolo Bouquet; et al. (AI Mag., 2002)

Reasoning Credulously and skeptically within a single extension. - James P. Delgrande; Torsten Schaub (J. Appl. Non Class. Logics, 2002)

Lukaszewicz-style Answer Set Programming: A Preliminary Report. - James P. Delgrande; Mona Gharib; Robert E. Mercer; Vincent Risch; Torsten Schaub (Answer Set Programming, 2003)

Graphs and coloring for answer set programming: Preliminary Report. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Answer Set Programming, 2003)

Graphs and colorings for answer set programming: Abridged Report. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Answer Set Programming, 2003)

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. - Philippe Besnard; Torsten Schaub; Hans Tompits; Stefan Woltran (ECSQARU, 2003)

On the Relation between Reiter's Default Logic and Its (Major). - James P. Delgrande; Torsten Schaub (ECSQARU, 2003)

Optimality Theory through Default Logic. - Philippe Besnard; Robert E. Mercer; Torsten Schaub (KI, 2003)

A consistency-based approach for belief change. - James P. Delgrande; Torsten Schaub (Artif. Intell., 2003)

Graphs and Colorings for Answer Set Programming with Preferences. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Fundam. Informaticae, 2003)

Optimality Theory as a Family of Cumulative Logics. - Philippe Besnard; Gisbert Fanselow; Torsten Schaub (J. Log. Lang. Inf., 2003)

A Framework for Compiling Preferences in Logic Programs. - James P. Delgrande; Torsten Schaub; Hans Tompits (Theory Pract. Log. Program., 2003)

A semantic framework for preference handling in answer set programming. - Torsten Schaub; Kewen Wang 001 (Theory Pract. Log. Program., 2003)

Profiling Answer Set Programming: The Visualization Component of the noMoRe System. - Andreas Bösel; Thomas Linke; Torsten Schaub (JELIA, 2004)

Two Approaches to Merging Knowledge Bases. - James P. Delgrande; Torsten Schaub (JELIA, 2004)

Domain-Specific Preferences for Causal Reasoning and Planning. - James P. Delgrande; Torsten Schaub; Hans Tompits (KR, 2004)

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. - Paul Borchert; Christian Anger; Torsten Schaub; Miroslaw Truszczynski (LPNMR, 2004)

nlp: A Compiler for Nested Logic Programming. - Vladimir Sarsakov; Torsten Schaub; Hans Tompits; Stefan Woltran (LPNMR, 2004)

Consistency-based approaches to merging knowledge bases: preliminary report. - James P. Delgrande; Torsten Schaub (NMR, 2004)

Threshold extraction in metabolite concentration data. - André Flöter; Jacques Nicolas; Torsten Schaub; Joachim Selbig (Bioinform., 2004)

Reasoning with Sets of Defaults in Default Logic. - James P. Delgrande; Torsten Schaub (Comput. Intell., 2004)

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. - James P. Delgrande; Torsten Schaub; Hans Tompits; Kewen Wang 001 (Comput. Intell., 2004)

On Computing Belief Change Operations using Quantified Boolean Formulas. - James P. Delgrande; Torsten Schaub; Hans Tompits; Stefan Woltran (J. Log. Comput., 2004)

The nomore++ Approach to Answer Set Solving. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (Answer Set Programming, 2005)

Introduction to Inconsistency Tolerance. - Leopoldo E. Bertossi; Anthony Hunter; Torsten Schaub (Inconsistency Tolerance, 2005)

Representing Paraconsistent Reasoning via Quantified Propositional Logic. - Philippe Besnard; Torsten Schaub; Hans Tompits; Stefan Woltran (Inconsistency Tolerance, 2005)

05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. - Gerhard Brewka; Ilkka Niemelä; Torsten Schaub; Miroslaw Truszczynski (Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005)

05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. - Gerhard Brewka; Ilkka Niemelä; Torsten Schaub; Miroslaw Truszczynski; Joost Vennekens (Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005)

The nomore++ System. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (LPNMR, 2005)

Loops: Relevant or Redundant? - Martin Gebser; Torsten Schaub (LPNMR, 2005)

nomore<: A System for Computing Preferred Answer Sets. - Susanne Grell; Kathrin Konczak; Torsten Schaub (LPNMR, 2005)

Platypus: A Platform for Distributed Answer Set Solving. - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (LPNMR, 2005)

A Glimpse of Answer Set Programming. - Christian Anger; Kathrin Konczak; Thomas Linke; Torsten Schaub (Künstliche Intell., 2005)

Expressing Default Logic Variants in Default Logic. - James P. Delgrande; Torsten Schaub (J. Log. Comput., 2005)

What's a Head Without a Body? - Christian Anger; Martin Gebser; Tomi Janhunen; Torsten Schaub (ECAI, 2006)

On Probing and Multi-Threading in Platypus. - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (ECAI, 2006)

Tableau Calculi for Answer Set Programming. - Martin Gebser; Torsten Schaub (ICLP, 2006)

Modelling Biological Networks by Action Languages Via Answer Set Programming. - Susanne Grell; Torsten Schaub; Joachim Selbig (ICLP, 2006)

Tableaux Calculi for Answer Set Programming. - Torsten Schaub (WLP, 2006)

Graphs and colorings for answer set programming. - Kathrin Konczak; Thomas Linke; Torsten Schaub (Theory Pract. Log. Program., 2006)

COBA 2.0: A Consistency-Based Belief Change System. - James P. Delgrande; Daphne H. Liu; Torsten Schaub; Sven Thiele (ECSQARU, 2007)

Qualitative Constraint Enforcement in Advanced Policy Specification. - Alessandra Mileo; Torsten Schaub (ECSQARU, 2007)

Generic Tableaux for Answer Set Programming. - Martin Gebser; Torsten Schaub (ICLP, 2007)

Belief Change Based on Global Minimisation. - James P. Delgrande; Jérôme Lang; Torsten Schaub (IJCAI, 2007)

Conflict-Driven Answer Set Solving. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (IJCAI, 2007)

Debugging ASP Programs by Means of ASP. - Martin Brain; Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits; Stefan Woltran (LPNMR, 2007)

A Preference-Based Framework for Updating Logic Programs. - James P. Delgrande; Torsten Schaub; Hans Tompits (LPNMR, 2007)

Conflict-Driven Answer Set Enumeration. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (LPNMR, 2007)

clasp : A Conflict-Driven Answer Set Solver. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (LPNMR, 2007)

The First Answer Set Programming System Competition. - Martin Gebser; Lengning Liu; Gayathri Namasivayam; André Neumann; Torsten Schaub; Miroslaw Truszczynski (LPNMR, 2007)

GrinGo : A New Grounder for Answer Set Programming. - Martin Gebser; Torsten Schaub; Sven Thiele (LPNMR, 2007)

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. - Martin Gebser; Torsten Schaub; Hans Tompits; Stefan Woltran (CENT, 2007)

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. - Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits; Stefan Woltran (INAP/WLP, 2007)

A consistency-based framework for merging knowledge bases. - James P. Delgrande; Torsten Schaub (J. Appl. Log., 2007)

A General Framework for Expressing Preferences in Causal Reasoning and Planning. - James P. Delgrande; Torsten Schaub; Hans Tompits (J. Log. Comput., 2007)

A Meta-Programming Technique for Debugging Answer-Set Programs. - Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits (AAAI, 2008)

Advanced Preprocessing for Answer Set Solving. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (ECAI, 2008)

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. - Torsten Schaub (FLOPS, 2008)

Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. - Martin Gebser; Torsten Schaub; Hans Tompits; Stefan Woltran (FoIKS, 2008)

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

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. - Martin Gebser; Torsten Schaub; Sven Thiele; Björn Usadel; Philippe Veber (ICLP, 2008)

Here's the Beef: Answer Set Programming ! - Torsten Schaub (ICLP, 2008)

The System BioC for Reasoning about Biological Models in Action Language C. - Steve Dworschak; Torsten Grote; Arne König; Torsten Schaub; Philippe Veber (ICTAI (1), 2008)

Belief Revision of Logic Programs under Answer Set Semantics. - James P. Delgrande; Torsten Schaub; Hans Tompits; Stefan Woltran (KR, 2008)

Conflict-Driven Disjunctive Answer Set Solving. - Christian Drescher; Martin Gebser; Torsten Grote; Benjamin Kaufmann; Arne König; Max Ostrowski; Torsten Schaub (KR, 2008)

Modeling Biological Networks by Action Languages via Answer Set Programming. - Steve Dworschak; Susanne Grell; Victoria J. Nikiforova; Torsten Schaub; Joachim Selbig (Constraints An Int. J., 2008)

Solution Enumeration for Projected Boolean Search Problems. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (CPAIOR, 2009)

Merging Logic Programs under Answer Set Semantics. - James P. Delgrande; Torsten Schaub; Hans Tompits; Stefan Woltran (ICLP, 2009)

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (ICLP, 2009)

Constraint Answer Set Solving. - Martin Gebser; Max Ostrowski; Torsten Schaub (ICLP, 2009)

Metabolic Network Expansion with Answer Set Programming. - Torsten Schaub; Sven Thiele (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)

The Conflict-Driven Answer Set Solver clasp: Progress Report. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (LPNMR, 2009)

Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. - Harold Ishebabi; Philipp Mahr; Christophe Bobda; Martin Gebser; Torsten Schaub (LPNMR, 2009)

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. - Torsten Schaub (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)

A general approach to belief change in answer set programming - James P. Delgrande; Torsten Schaub; Hans Tompits; Stefan Woltran (CoRR, 2009)

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. - Harold Ishebabi; Philipp Mahr; Christophe Bobda; Martin Gebser; Torsten Schaub (Int. J. Reconfigurable Comput., 2009)

Monotonic Answer Set Programming. - Martin Gebser; Mona Gharib; Robert E. Mercer; Torsten Schaub (J. Log. Comput., 2009)

Titlepage, Table of Contents, Conference Organization. - Manuel V. Hermenegildo; Torsten Schaub (ICLP (Technical Communications), 2010)

Introduction to the Technical Communications of the 26th International Conference on Logic Programming. - Manuel V. Hermenegildo; Torsten Schaub (ICLP (Technical Communications), 2010)

The BioASP Library: ASP Solutions for Systems Biology. - Martin Gebser; Arne König; Torsten Schaub; Sven Thiele; Philippe Veber (ICTAI (1), 2010)

Coala: A Compiler from Action Languages to ASP. - Martin Gebser; Torsten Grote; Torsten Schaub (JELIA, 2010)

An Incremental Answer Set Programming Based System for Finite ModelComputation. - Martin Gebser; Orkunt Sabuncu; Torsten Schaub (JELIA, 2010)

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 (KR, 2010)

Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning. - Torsten Schaub (SUM, 2010)

Heuristics in Conflict Resolution - Christian Drescher; Martin Gebser; Benjamin Kaufmann; Torsten Schaub (CoRR, 2010)

Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets. - Torsten Schaub; Anne Siegel (ERCIM News, 2010)

Introduction to the 26th international conference on logic programming special issue. - Manuel V. Hermenegildo; Torsten Schaub (Theory Pract. Log. Program., 2010)

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)

Evolution of Ontologies using ASP. - Max Ostrowski; Giorgos Flouris; Torsten Schaub; Grigoris Antoniou (ICLP (Technical Communications), 2011)

Finite Model Computation via Answer Set Programming. - Martin Gebser; Orkunt Sabuncu; Torsten Schaub (IJCAI, 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)

Knowledge-intensive Stream Reasoning. - Torsten Schaub (Log-IC@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)

An incremental answer set programming based system for finite model computation. - Martin Gebser; Orkunt Sabuncu; Torsten Schaub (AI Commun., 2011)

Knowledge-based multi-criteria optimization to support indoor positioning. - Alessandra Mileo; Torsten Schaub; Davide Merico; Roberto Bisiani (Ann. Math. Artif. Intell., 2011)

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming - Martin Gebser; Roland Kaminski; Torsten Schaub (LoCoCo, 2011)

Centurio, a General Game Player: Parallel, Java- and ASP-based. - Maximilian Möller; Marius Schneider 001; Martin Wegner; Torsten Schaub (Künstliche Intell., 2011)

Automatic network reconstruction using ASP. - Markus Durzinsky; Wolfgang Marwan; Max Ostrowski; Torsten Schaub; Annegret Wagler (Theory Pract. Log. Program., 2011)

Complex optimization in answer set programming. - Martin Gebser; Roland Kaminski; Torsten Schaub (Theory Pract. Log. Program., 2011)

Detecting inconsistencies in large biological networks with answer set programming. - Martin Gebser; Torsten Schaub; Sven Thiele; Philippe Veber (Theory Pract. Log. Program., 2011)

Gearing Up for Effective ASP Planning. - Martin Gebser; Roland Kaufmann; Torsten Schaub (Correct Reasoning, 2012)

Answer Set Programming. - Torsten Schaub (FMCAD, 2012)

Unsatisfiability-based optimization in clasp. - Benjamin Andres; Benjamin Kaufmann; Oliver Matheis; Torsten Schaub (ICLP (Technical Communications), 2012)

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)

Conflict-driven answer set solving: From theory to practice. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (Artif. Intell., 2012)

Préface. - Torsten Schaub (Rev. d'Intelligence Artif., 2012)

Multi-threaded ASP solving with clasp. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (Theory Pract. Log. Program., 2012)

ASP modulo CSP: The clingcon system. - Max Ostrowski; Torsten Schaub (Theory Pract. Log. Program., 2012)

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

Domain-Specific Heuristics in Answer Set Programming. - Martin Gebser; Benjamin Kaufmann; Javier Romero 003; Ramón Otero; Torsten Schaub; Philipp Wanko (AAAI, 2013)

Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. - Torsten Schaub (CP, 2013)

Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System. - Roberto Bisiani; Davide Merico; Stefano Pinardi; Matteo Dominoni; Amedeo Cesta; Andrea Orlandini; Riccardo Rasconi; Marco Suriano; Alessandro Umbrico; Orkunt Sabuncu; Torsten Schaub; Daniela D'Aloisi; et al. (IEA/AIE, 2013)

Advanced Conflict-Driven Disjunctive Answer Set Solving. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (IJCAI, 2013)

Robust Benchmark Set Selection for Boolean Constraint Solvers. - Holger H. Hoos; Benjamin Kaufmann; Torsten Schaub; Marius Schneider 001 (LION, 2013)

Symbolic System Synthesis Using Answer Set Programming. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (LPNMR, 2013)

Accurate Computation of Sensitizable Paths Using Answer Set Programming. - Benjamin Andres; Matthias Sauer 002; Martin Gebser; Tobias Schubert 001; Bernd Becker 001; Torsten Schaub (LPNMR, 2013)

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming. - Guillaume Collet; Damien Eveillard; Martin Gebser; Sylvain Prigent 001; Torsten Schaub; Anne Siegel; Sven Thiele (LPNMR, 2013)

Matchmaking with Answer Set Programming. - Martin Gebser; Thomas Glase; Orkunt Sabuncu; Torsten Schaub (LPNMR, 2013)

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

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (MBMV, 2013)

ROSoClingo: A ROS package for ASP-based robot control. - Benjamin Andres; Philipp Obermeier; Orkunt Sabuncu; Torsten Schaub; David Rajaratnam (CoRR, 2013)

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. - Mutsunori Banbara; Martin Gebser; Katsumi Inoue; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Matthias Weise (CoRR, 2013)

A System for Interactive Query Answering with Answer Set Programming. - Martin Gebser; Philipp Obermeier; Torsten Schaub (CoRR, 2013)

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

A Model-Theoretic Approach to Belief Change in Answer Set Programming. - James P. Delgrande; Torsten Schaub; Hans Tompits; Stefan Woltran (ACM Trans. Comput. Log., 2013)

Tableau Calculi for Logic Programs under Answer Set Semantics. - Martin Gebser; Torsten Schaub (ACM Trans. Comput. Log., 2013)

Answer set programming as a modeling language for course timetabling. - Mutsunori Banbara; Takehide Soh; Naoyuki Tamura; Katsumi Inoue; Torsten Schaub (Theory Pract. Log. Program., 2013)

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

Monitoring and Visualizing Answer Set Solving. - Arne König; Torsten Schaub (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)

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. - Holger H. Hoos; Marius Lindauer; Torsten Schaub (Theory Pract. Log. Program., 2014)

asprin: Customizing Answer Set Preferences without a Headache. - Gerhard Brewka; James P. Delgrande; Javier Romero 003; Torsten Schaub (AAAI, 2015)

What's Hot in the SAT and ASP Competitions. - Marijn Heule; Torsten Schaub (AAAI, 2015)

AutoFolio: Algorithm Configuration for Algorithm Selection. - Marius Lindauer; Holger H. Hoos; Frank Hutter; Torsten Schaub (AAAI Workshop: Algorithm Configuration, 2015)

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)

Boolean Network Identification from Multiplex Time Series Data. - Max Ostrowski; Loïc Paulevé; Torsten Schaub; Anne Siegel; Carito Guziolowski (CMSB, 2015)

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. - Alexander Biewer; Benjamin Andres; Jens Gladigau; Torsten Schaub; Christian Haubelt (DATE, 2015)

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. - Benjamin Andres; Alexander Biewer; Javier Romero 003; Christian Haubelt; Torsten Schaub (LPNMR, 2015)

Integrating ASP into ROS for Reasoning in Robots. - Benjamin Andres; David Rajaratnam; Orkunt Sabuncu; Torsten Schaub (LPNMR, 2015)

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 (LPNMR, 2015)

Implementing Preferences with asprin. - Gerhard Brewka; James P. Delgrande; Javier Romero 003; Torsten Schaub (LPNMR, 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)

An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. - Paul Vicol; James P. Delgrande; Torsten Schaub (LPNMR, 2015)

Interactive Answer Set Programming - Preliminary Report. - Martin Gebser; Philipp Obermeier; Torsten Schaub (CoRR, 2015)

AutoFolio: An Automatically Configured Algorithm Selector. - Marius Lindauer; Holger H. Hoos; Frank Hutter; Torsten Schaub (J. Artif. Intell. Res., 2015)

Learning Boolean logic models of signaling networks with ASP. - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Martin Gebser; Jacques Nicolas; Julio Saez-Rodriguez; Torsten Schaub; Anne Siegel (Theor. Comput. Sci., 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)

Solving Goal Recognition Design Using ASP. - Tran Cao Son; Orkunt Sabuncu; Christian Schulz-Hanke; Torsten Schaub; William Yeoh 001 (AAAI, 2016)

A Minimization-Based Approach to Iterated Multi-Agent Belief Change. - Paul Vicol; James P. Delgrande; Torsten Schaub (ECAI, 2016)

Fouille de motifs séquentiels avec ASP. - Thomas Guyet; Yves Moinard; Rene Quiniou; Torsten Schaub (EGC, 2016)

Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. - Thomas Guyet; Yves Moinard; René Quiniou; Torsten Schaub (EGC (best of volume), 2016)

Computing Diverse Optimal Stable Models. - Javier Romero 003; Torsten Schaub; Philipp Wanko (ICLP (Technical Communications), 2016)

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)

ASP for Anytime Dynamic Programming on Tree Decompositions. - Bernhard Bliem; Benjamin Kaufmann; Torsten Schaub; Stefan Woltran (IJCAI, 2016)

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

Knowledge-Based Sequence Mining with ASP. - Martin Gebser; Thomas Guyet; René Quiniou; Javier Romero 003; Torsten Schaub (IJCAI, 2016)

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

Modeling and Language Extensions. - Martin Gebser; Torsten Schaub (AI Mag., 2016)

Grounding and Solving in Answer Set Programming. - Benjamin Kaufmann; Nicola Leone; Simona Perri; Torsten Schaub (AI Mag., 2016)

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. - Max Ostrowski; Loïc Paulevé; Torsten Schaub; Anne Siegel; Carito Guziolowski (Biosyst., 2016)

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

Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective. - Orkunt Sabuncu; Torsten Schaub; Christian Schulz-Hanke (CoRR, 2016)

Shift Design with Answer Set Programming. - Michael Abseher; Martin Gebser; Nysret Musliu; Torsten Schaub; Stefan Woltran (Fundam. Informaticae, 2016)

Answer Set Programming Modulo Acyclicity. - Jori Bomanson; Martin Gebser; Tomi Janhunen; Benjamin Kaufmann; Torsten Schaub (Fundam. Informaticae, 2016)

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. - Kai Neubauer; Philipp Wanko; Torsten Schaub; Christian Haubelt (DATE, 2017)

AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). - Marius Lindauer; Frank Hutter; Holger H. Hoos; Torsten Schaub (IJCAI, 2017)

Generalized Target Assignment and Path Finding Using Answer Set Programming. - Van Nguyen 001; Philipp Obermeier; Tran Cao Son; Torsten Schaub; William Yeoh 001 (IJCAI, 2017)

Generalized Answer Set Planning with Incomplete Information. - Javier Romero 003; Torsten Schaub; Tran Cao Son (ASPOCP@LPNMR, 2017)

catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. - Mutsunori Banbara; Katsumi Inoue; Hiromasa Kaneyuki; Tenda Okimoto; Torsten Schaub; Takehide Soh; Naoyuki Tamura (LPNMR, 2017)

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

Automatic construction of parallel portfolios via algorithm configuration. - Marius Lindauer; Holger H. Hoos; Kevin Leyton-Brown; Torsten Schaub (Artif. Intell., 2017)

Clingcon: The next generation. - Mutsunori Banbara; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub (Theory Pract. Log. Program., 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)

ASP-Based Time-Bounded Planning for Logistics Robots. - Björn Schäpers; Tim Niemueller; Gerhard Lakemeyer; Martin Gebser; Torsten Schaub (ICAPS, 2018)

Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (ASP-DAC, 2018)

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)

On leveraging approximations for exact system-level design space exploration: work-in-progress. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (CODES+ISSS, 2018)

Exact multi-objective design space exploration using ASPmT. - Kai Neubauer; Philipp Wanko; Torsten Schaub; Christian Haubelt (DATE, 2018)

Evaluation Techniques and Systems for Answer Set Programming: a Survey. - Martin Gebser; Nicola Leone; Marco Maratea; Simona Perri; Francesco Ricca; Torsten Schaub (IJCAI, 2018)

Preference Relations by Approximation. - Mario Alviano; Javier Romero 003; Torsten Schaub (KR, 2018)

Introducing Temporal Stable Models for Linear Dynamic Logic. - Anne-Gwenn Bosser; Pedro Cabalar; Martín Diéguez; Torsten Schaub (KR, 2018)

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (MBMV, 2018)

anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (CoRR, 2018)

High-level synthesis of on-chip multiprocessor architectures based on answer set programming. - Christophe Bobda; Franck Yonga; Martin Gebser; Harold Ishebabi; Torsten Schaub (J. Parallel Distributed Comput., 2018)

Advanced Solving Technology for Dynamic and Reactive Applications. - Gerhard Brewka; Stefan Ellmauthaler; Gabriele Kern-Isberner; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Steffen Schieweck (Künstliche Intell., 2018)

Interview with Gerhard Brewka. - Gerhard Brewka; Torsten Schaub; Stefan Woltran (Künstliche Intell., 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)

Design Space Exploration with Answer Set Programming. - Christian Haubelt; Kai Neubauer; Torsten Schaub; Philipp Wanko (Künstliche Intell., 2018)

Interview with Vladimir Lifschitz. - Vladimir Lifschitz; Torsten Schaub; Stefan Woltran (Künstliche Intell., 2018)

Special Issue on Answer Set Programming. - Torsten Schaub; Stefan Woltran (Künstliche Intell., 2018)

Answer set programming unleashed! - Torsten Schaub; Stefan Woltran (Künstliche Intell., 2018)

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

Experimenting with robotic intra-logistics domains. - Martin Gebser; Philipp Obermeier; Thomas Otto; Torsten Schaub; Orkunt Sabuncu; Van Nguyen 001; Tran Cao Son (Theory Pract. Log. Program., 2018)

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. - Martin Gebser; Philipp Obermeier; Torsten Schaub; Michel Ratsch-Heitmann; Mario Runge (Theory Pract. Log. Program., 2018)

Temporal Logic Programs with Temporal Description Logic Axioms. - Pedro Cabalar; Torsten Schaub (Description Logic, Theory Combination, and All That, 2019)

Dynamic and Temporal Answer Set Programming on Linear Finite Traces. - Pedro Cabalar; Torsten Schaub (Datalog, 2019)

On the Integration of CP-nets in ASPRIN. - Mario Alviano; Javier Romero 003; Torsten Schaub (IJCAI, 2019)

Lower Bound Founded Logic of Here-and-There. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Sebastian Schellhorn (JELIA, 2019)

Train Scheduling with Hybrid ASP. - Dirk Abels; Julian Jordi; Max Ostrowski; Torsten Schaub; Ambra Toletti; Philipp Wanko (LPNMR, 2019)

Towards Dynamic Answer Set Programming over Finite Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub (LPNMR, 2019)

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)

Verifying Strong Equivalence of Programs in the Input Language of gringo. - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (LPNMR, 2019)

Gelfond-Zhang aggregates as propositional formulas. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Sebastian Schellhorn (Artif. Intell., 2019)

teaspoon : solving the curriculum-based course timetabling problems with answer set programming. - Mutsunori Banbara; Katsumi Inoue; Benjamin Kaufmann; Tenda Okimoto; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Philipp Wanko (Ann. Oper. Res., 2019)

Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report. - Philipp Obermeier; Javier Romero 003; Torsten Schaub (Open J. Databases, 2019)

plasp 3: Towards Effective ASP Planning. - Yannis Dimopoulos; Martin Gebser; Patrick Lühne; Javier Romero 003; Torsten Schaub (Theory Pract. Log. Program., 2019)

Hybrid metabolic network completion. - Clémence Frioux; Torsten Schaub; Sebastian Schellhorn; Anne Siegel; Philipp Wanko (Theory Pract. Log. Program., 2019)

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

Towards Verifying Logic Programs in the Input Language of clingo. - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (Fields of Logic and Computation III, 2020)

Implementing Dynamic Answer Set Programming over Finite Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (ECAI, 2020)

An ASP Semantics for Constraints Involving Conditional Aggregates. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (ECAI, 2020)

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (KR, 2020)

Implementing Dynamic Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (CoRR, 2020)

Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (CoRR, 2020)

Towards Metric Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2020)

eclingo : A Solver for Epistemic Logic Programs. - Pedro Cabalar; Jorge Fandinno; Javier Garea; Javier Romero 003; Torsten Schaub (Theory Pract. Log. Program., 2020)

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)

Verifying Tight Logic Programs with anthem and vampire. - Jorge Fandinno; Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (Theory Pract. Log. Program., 2020)

Automata for Dynamic Answer Set Solving: Preliminary Report. - Pedro Cabalar; Martín Diéguez; Susana Hahn; Torsten Schaub (ICLP Workshops, 2021)

Towards a Semantics for Hybrid ASP systems. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (CoRR, 2021)

Train Scheduling with Hybrid Answer Set Programming. - Dirk Abels; Julian Jordi; Max Ostrowski; Torsten Schaub; Ambra Toletti; Philipp Wanko (Theory Pract. Log. Program., 2021)

Planning with Incomplete Information in Quantified Answer Set Programming. - Jorge Fandinno; François Laferrière; Javier Romero 003; Torsten Schaub; Tran Cao Son (Theory Pract. Log. Program., 2021)

Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. - Matej Husár; Jirí Svancara; Philipp Obermeier; Roman Barták; Torsten Schaub (AAMAS, 2022)

Conflict Handling in Product Configuration using Answer Set Programming. - Konstantin Herud; Joachim Baumeister; Orkunt Sabuncu; Torsten Schaub (ICLP Workshops, 2022)

Metric Temporal Answer Set Programming over Timed Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (LPNMR, 2022)

Clingraph: ASP-Based Visualization. - Susana Hahn; Orkunt Sabuncu; Torsten Schaub; Tobias Stolzmann (LPNMR, 2022)

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)

Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). - Jirí Svancara; Philipp Obermeier; Matej Husár; Roman Barták; Torsten Schaub (SOCS, 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)

Answer Set Programming Made Easy. - Jorge Fandinno; Seemran Mishra; Javier Romero 003; Torsten Schaub (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Interactive Configuration with ASP Multi-Shot Solving. - Richard Comploi-Taupe; Andreas A. Falkner; Susana Hahn; Torsten Schaub; Gottfried Schenner (ConfWS, 2023)

Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. - Nicolas Rühling; Torsten Schaub; Tobias Stolzmann (ConfWS, 2023)

Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? - Jirí Svancara; Philipp Obermeier; Matej Husár; Roman Barták; Torsten Schaub (ICAART (1), 2023)

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)

Past-present temporal programs over finite traces: a preliminary report. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (ICLP Workshops, 2023)

Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). - Susana Hahn; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn (ICLP Workshops, 2023)

Past-Present Temporal Programs over Finite Traces. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (JELIA, 2023)

Hamiltonian Cycle Reconfiguration with Answer Set Programming. - Takahiro Hirate; Mutsunori Banbara; Katsumi Inoue; Xiao-Nan Lu; Hidetomo Nabeshima; Torsten Schaub; Takehide Soh; Naoyuki Tamura (JELIA, 2023)

Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. - Yuya Yamada; Mutsunori Banbara; Katsumi Inoue; Torsten Schaub (JELIA, 2023)

Solving Vehicle Equipment Specification Problems with Answer Set Programming. - Raito Takeuchi; Mutsunori Banbara; Naoyuki Tamura; Torsten Schaub (PADL, 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)

Clingraph: A System for ASP-based Visualization. - Susana Hahn; Orkunt Sabuncu; Torsten Schaub; Tobias Stolzmann (CoRR, 2023)

Bounded Combinatorial Reconfiguration with Answer Set Programming. - Yuya Yamada; Mutsunori Banbara; Katsumi Inoue; Torsten Schaub (CoRR, 2023)

Linear-Time Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (Theory Pract. Log. Program., 2023)

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

Answer Set Planning: A Survey. - Tran Cao Son; Enrico Pontelli; Marcello Balduccini; Torsten Schaub (Theory Pract. Log. Program., 2023)

On the Semantics of Hybrid ASP Systems Based on Clingo. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (Algorithms, 2023)

Evolutionary System Design with Answer Set Programming. - Christian Haubelt; Luise Müller; Kai Neubauer; Torsten Schaub; Philipp Wanko (Algorithms, 2023)

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. - David Rajaratnam; Torsten Schaub; Philipp Wanko; Kai Chen; Sirui Liu; Tran Cao Son (Algorithms, 2023)

Metric dynamic equilibrium logic. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Luis Fariñas del Cerro; Torsten Schaub; Anna Schuhmann (J. Appl. Non Class. Logics, 2023)

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

A general framework for preferences in answer set programming. - Gerhard Brewka; James P. Delgrande; Javier Romero 003; Torsten Schaub (Artif. Intell., 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)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. - Irumi Sugimori; Katsumi Inoue; Hidetomo Nabeshima; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Mutsunori Banbara (KR, 2024)

Towards Industrial-Scale Product Configuration. - Joachim Baumeister; Konstantin Herud; Max Ostrowski; Jochen Reutelshöfer; Nicolas Rühling; Torsten Schaub; Philipp Wanko (LPNMR, 2024)

Compiling Metric Temporal Answer Set Programming. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Susana Hahn; Javier Romero 003; Torsten Schaub (LPNMR, 2024)

A Fixpoint Characterisation of Temporal Equilibrium Logic. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub; Igor Stéphan (LPNMR, 2024)

ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. - Irumi Sugimori; Katsumi Inoue; Hidetomo Nabeshima; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Mutsunori Banbara (LPNMR, 2024)

Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. - Yuya Yamada; Mutsunori Banbara; Katsumi Inoue; Torsten Schaub; Ryuhei Uehara (WALCOM, 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)

Reasoning About Study Regulations in Answer Set Programming. - Susana Hahn; Torsten Schaub; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Sebastian Schellhorn (Theory Pract. Log. Program., 2024)

Dominating Set Reconfiguration with Answer Set Programming. - Masato Kato; Mutsunori Banbara; Torsten Schaub; Takehide Soh; Naoyuki Tamura (Theory Pract. Log. Program., 2024)

ASP-driven User-interaction with Clinguin. - Alexander Beiser; Susana Hahn; Torsten Schaub (ICLP, 2024)

Metric Temporal Equilibrium Logic over Timed Traces. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2024)

Clingraph: A System for ASP-based Visualization. - Susana Hahn; Orkunt Sabuncu; Torsten Schaub; Tobias Stolzmann (Theory Pract. Log. Program., 2024)

Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design. - Luise Müller; Philipp Wanko; Christian Haubelt; Torsten Schaub (Int. J. Parallel Program., 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)

On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. - Javier Romero 003; Torsten Schaub; Klaus Strauch (Theory Pract. Log. Program., 2025)

Strong Equivalence in Answer Set Programming with Constraints. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (CoRR, 2025)

Towards Industrial-scale Product Configuration. - Joachim Baumeister; Susana Hahn; Konstantin Herud; Max Ostrowski; Jochen Reutelshöfer; Nicolas Rühling; Torsten Schaub; Philipp Wanko (CoRR, 2025)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital. - Hidetomo Nabeshima; Mutsunori Banbara; Torsten Schaub; Takehide Soh (CoRR, 2025)

Anthem 2.0: Automated Reasoning for Answer Set Programming. - Jorge Fandinno; Christoph Glinzer; Zachary Hansen; Jan Heuer; Yuliya Lierler; Vladimir Lifschitz; Torsten Schaub; Tobias Stolzmann (CoRR, 2025)

Towards Constraint Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez; François Olivier; Torsten Schaub; Igor Stéphan (CoRR, 2025)