TY  - JOUR
A1  - Borchert, P.
A1  - Anger, Christian
A1  - Schaub, Torsten
A1  - Truszczynski, M.
T1  - Towards systematic benchmarking in answer set programming : the dagstuhl initiative
Y1  - 2004
SN  - 3-540- 20721-x
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Consistency-based approaches to merging knowledge based : preliminary report
Y1  - 2004
UR  - http://www.pims.math.ca/science/2004/NMR/papers/paper17.pdf
SN  - 92-990021-0-X
ER  - 
TY  - JOUR
A1  - Konczak, Kathrin
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Graphs and cologings for answer set programming : adridged report
Y1  - 2004
SN  - 3-540- 20721-x
ER  - 
TY  - JOUR
A1  - Flöter, André
A1  - Selbig, Joachim
A1  - Schaub, Torsten
T1  - Finding metabolic pathways in decision forests
Y1  - 2004
SN  - 3-540-23221-4
ER  - 
TY  - JOUR
A1  - Boesel, Andreas
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Profiling answer set programming : the visualization component of the noMoRe System
Y1  - 2004
SN  - 3-540-23242-7
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
A1  - Tompits, Hans
T1  - Domain-specific preference for causal reasoning and planning
Y1  - 2004
SN  - 1-577-35201-7
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Two approaches to merging knowledge bases
Y1  - 2004
SN  - 3-540-23242-7
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
A1  - Tompits, Hans
A1  - Wang, Kewen
T1  - Towards a classification of preference handling approaches in nonmonotonic reasoning
Y1  - 2002
SN  - 1-577-35166-5
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - On computing solutions to belief change scenarios
Y1  - 2001
SN  - 3-540- 42464-4
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - How to reason credulously and skeptically within a single extension.
Y1  - 2001
SN  - 3-540- 42464-4
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Wang, Kewen
T1  - A comparative study of logic programs with preference
Y1  - 2001
SN  - 1-558-60777-3
SN  - 1045-0823
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
A1  - Tompits, Hans
T1  - A generic compiler for ordered logic programs
Y1  - 2001
SN  - 3-540-42593-4
ER  - 
TY  - JOUR
A1  - Pearce, David
A1  - Sarsakov, Vladimir
A1  - Schaub, Torsten
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - A polynomial translation of logic programs with nested expressions into disjunctive logic programs : preliminary report
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Mercer, Robert E.
A1  - Schaub, Torsten
T1  - Optimality Theory via Default Logic
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Alternative foundations for Reiter's default logic.
Y1  - 2000
SN  - 0004-3702
ER  - 
TY  - BOOK
ED  - Brewka, Gerhard
ED  - Witteveen, Cees
ED  - Schaub, Torsten
T1  - Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001
Y1  - 2001
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Volkmann, Gerald
A1  - Linke, Thomas
A1  - Waschulzik, Thomas
A1  - Ohmes, Rick
A1  - Schaub, Torsten
A1  - Wischnewsky, M.
T1  - HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und Störfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen
Y1  - 1998
UR  - http://home.zait.uni-bremen.de/~gerald/papers/pius-papers.html
ER  - 
TY  - JOUR
A1  - Benhammadi, Farid
A1  - Nicolas, Pascal
A1  - Schaub, Torsten
T1  - Extension calculus and query answering in prioritized default logic
Y1  - 1998
SN  - 3-540- 64993-X
ER  - 
TY  - JOUR
A1  - Benhammadi, Farid
A1  - Nicolas, Pascal
A1  - Schaub, Torsten
T1  - Extension calculus and query answering in prioritized default logic
Y1  - 1998
SN  - 3-540-64993-X
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Reasoning with sets of preferences in default logic
Y1  - 1998
SN  - 3-540- 65271-x
ER  -