TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - What is a (non-constructive) non-monotone logical system?
Y1  - 2000
SN  - 0304-3975
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Hunter, Anthony
T1  - Towards a logic-based theory of argumentation
Y1  - 2000
SN  - 0-262-51112-6
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Significant inferences
Y1  - 2000
SN  - 1-55860-690-4
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
SN  - 0168-7433
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  - 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  - Wong, P.
A1  - Besnard, Philippe
T1  - Paraconsistent reasoning as an analytical tool
Y1  - 2000
SN  - 1367-0751
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Mercer, Robert E.
A1  - Schaub, Torsten H.
T1  - Optimality Theory via Default Logic
Y1  - 2002
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  -