TY  - JOUR
A1  - Nicolas, Pascal
A1  - Schaub, Torsten H.
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  - Nicolas, Pascal
A1  - Schaub, Torsten H.
T1  - Un cadre général pour l'interrogation automatique en logiques des défauts
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Characterization of non-monotone non-constructive systems
Y1  - 1998
SN  - 1012-2443
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning : proof theory and compilation techniques
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
SN  - 0168-7433
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
T1  - The family of default logics
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - Reasoning with sets of preferences in default logic
Y1  - 1998
SN  - 3-540- 65271-x
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - Compiling specificity into approaches to nonmonotonic reasoning
Y1  - 1997
SN  - 0004-3702
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Towards a classification of default logic
Y1  - 1997
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - Compiling reasoning with and about preferences into default logic
Y1  - 1997
SN  - 1-558-60480-4
SN  - 1045-0823
ER  -