TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten
T1  - A connection calculus for handling incomplete information
Y1  - 2000
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Expressing preferences in default logic
Y1  - 2000
SN  - 0004-3702
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Nicolas, Pascal
T1  - An implementation platform for query-answering in default logics : the XRay system, its implementation and evaluation
Y1  - 1997
SN  - 3-540-63255-7
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Nicolas, Pascal
T1  - An implementation platform for query-answering in default logics : theoretical underpinnings
Y1  - 1997
SN  - 3-540-63614-5
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Compiling reasoning with and about preferences into default logic
Y1  - 1997
SN  - 1-558-60480-4
SN  - 1045-0823
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Thielscher, Michael
T1  - Skeptical query-answering in constrained default logic
Y1  - 1996
SN  - 3-540-61313-7
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten
T1  - A model-based approach to consistency-checking
Y1  - 1996
SN  - 3-540-61286-6
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - Circumscribing inconsistency
Y1  - 1997
SN  - 1-558-60480-4
SN  - 1045-0823
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning
Y1  - 1996
SN  - 0-471-96809-9
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Compiling specificity into approaches to nonmonotonic reasoning
Y1  - 1997
SN  - 0004-3702
ER  -