TY  - JOUR
A1  - Pearce, David
A1  - Sarsakov, Vladimir
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - A polynomial translation of logic programs with nested expressions into disjunctive logic programs : preliminary report
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Anger, Christian
A1  - Konczak, Kathrin
T1  - More on nomore
Y1  - 2002
SN  - 3-540-44190-5
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - Paraconsistent reasoning via quantified boolean formulas
Y1  - 2002
SN  - 3-540-44190-5
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Wang, T.
T1  - Preferred well-founded semantics for logic programming by alternating fixpoints : preliminary report
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Hunter, Anthony
A1  - Schaub, Torsten H.
T1  - COBA: a consistency-based belief revision system
Y1  - 2002
SN  - 3-540-44190-5
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - Reasoning credulously and skeptically within a single extension
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Fanselow, Gisbert
A1  - Schaub, Torsten H.
T1  - Optimality theory as a family of cumulative logics
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Flöter, André
A1  - Nicolas, Jacques
A1  - Schaub, Torsten H.
A1  - Selbig, Joachim
T1  - Threshold extraction in metabolite concentration data
Y1  - 2003
UR  - http://www.cs.uni-potsdam.de/wv/pdfformat/floeterGCB2003.pdf
ER  - 
TY  - JOUR
A1  - Konczak, Kathrin
A1  - Schaub, Torsten H.
A1  - Linke, Thomas
T1  - Graphs and colorings for answer set programming with preferences
N2  - The integration of preferences into answer set programming constitutes an important practical device for distinguishing certain preferred answer sets from non-preferred ones. To this end, we elaborate upon rule dependency graphs and their colorings for characterizing different preference handling strategies found in the literature. We start from a characterization of (three types of) preferred answer sets in terms of totally colored dependency graphs. In particular, we demonstrate that this approach allows us to capture all three approaches to preferences in a uniform setting by means of the concept of a height function. In turn, we exemplarily develop an operational characterization of preferred answer sets in terms of operators on partial colorings for one particular strategy. In analogy to the notion of a derivation in proof theory, our operational characterization is expressed as a (non-deterministically formed) sequence of colorings, gradually turning an uncolored graph into a totally colored one
Y1  - 2003
SN  - 0169-2968
ER  - 
TY  - JOUR
A1  - Schneidenbach, Lars
A1  - Schnor, Bettina
A1  - Petri, Stefan
T1  - Architecture and Implementation of the Socket Interface on Top of GAMMA
Y1  - 2003
SN  - 0-7695-2037-5
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - Paraconsistent reasoning via quantified boolean formulas : Part II: Circumscribing inconsistent theories
Y1  - 2003
SN  - 3-540- 409494-5
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - A concictency-based paradigm for belief change
Y1  - 2003
SN  - 0004-3702
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Wang, Kewen
T1  - A semantic framework for prefernce handling in answer set programming
Y1  - 2003
ER  - 
TY  - JOUR
A1  - Konczak, Kathrin
A1  - Schaub, Torsten H.
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  - Linke, Thomas
T1  - Using nested logic programs for answer set programming
Y1  - 2003
UR  - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/
SN  - 1613-0073
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Gharib, Mona
A1  - Mercer, Robert E.
A1  - Risch, V.
A1  - Schaub, Torsten H.
T1  - Lukaszewicz-style answer set programming : a preliminary report
Y1  - 2003
UR  - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/
SN  - 1613-0073
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Mercer, Robert E.
A1  - Schaub, Torsten H.
T1  - Optimality theory throught default logic
Y1  - 2003
SN  - 3-540-20059-2
ER  - 
TY  - JOUR
A1  - Linke, Thomas
T1  - Suitable graphs for answer set programming
Y1  - 2003
UR  - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/
SN  - 1613-0073
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - On the relation between Reiterïs default logic and its (major) variants
Y1  - 2003
SN  - 3-540- 409494-5
ER  - 
TY  - JOUR
A1  - Konczak, Kathrin
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Graphs and colorings for answer set programming : abridged report
Y1  - 2003
UR  - http://www.cs.uni-potsdam.de/wv/pdfformat/kolisch03a.pdf
SN  - 1613-0073
ER  -