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  -