Torsten Schaub - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Automatic network reconstruction using ASPMarkus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler. tplp, 11(4-5):749-766, 2011. [doi]

Potassco: The Potsdam Answer Set Solving CollectionMartin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider. aicom, 24(2):107-124, 2011. [doi]

Advances in ::::gringo:::: Series 3Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub. lpnmr 2011: 345-351 [doi]

Detecting inconsistencies in large biological networks with answer set programmingMartin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber. tplp, 11(2-3):323-360, 2011. [doi]

Complex optimization in answer set programmingMartin Gebser, Roland Kaminski, Torsten Schaub. tplp, 11(4-5):821-839, 2011. [doi]

Finite Model Computation via Answer Set ProgrammingMartin Gebser, Orkunt Sabuncu, Torsten Schaub. IJCAI 2011: 2626-2631 [doi]

Reactive Answer Set ProgrammingMartin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub. lpnmr 2011: 54-66 [doi]

A Portfolio Solver for Answer Set Programming: Preliminary ReportMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller. lpnmr 2011: 352-357 [doi]

Multi-Criteria Optimization in Answer Set ProgrammingMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. ICLP 2011: 1-10 [doi]

Cluster-Based ASP Solving with ::::claspar::::Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor. lpnmr 2011: 364-369 [doi]

plasp: A Prototype for PDDL-Based Planning in ASPMartin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub. lpnmr 2011: 358-363 [doi]

An incremental answer set programming based system for finite model computationMartin Gebser, Orkunt Sabuncu, Torsten Schaub. aicom, 24(2):195-212, 2011. [doi]

Centurio, a General Game Player: Parallel, Java- and ASP-basedMaximilian Möller, Marius Thomas Schneider, Martin Wegner, Torsten Schaub. ki, 25(1):17-24, 2011. [doi]

Evolution of Ontologies using ASPMax Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou. ICLP 2011: 16-27 [doi]

2010

The BioASP Library: ASP Solutions for Systems BiologyMartin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber. ictai 2010: 383-389 [doi]

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set ProgrammingMartin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber. kr 2010: [doi]

Coala: A Compiler from Action Languages to ASPMartin Gebser, Torsten Grote, Torsten Schaub. jelia 2010: 360-364 [doi]

An Incremental Answer Set Programming Based System for Finite ModelComputationMartin Gebser, Orkunt Sabuncu, Torsten Schaub. jelia 2010: 169-181 [doi]

Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UKManuel V. Hermenegildo, Torsten Schaub, editors, Volume 7 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.

Answer Set Programming, the Solving Paradigm for Knowledge Representation and ReasoningTorsten Schaub. sum 2010: 2 [doi]

Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and DatasetsTorsten Schaub, Anne Siegel. ercim, 2010(82):30, 2010. [doi]

2009

Merging Logic Programs under Answer Set SemanticsJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran. ICLP 2009: 160-174 [doi]

A Simple Distributed Conflict-Driven Answer Set SolverEnrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor. lpnmr 2009: 490-495 [doi]

Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. ProceedingsEsra Erdem, Fangzhen Lin, Torsten Schaub, editors, Volume 5753 of Lecture Notes in Computer Science, Springer, 2009. [doi]

On the Input Language of ASP Grounder GringoMartin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele. lpnmr 2009: 502-508 [doi]

The Conflict-Driven Answer Set Solver clasp: Progress ReportMartin Gebser, Benjamin Kaufmann, Torsten Schaub. lpnmr 2009: 509-514 [doi]

Solution Enumeration for Projected Boolean Search ProblemsMartin Gebser, Benjamin Kaufmann, Torsten Schaub. cpaior 2009: 71-86 [doi]

Constraint Answer Set SolvingMartin Gebser, Max Ostrowski, Torsten Schaub. ICLP 2009: 235-249 [doi]

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP SolversMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. ICLP 2009: 250-264 [doi]

Monotonic Answer Set ProgrammingMartin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub. logcom, 19(4):539-564, 2009. [doi]

Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel ProgramsHarold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub. lpnmr 2009: 598-603 [doi]

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production ModeTorsten Schaub. lpnmr 2009: 631-633 [doi]

Metabolic Network Expansion with Answer Set ProgrammingTorsten Schaub, Sven Thiele. ICLP 2009: 312-326 [doi]

Experiences Running a Parallel Answer Set Solver on Blue GeneLars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. pvm 2009: 64-72 [doi]

2008

Belief Revision of Logic Programs under Answer Set SemanticsJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran. kr 2008: 411-421

Conflict-Driven Disjunctive Answer Set SolvingChristian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub. kr 2008: 422-432

Modeling Biological Networks by Action Languages via Answer Set ProgrammingSteve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig. constraints, 13(1-2):21-65, 2008. [doi]

The System BioC for Reasoning about Biological Models in Action Language CSteve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber. ictai 2008: 11-18 [doi]

Advanced Preprocessing for Answer Set SolvingMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. ecai 2008: 15-19 [doi]

Detecting Inconsistencies in Large Biological Networks with Answer Set ProgrammingMartin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber. ICLP 2008: 130-144 [doi]

Engineering an Incremental ASP SolverMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele. ICLP 2008: 190-205 [doi]

Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded SetsMartin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran. foiks 2008: 24-41 [doi]

A Meta-Programming Technique for Debugging Answer-Set ProgramsMartin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits. AAAI 2008: 448-453

Here s the Beef: Answer Set Programming !Torsten Schaub. ICLP 2008: 93-98 [doi]

Model-Based Knowledge Representation and Reasoning Via Answer Set ProgrammingTorsten Schaub. FLOPS 2008: 1-2 [doi]

2007

Debugging ASP Programs by Means of ASPMartin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran. lpnmr 2007: 31-43 [doi]

A General Framework for Expressing Preferences in Causal Reasoning and PlanningJames P. Delgrande, Torsten Schaub, Hans Tompits. logcom, 17(5):871-907, 2007. [doi]

COBA 2.0: A Consistency-Based Belief Change SystemJames P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele. ecsqaru 2007: 78-90 [doi]

Belief Change Based on Global MinimisationJames P. Delgrande, Jérôme Lang, Torsten Schaub. IJCAI 2007: 2468-2473 [doi]

A Preference-Based Framework for Updating Logic ProgramsJames P. Delgrande, Torsten Schaub, Hans Tompits. lpnmr 2007: 71-83 [doi]

A consistency-based framework for merging knowledge basesJames P. Delgrande, Torsten Schaub. japll, 5(3):459-477, 2007. [doi]

::::clasp:::: : A Conflict-Driven Answer Set SolverMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. lpnmr 2007: 260-265 [doi]

Conflict-Driven Answer Set SolvingMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. IJCAI 2007: 386 [doi]

Conflict-Driven Answer Set EnumerationMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. lpnmr 2007: 136-148 [doi]

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary ReportMartin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran. lpnmr 2007: [doi]

spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsMartin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran. wlp 2009: 247-252 [doi]

Generic Tableaux for Answer Set ProgrammingMartin Gebser, Torsten Schaub. ICLP 2007: 119-133 [doi]

The First Answer Set Programming System CompetitionMartin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski. lpnmr 2007: 3-17 [doi]

GrinGo : A New Grounder for Answer Set ProgrammingMartin Gebser, Torsten Schaub, Sven Thiele. lpnmr 2007: 266-271 [doi]

Qualitative Constraint Enforcement in Advanced Policy SpecificationAlessandra Mileo, Torsten Schaub. ecsqaru 2007: 695-706 [doi]

2006

2005

The nomore++ SystemChristian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub. lpnmr 2005: 422-426 [doi]

A Glimpse of Answer Set ProgrammingChristian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub. ki, 19(1):12, 2005. [doi]

The nomore++ Approach to Answer Set SolvingChristian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub. lpar 2005: 95-109 [doi]

The nomore++ Approach to Answer Set SolvingChristian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub. asp 2005: [doi]

Inconsistency Tolerance [result from a Dagstuhl seminar]Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub, editors, Volume 3300 of Lecture Notes in Computer Science, Springer, 2005.

Introduction to Inconsistency ToleranceLeopoldo E. Bertossi, Anthony Hunter, Torsten Schaub. dagstuhl 2005: 1-14 [doi]

Representing Paraconsistent Reasoning via Quantified Propositional LogicPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. dagstuhl 2005: 84-118 [doi]

05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and ConstraintsGerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens. dagstuhl 2005: [doi]

05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and ConstraintsGerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski. dagstuhl 2005: [doi]

Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, editors, Volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005.

Expressing Default Logic Variants in Default LogicJames P. Delgrande, Torsten Schaub. logcom, 15(5):593-621, 2005. [doi]

Loops: Relevant or Redundant?Martin Gebser, Torsten Schaub. lpnmr 2005: 53-65 [doi]

nomore:::<:::: A System for Computing Preferred Answer SetsSusanne Grell, Kathrin Konczak, Torsten Schaub. lpnmr 2005: 394-398 [doi]

Platypus: A Platform for Distributed Answer Set SolvingJean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy. lpnmr 2005: 227-239 [doi]

2004

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl InitiativePaul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski. lpnmr 2004: 3-7 [doi]

Profiling Answer Set Programming: The Visualization Component of the noMoRe SystemAndreas Bösel, Thomas Linke, Torsten Schaub. jelia 2004: 702-705 [doi]

10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, ProceedingsJames P. Delgrande, Torsten Schaub, editors, 2004.

On Computing Belief Change Operations using Quantified Boolean FormulasJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran. logcom, 14(6):801-826, 2004. [doi]

Domain-Specific Preferences for Causal Reasoning and PlanningJames P. Delgrande, Torsten Schaub, Hans Tompits. kr 2004: 673-682

Domain-Specific Preferences for Causal Reasoning and PlanningJames P. Delgrande, Torsten Schaub, Hans Tompits. aips 2004: 63-72

Consistency-based approaches to merging knowledge bases: preliminary reportJames P. Delgrande, Torsten Schaub. lpnmr 2004: 126-133 [doi]

Two Approaches to Merging Knowledge BasesJames P. Delgrande, Torsten Schaub. jelia 2004: 426-438 [doi]

A Classification and Survey of Preference Handling Approaches in Nonmonotonic ReasoningJames P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang. ci, 20(2):308-334, 2004. [doi]

Threshold extraction in metabolite concentration dataAndré Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig. bioinformatics, 20(10):1491-1494, 2004. [doi]

Graphs and Colorings for Answer Set Programming: Abridged ReportKathrin Konczak, Thomas Linke, Torsten Schaub. lpnmr 2004: 127-140 [doi]

nlp: A Compiler for Nested Logic ProgrammingVladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran. lpnmr 2004: 361-364 [doi]

2003

Optimality Theory as a Family of Cumulative LogicsPhilippe Besnard, Gisbert Fanselow, Torsten Schaub. jolli, 12(2):153-182, 2003.

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent TheoriesPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. ecsqaru 2003: 528-539 [doi]

On the Relation between Reiter s Default Logic and Its (Major)James P. Delgrande, Torsten Schaub. ecsqaru 2003: 452-463 [doi]

Lukaszewicz-style Answer Set Programming: A Preliminary ReportJames P. Delgrande, M. Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub. asp 2003: [doi]

A Framework for Compiling Preferences in Logic ProgramsJames P. Delgrande, Torsten Schaub, Hans Tompits. tplp, 3(2):129-187, 2003.

Graphs and coloring for answer set programming: Preliminary ReportKathrin Konczak, Torsten Schaub, Thomas Linke. asp 2003: [doi]

Graphs and colorings for answer set programming: Abridged ReportKathrin Konczak, Torsten Schaub, Thomas Linke. asp 2003: [doi]

A semantic framework for preference handling in answer set programmingTorsten Schaub, Kewen Wang. tplp, 3(4-5):569-607, 2003.

PreviousNext