@article{BesnardSchaubTompitsetal.2003, author = {Besnard, Philippe and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan}, title = {Paraconsistent reasoning via quantified boolean formulas : Part II: Circumscribing inconsistent theories}, isbn = {3-540- 409494-5}, year = {2003}, language = {en} } @article{DelgrandeSchaubTompits2003, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans}, title = {A framework for compiling preferences in logic programs}, year = {2003}, language = {en} } @book{Calame2003, author = {Calame, Jens R.}, title = {Considerations on object oriented software testing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {71 S.}, year = {2003}, language = {en} } @article{DelgrandeSchaub2003, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Reasoning credulously and skeptically within a single extension}, year = {2003}, language = {en} } @article{Linke2003, author = {Linke, Thomas}, title = {Suitable graphs for answer set programming}, issn = {1613-0073}, year = {2003}, language = {en} } @article{KonczakLinkeSchaub2003, author = {Konczak, Kathrin and Linke, Thomas and Schaub, Torsten H.}, title = {Graphs and colorings for answer set programming : abridged report}, issn = {1613-0073}, year = {2003}, language = {en} } @article{DelgrandeSchaub2003, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {On the relation between Reiter{\"i}s default logic and its (major) variants}, isbn = {3-540- 409494-5}, year = {2003}, language = {en} } @article{BesnardMercerSchaub2003, author = {Besnard, Philippe and Mercer, Robert E. and Schaub, Torsten H.}, title = {Optimality theory throught default logic}, isbn = {3-540-20059-2}, year = {2003}, language = {en} } @article{KonczakSchaubLinke2003, author = {Konczak, Kathrin and Schaub, Torsten H. and Linke, Thomas}, title = {Graphs and colorings for answer set programming with prefernces : preliminary report}, issn = {1613-0073}, year = {2003}, language = {en} } @article{DelgrandeGharibMerceretal.2003, author = {Delgrande, James Patrick and Gharib, Mona and Mercer, Robert E. and Risch, V. and Schaub, Torsten H.}, title = {Lukaszewicz-style answer set programming : a preliminary report}, issn = {1613-0073}, year = {2003}, language = {en} }