@article{DelgrandeSchaubTompits2000, author = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans}, title = {Logic programs with compiled preferences}, year = {2000}, language = {en} } @article{DelgrandeSchaubTompits2000, author = {Delgrande, James Patrick and Schaub, Torsten and Tompits, Hans}, title = {A compiler for ordered logic programs}, year = {2000}, language = {en} } @article{BesnardSchaub2000, author = {Besnard, Philippe and Schaub, Torsten}, title = {What is a (non-constructive) non-monotone logical system?}, issn = {0304-3975}, year = {2000}, language = {en} } @article{BrueningSchaub2000, author = {Br{\"u}ning, Stefan and Schaub, Torsten}, title = {A connection calculus for handling incomplete information}, year = {2000}, language = {en} } @article{DelgrandeSchaub2000, author = {Delgrande, James Patrick and Schaub, Torsten}, title = {Expressing preferences in default logic}, issn = {0004-3702}, year = {2000}, language = {en} } @article{SchaubNicolas1997, author = {Schaub, Torsten and Nicolas, Pascal}, title = {An implementation platform for query-answering in default logics : the XRay system, its implementation and evaluation}, isbn = {3-540-63255-7}, year = {1997}, language = {en} } @article{SchaubNicolas1997, author = {Schaub, Torsten and Nicolas, Pascal}, title = {An implementation platform for query-answering in default logics : theoretical underpinnings}, isbn = {3-540-63614-5}, year = {1997}, language = {en} } @article{DelgrandeSchaub1997, author = {Delgrande, James Patrick and Schaub, Torsten}, title = {Compiling reasoning with and about preferences into default logic}, isbn = {1-558-60480-4}, issn = {1045-0823}, year = {1997}, language = {en} } @article{SchaubThielscher1996, author = {Schaub, Torsten and Thielscher, Michael}, title = {Skeptical query-answering in constrained default logic}, isbn = {3-540-61313-7}, year = {1996}, language = {en} } @article{BrueningSchaub1996, author = {Br{\"u}ning, Stefan and Schaub, Torsten}, title = {A model-based approach to consistency-checking}, isbn = {3-540-61286-6}, year = {1996}, language = {en} }