@article{VolkmannLinkeWaschulziketal.1998, author = {Volkmann, Gerald and Linke, Thomas and Waschulzik, Thomas and Ohmes, Rick and Schaub, Torsten H. and Wischnewsky, M.}, title = {HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und St{\"o}rfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen}, year = {1998}, language = {de} } @article{SchaubBruening1998, author = {Schaub, Torsten H. and Br{\"u}ning, Stefan}, title = {Prolog technology for default reasoning : proof theory and compilation techniques}, year = {1998}, language = {en} } @article{Schaub1998, author = {Schaub, Torsten H.}, title = {The family of default logics}, year = {1998}, language = {en} } @article{NicolasSchaub1998, author = {Nicolas, Pascal and Schaub, Torsten H.}, title = {The XRay system : an implementation platform for local query-answering in default logics}, isbn = {3-540-65312-0}, year = {1998}, language = {en} } @article{NicolasSchaub1998, author = {Nicolas, Pascal and Schaub, Torsten H.}, title = {Un cadre g{\´e}n{\´e}ral pour l'interrogation automatique en logiques des d{\´e}fauts}, year = {1998}, language = {fr} } @article{LinkeSchaub1998, author = {Linke, Thomas and Schaub, Torsten H.}, title = {An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.}, isbn = {3-540-65141-1}, year = {1998}, language = {en} } @article{DelgrandeSchaub1998, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Reasoning with sets of preferences in default logic}, isbn = {3-540- 65271-x}, year = {1998}, language = {en} } @article{BibelBrueningOttenetal.1998, author = {Bibel, Wolfgang and Br{\"u}ning, Stefan and Otten, Jens and Rath, Thomas and Schaub, Torsten H.}, title = {Compressions and extensions}, year = {1998}, language = {en} } @article{BesnardSchaub1998, author = {Besnard, Philippe and Schaub, Torsten H.}, title = {Signed systems for paraconsistent reasoning}, year = {1998}, language = {en} } @article{BesnardSchaub1998, author = {Besnard, Philippe and Schaub, Torsten H.}, title = {Characterization of non-monotone non-constructive systems}, issn = {1012-2443}, year = {1998}, language = {en} } @article{BesnardSchaub1998, author = {Besnard, Philippe and Schaub, Torsten H.}, title = {Signed systems for paraconsistent reasoning}, issn = {0168-7433}, year = {1998}, language = {en} } @article{BenhammadiNicolasSchaub1998, author = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten H.}, title = {Extension calculus and query answering in prioritized default logic}, isbn = {3-540-64993-X}, year = {1998}, language = {en} } @article{BenhammadiNicolasSchaub1998, author = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten H.}, title = {Extension calculus and query answering in prioritized default logic}, isbn = {3-540- 64993-X}, year = {1998}, language = {en} }