TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - On the relation between Reiterïs default logic and its (major) variants
Y1  - 2003
SN  - 3-540- 409494-5
ER  - 
TY  - JOUR
A1  - Konczak, Kathrin
A1  - Schaub, Torsten
A1  - Linke, Thomas
T1  - Graphs and colorings for answer set programming with prefernces : preliminary report
Y1  - 2003
UR  - http://www.cs.uni-potsdam.de/wv/pdfformat/koschli03a.pdf
SN  - 1613-0073
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Mercer, Robert E.
A1  - Schaub, Torsten
T1  - Optimality theory throught default logic
Y1  - 2003
SN  - 3-540-20059-2
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
A1  - Tompits, Hans
T1  - A framework for compiling preferences in logic programs
Y1  - 2003
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Reasoning credulously and skeptically within a single extension
Y1  - 2003
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Wang, Kewen
T1  - A semantic framework for prefernce handling in answer set programming
Y1  - 2003
ER  - 
TY  - JOUR
A1  - Benhammadi, Farid
A1  - Nicolas, Pascal
A1  - Schaub, Torsten
T1  - Query-answering in prioritized default logic
Y1  - 1999
SN  - 3-540-66131-X
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - On bottom-up pre-processing techniques for automated default reasoning
Y1  - 1999
SN  - 3-540-66131-x
ER  - 
TY  - JOUR
A1  - Benhammadi, Farid
A1  - Nicolas, Pascal
A1  - Schaub, Torsten
T1  - Query-answering in prioritized default logic
Y1  - 1999
SN  - 3-540-66131-X
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten
T1  - Avoiding non-ground variables
Y1  - 1999
SN  - 3-540-66131-x
ER  - 
TY  - JOUR
A1  - Nicolas, Pascal
A1  - Schaub, Torsten
T1  - The XRay system : an implementation platform for local query-answering in default logics
Y1  - 1998
SN  - 3-540-65312-0
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten
T1  - A voiding non-ground variables
Y1  - 1999
ER  - 
TY  - BOOK
A1  - Schaub, Torsten
T1  - The automation of reasoning with incomplete information : from semantic foundations to efficient computation
T3  - Lecture notes in computer science
Y1  - 1999
SN  - 3-540-64515-2
U6  - https://doi.org/10.1007/BFb0054963
VL  - 1409
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Brain, Martin
A1  - Gebser, Martin
A1  - Pührer, Jörg
A1  - Schaub, Torsten
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - "That is illogical, Captain!" : the debugging support tool spock for answer-set programs ; system description
Y1  - 2007
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Neumann, André
A1  - Schaub, Torsten
T1  - Conflict-driven answer set enumeration
Y1  - 2007
SN  - 978-3-540- 72199-4
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Putting default logics in perspective
Y1  - 1996
SN  - 3-540-61708-6
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Lemma handling in default logic theorem provers
Y1  - 1995
SN  - 3540601120
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Neumann, André
A1  - Schaub, Torsten
T1  - Conflict-driven answer set solving
Y1  - 2007
SN  - 978-1-57735-323-2
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - A context-based framework for default logics
Y1  - 1993
SN  - 0-262-51071-5
ER  -