TY - JOUR A1 - Konczak, Kathrin A1 - Schaub, Torsten A1 - Linke, Thomas T1 - Graphs and colorings for answer set programming with prefernces : preliminary report Y1 - 2003 UR - http://www.cs.uni-potsdam.de/wv/pdfformat/koschli03a.pdf SN - 1613-0073 ER - TY - JOUR A1 - Besnard, Philippe A1 - Mercer, Robert E. A1 - Schaub, Torsten T1 - Optimality theory throught default logic Y1 - 2003 SN - 3-540-20059-2 ER - 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 -