Torsten Schaub
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
187
Venues
26
Active years
1991–2026
Best venue rank
A*
Where they publish
- BLPNMR59 papers
- BICLP25 papers
- BJELIA14 papers
- A*IJCAI14 papers
- CECSQARU13 papers
- A*KR12 papers
- AECAI10 papers
- A*AAAI9 papers
- BICAART3 papers
- BSoCS3 papers
- ADATE3 papers
- NationalKI3 papers
- CISMIS3 papers
- ACP2 papers
- BCPAIOR2 papers
- BICTAI2 papers
- BWALCOM1 paper
- CPADL1 paper
- BASPDAC1 paper
- BFMCAD1 paper
- NationalFLOPS1 paper
- BLPAR1 paper
- NationalAIMSA1 paper
- BPRICAI1 paper
- ACADE1 paper
- CIPMU1 paper
Papers
187 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming (Invited Talk). | Torsten Schaub |
| 2025 | ECAI | Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. | Kazuki Takada, Mutsunori Banbara, Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Torsten Schaub, Ryuhei Uehara |
| 2024 | ICAART | Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers. | Roland Kaminski, Torsten Schaub, Klaus Strauch, Jir Svancara |
| 2024 | ICAART | Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends. | Jir Svancara, Dor Atzmon, Klaus Strauch, Roland Kaminski, Torsten Schaub |
| 2024 | KR | 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 |
| 2024 | LPNMR | Towards Industrial-Scale Product Configuration. | Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshfer, Nicolas Rhling, Torsten Schaub, Philipp Wanko |
| 2024 | LPNMR | Compiling Metric Temporal Answer Set Programming. | Arvid Becker, Pedro Cabalar, Martn Diguez, Susana Hahn, Javier Romero, Torsten Schaub |
| 2024 | LPNMR | A Fixpoint Characterisation of Temporal Equilibrium Logic. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub, Igor Stphan |
| 2024 | LPNMR | ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. | Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | WALCOM | Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. | Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara |
| 2023 | ICAART | Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? | Jir Svancara, Philipp Obermeier, Matej Husr, Roman Bartk, Torsten Schaub |
| 2023 | ICLP | Routing and Scheduling in different ways: Abridged Preliminary Report. | Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko |
| 2023 | ICLP | Past-present temporal programs over finite traces: a preliminary report. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | ICLP | Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). | Susana Hahn, Cedric Martens, Amad Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn |
| 2023 | JELIA | Past-Present Temporal Programs over Finite Traces. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | JELIA | Hamiltonian Cycle Reconfiguration with Answer Set Programming. | Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2023 | JELIA | Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. | Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub |
| 2023 | PADL | Solving Vehicle Equipment Specification Problems with Answer Set Programming. | Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub |
| 2023 | SoCS | Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. | Jir Svancara, Etienne Tignon, Roman Bartk, Torsten Schaub, Philipp Wanko, Roland Kaminski |
| 2022 | ICLP | Conflict Handling in Product Configuration using Answer Set Programming. | Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub |
| 2022 | LPNMR | Metric Temporal Answer Set Programming over Timed Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub, Anna Schuhmann |
| 2022 | LPNMR | Clingraph: ASP-Based Visualization. | Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann |
| 2022 | SoCS | Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). | Jir Svancara, Philipp Obermeier, Matej Husr, Roman Bartk, Torsten Schaub |
| 2021 | ICLP | Automata for Dynamic Answer Set Solving: Preliminary Report. | Pedro Cabalar, Martn Diguez, Susana Hahn, Torsten Schaub |
| 2020 | ECAI | Implementing Dynamic Answer Set Programming over Finite Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub, Franois Laferrire |
| 2020 | ECAI | An ASP Semantics for Constraints Involving Conditional Aggregates. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2020 | KR | A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2019 | IJCAI | On the Integration of CP-nets in ASPRIN. | Mario Alviano, Javier Romero, Torsten Schaub |
| 2019 | JELIA | Lower Bound Founded Logic of Here-and-There. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2019 | LPNMR | Train Scheduling with Hybrid ASP. | Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko |
| 2019 | LPNMR | Towards Dynamic Answer Set Programming over Finite Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub |
| 2019 | LPNMR | telingo = ASP + Time. | Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub |
| 2019 | LPNMR | The Return of xorro. | Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub |
| 2019 | LPNMR | Verifying Strong Equivalence of Programs in the Input Language of gringo. | Vladimir Lifschitz, Patrick Lhne, Torsten Schaub |
| 2019 | SoCS | Generalized Target Assignment and Path Finding Using Answer Set Programming. | Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh |
| 2018 | ASPDAC | Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. | Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub |
| 2018 | DATE | Exact multi-objective design space exploration using ASPmT. | Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt |
| 2018 | IJCAI | Evaluation Techniques and Systems for Answer Set Programming: a Survey. | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
| 2018 | KR | Preference Relations by Approximation. | Mario Alviano, Javier Romero, Torsten Schaub |
| 2018 | KR | Introducing Temporal Stable Models for Linear Dynamic Logic. | Anne-Gwenn Bosser, Pedro Cabalar, Martn Diguez, Torsten Schaub |
| 2017 | DATE | Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. | Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt |
| 2017 | IJCAI | AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). | Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub |
| 2017 | IJCAI | Generalized Target Assignment and Path Finding Using Answer Set Programming. | Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh |
| 2017 | LPNMR | Generalized Answer Set Planning with Incomplete Information. | Javier Romero, Torsten Schaub, Tran Cao Son |
| 2017 | LPNMR | 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 |
| 2017 | LPNMR | Gelfond-Zhang Aggregates as Propositional Formulas. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2017 | LPNMR | plasp 3: Towards Effective ASP Planning. | Yannis Dimopoulos, Martin Gebser, Patrick Lhne, Javier Romero, Torsten Schaub |
| 2017 | LPNMR | Hybrid Metabolic Network Completion. | Clmence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
| 2017 | LPNMR | clingo goes Linear Constraints over Reals and Integers. | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
| 2016 | AAAI | Solving Goal Recognition Design Using ASP. | Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh |
| 2016 | ECAI | A Minimization-Based Approach to Iterated Multi-Agent Belief Change. | Paul Vicol, James P. Delgrande, Torsten Schaub |
| 2016 | ICLP | Computing Diverse Optimal Stable Models. | Javier Romero, Torsten Schaub, Philipp Wanko |
| 2016 | ICLP | Answer Set Solving with Generalized Learned Constraints. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lhne, Javier Romero, Torsten Schaub |
| 2016 | ICLP | Theory Solving Made Easy with Clingo 5. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko |
| 2016 | IJCAI | ASP for Anytime Dynamic Programming on Tree Decompositions. | Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran |
| 2016 | IJCAI | An ASP Semantics for Default Reasoning with Constraints. | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
| 2016 | IJCAI | Knowledge-Based Sequence Mining with ASP. | Martin Gebser, Thomas Guyet, Ren Quiniou, Javier Romero, Torsten Schaub |
| 2016 | JELIA | Writing Declarative Specifications for Clauses. | Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |
| 2015 | AAAI | asprin: Customizing Answer Set Preferences without a Headache. | Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub |
| 2015 | AAAI | What's Hot in the SAT and ASP Competitions. | Marijn Heule, Torsten Schaub |
| 2015 | AAAI | AutoFolio: Algorithm Configuration for Algorithm Selection. | Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub |
| 2015 | DATE | 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 |
| 2015 | LPNMR | Shift Design with Answer Set Programming. | Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran |
| 2015 | LPNMR | Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. | Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub |
| 2015 | LPNMR | Integrating ASP into ROS for Reasoning in Robots. | Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub |
| 2015 | LPNMR | 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 |
| 2015 | LPNMR | Answer Set Programming Modulo Acyclicity. | Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
| 2015 | LPNMR | Implementing Preferences with asprin. | Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub |
| 2015 | LPNMR | ASP Solving for Expanding Universes. | Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub |
| 2015 | LPNMR | Progress in clasp Series 3. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub |
| 2015 | LPNMR | An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. | Paul Vicol, James P. Delgrande, Torsten Schaub |
| 2013 | AAAI | Domain-Specific Heuristics in Answer Set Programming. | Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramn Otero, Torsten Schaub, Philipp Wanko |
| 2013 | CP | Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. | Torsten Schaub |
| 2013 | IJCAI | Advanced Conflict-Driven Disjunctive Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2013 | LPNMR | Symbolic System Synthesis Using Answer Set Programming. | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Gla |
| 2013 | LPNMR | Accurate Computation of Sensitizable Paths Using Answer Set Programming. | Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |
| 2013 | LPNMR | Extending the Metabolic Network of | Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele |
| 2013 | LPNMR | Matchmaking with Answer Set Programming. | Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub |
| 2013 | LPNMR | Ricochet Robots: A Transverse ASP Benchmark. | Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider |
| 2012 | FMCAD | Answer Set Programming. | Torsten Schaub |
| 2012 | ICLP | Unsatisfiability-based optimization in clasp. | Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub |
| 2012 | ICLP | aspeed: ASP-based Solver Scheduling. | Holger H. Hoos, Roland Kaminski, Torsten Schaub, Marius Schneider |
| 2012 | KR | Stream Reasoning with Answer Set Programming: Preliminary Report. | Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub |
| 2011 | ICLP | Multi-Criteria Optimization in Answer Set Programming. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2011 | ICLP | Evolution of Ontologies using ASP. | Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou |
| 2011 | IJCAI | Finite Model Computation via Answer Set Programming. | Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| 2011 | LPNMR | Reactive Answer Set Programming. | Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub |
| 2011 | LPNMR | Advances in | Martin Gebser, Roland Kaminski, Arne Knig, Torsten Schaub |
| 2011 | LPNMR | plasp: A Prototype for PDDL-Based Planning in ASP. | Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub |
| 2011 | LPNMR | Cluster-Based ASP Solving with | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor |
| 2011 | LPNMR | A Portfolio Solver for Answer Set Programming: Preliminary Report. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller |
| 2011 | LPNMR | Knowledge-intensive Stream Reasoning. | Torsten Schaub |
| 2010 | CPAIOR | Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning. | Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani |
| 2010 | ICLP | Titlepage, Table of Contents, Conference Organization. | Manuel V. Hermenegildo, Torsten Schaub |
| 2010 | ICLP | Introduction to the Technical Communications of the 26th International Conference on Logic Programming. | Manuel V. Hermenegildo, Torsten Schaub |
| 2010 | ICTAI | The BioASP Library: ASP Solutions for Systems Biology. | Martin Gebser, Arne Knig, Torsten Schaub, Sven Thiele, Philippe Veber |
| 2010 | JELIA | Coala: A Compiler from Action Languages to ASP. | Martin Gebser, Torsten Grote, Torsten Schaub |
| 2010 | JELIA | An Incremental Answer Set Programming Based System for Finite ModelComputation. | Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| 2010 | KR | 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 |
| 2009 | CPAIOR | Solution Enumeration for Projected Boolean Search Problems. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2009 | ICLP | Merging Logic Programs under Answer Set Semantics. | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2009 | ICLP | On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2009 | ICLP | Constraint Answer Set Solving. | Martin Gebser, Max Ostrowski, Torsten Schaub |
| 2009 | ICLP | Metabolic Network Expansion with Answer Set Programming. | Torsten Schaub, Sven Thiele |
| 2009 | LPNMR | 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 |
| 2009 | LPNMR | On the Input Language of ASP Grounder Gringo. | Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2009 | LPNMR | The Conflict-Driven Answer Set Solver clasp: Progress Report. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2009 | LPNMR | Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. | Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub |
| 2009 | LPNMR | Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. | Torsten Schaub |
| 2008 | AAAI | A Meta-Programming Technique for Debugging Answer-Set Programs. | Martin Gebser, Jrg Phrer, Torsten Schaub, Hans Tompits |
| 2008 | ECAI | Advanced Preprocessing for Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2008 | FLOPS | Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. | Torsten Schaub |
| 2008 | ICLP | Engineering an Incremental ASP Solver. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2008 | ICLP | Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. | Martin Gebser, Torsten Schaub, Sven Thiele, Bjrn Usadel, Philippe Veber |
| 2008 | ICLP | Here's the Beef: Answer Set Programming ! | Torsten Schaub |
| 2008 | ICTAI | The System BioC for Reasoning about Biological Models in Action Language C. | Steve Dworschak, Torsten Grote, Arne Knig, Torsten Schaub, Philippe Veber |
| 2008 | KR | Belief Revision of Logic Programs under Answer Set Semantics. | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2008 | KR | Conflict-Driven Disjunctive Answer Set Solving. | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne Knig, Max Ostrowski, Torsten Schaub |
| 2007 | ECSQARU | COBA 2.0: A Consistency-Based Belief Change System. | James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele |
| 2007 | ECSQARU | Qualitative Constraint Enforcement in Advanced Policy Specification. | Alessandra Mileo, Torsten Schaub |
| 2007 | ICLP | Generic Tableaux for Answer Set Programming. | Martin Gebser, Torsten Schaub |
| 2007 | IJCAI | Belief Change Based on Global Minimisation. | James P. Delgrande, Jrme Lang, Torsten Schaub |
| 2007 | IJCAI | Conflict-Driven Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Debugging ASP Programs by Means of ASP. | Martin Brain, Martin Gebser, Jrg Phrer, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2007 | LPNMR | A Preference-Based Framework for Updating Logic Programs. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2007 | LPNMR | Conflict-Driven Answer Set Enumeration. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Untitled record | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | The First Answer Set Programming System Competition. | Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andr Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2007 | LPNMR | GrinGo : A New Grounder for Answer Set Programming. | Martin Gebser, Torsten Schaub, Sven Thiele |
| 2007 | LPNMR | Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. | Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2006 | ECAI | What's a Head Without a Body? | Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub |
| 2006 | ECAI | On Probing and Multi-Threading in Platypus. | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy |
| 2006 | ICLP | Tableau Calculi for Answer Set Programming. | Martin Gebser, Torsten Schaub |
| 2006 | ICLP | Modelling Biological Networks by Action Languages Via Answer Set Programming. | Susanne Grell, Torsten Schaub, Joachim Selbig |
| 2005 | LPAR | The nomore++ Approach to Answer Set Solving. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2005 | LPNMR | The nomore++ System. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2005 | LPNMR | Loops: Relevant or Redundant? | Martin Gebser, Torsten Schaub |
| 2005 | LPNMR | nomore | Susanne Grell, Kathrin Konczak, Torsten Schaub |
| 2005 | LPNMR | Platypus: A Platform for Distributed Answer Set Solving. | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy |
| 2004 | JELIA | Profiling Answer Set Programming: The Visualization Component of the noMoRe System. | Andreas Bsel, Thomas Linke, Torsten Schaub |
| 2004 | JELIA | Two Approaches to Merging Knowledge Bases. | James P. Delgrande, Torsten Schaub |
| 2004 | KR | Domain-Specific Preferences for Causal Reasoning and Planning. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2004 | LPNMR | Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. | Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski |
| 2004 | LPNMR | Graphs and Colorings for Answer Set Programming: Abridged Report. | Kathrin Konczak, Thomas Linke, Torsten Schaub |
| 2004 | LPNMR | nlp: A Compiler for Nested Logic Programming. | Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2003 | ECSQARU | Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2003 | ECSQARU | On the Relation between Reiter's Default Logic and Its (Major). | James P. Delgrande, Torsten Schaub |
| 2003 | KI | Optimality Theory through Default Logic. | Philippe Besnard, Robert E. Mercer, Torsten Schaub |
| 2002 | ICLP | A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. | David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2002 | JELIA | Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2002 | JELIA | COBA: A Consistency-Based Belief Revision System. | James P. Delgrande, Aaron Hunter, Torsten Schaub |
| 2001 | ECSQARU | How to Reason Credulously and Skeptically within a Single Extension. | James P. Delgrande, Torsten Schaub |
| 2001 | ECSQARU | On Computing Solutions to Belief Change Scenarios. | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2001 | ECSQARU | What's Your Preference? And How to Express and Implement It in Logic Programming! | Torsten Schaub |
| 2001 | IJCAI | A Comparative Study of Logic Programs with Preference. | Torsten Schaub, Kewen Wang |
| 2001 | LPNMR | plp: A Generic Compiler for Ordered Logic Programs. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2000 | AAAI | A Consistency-Based Model for Belief Change: Preliminary Report. | James P. Delgrande, Torsten Schaub |
| 2000 | ECAI | Logic Programs with Compiled Preferences. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2000 | JELIA | A Compilation of Brewka and Eiter's Approach to Prioritization. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2000 | KR | Significant Inferences : Preliminary Report. | Philippe Besnard, Torsten Schaub |
| 1999 | ECSQARU | Query-Answering in Prioritized Default Logic. | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
| 1999 | ECSQARU | Avoiding Non-ground Variables. | Stefan Brning, Torsten Schaub |
| 1999 | ECSQARU | On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. | Thomas Linke, Torsten Schaub |
| 1999 | LPNMR | Default Reasoning via Blocking Sets. | Thomas Linke, Torsten Schaub |
| 1998 | AIMSA | Extension Calculus and Query Answering in Prioritized Default Logic. | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
| 1998 | JELIA | An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. | Thomas Linke, Torsten Schaub |
| 1998 | PRICAI | Reasoning with Sets of Preferences in Default Logic. | James P. Delgrande, Torsten Schaub |
| 1997 | IJCAI | Circumscribing Inconsistency. | Philippe Besnard, Torsten Schaub |
| 1997 | IJCAI | Compiling Reasoning with and about Preferences into Default Logic. | James P. Delgrande, Torsten Schaub |
| 1997 | ISMIS | An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. | Torsten Schaub, Pascal Nicolas |
| 1997 | LPNMR | An Implementation Platform for Query-Answering: X-RAY. | Torsten Schaub, Pascal Nicolas |
| 1996 | CADE | XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. | Torsten Schaub, Stefan Brning, Pascal Nicolas |
| 1996 | ECAI | Prolog Technology for Default Reasoning (An Abridged Report). | Torsten Schaub, Stefan Brning |
| 1996 | ISMIS | A Model-Based Approach to Consistency-Checking. | Stefan Brning, Torsten Schaub |
| 1996 | JELIA | A Simple Signed System for Paraconsistent Reasoning. | Philippe Besnard, Torsten Schaub |
| 1996 | KI | Putting Default Logics in Perspective. | Thomas Linke, Torsten Schaub |
| 1995 | ECSQARU | Lemma Handling in Default Logic Theorem Provers. | Thomas Linke, Torsten Schaub |
| 1994 | IPMU | Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. | Stefan Brning, Torsten Schaub |
| 1994 | ISMIS | Computing Queries from Prioritized Default Theories. | Torsten Schaub |
| 1994 | KI | Incorporating Specificity into Circumscriptive Theories. | James P. Delgrande, Torsten Schaub |
| 1994 | KR | A General Approach to Specificity in Default Reasoning. | James P. Delgrande, Torsten Schaub |
| 1993 | AAAI | Minimal Belief and Negation as Failure: A Feasible Approach. | Antje Beringer, Torsten Schaub |
| 1993 | AAAI | A Context-Based Framework for Default Logics. | Philippe Besnard, Torsten Schaub |
| 1993 | ECSQARU | Variations of Constrained Default Logic. | Torsten Schaub |
| 1992 | ECAI | On Constrained Default Theories. | Torsten Schaub |
| 1991 | ECSQARU | On Commitment and Cumulativity in Default Logics. | Torsten Schaub |
| 1991 | KR | Assertional Default Theories: A Semantical View. | Torsten Schaub |