TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Alternative foundations for Reiter's default logic.
Y1  - 2000
SN  - 0004-3702
ER  - 
TY  - JOUR
A1  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
T1  - A system for non-monotonic reasoning under answer set semantics
Y1  - 2001
SN  - 3-540-42593-4
ER  - 
TY  - JOUR
A1  - Linke, Thomas
T1  - Graph theoretical characterization and computation of answer sets
Y1  - 2001
SN  - 1-558-60777-3
SN  - 1045-0823
ER  - 
TY  - JOUR
A1  - Linke, Thomas
T1  - Graph theoretical characterization and computation of answer sets
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Kose, F.
A1  - Weckwerth, Wolfram
A1  - Linke, Thomas
A1  - Fiehn, Oliver
T1  - Visualizing plant metabolomic correlation networks using clique-metabolite matrices
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Roessner, Ute
A1  - Luedemann, A.
A1  - Brust, D.
A1  - Fiehn, Oliver
A1  - Linke, Thomas
A1  - Willmitzer, Lothar
A1  - Fernie, Alisdair R.
T1  - Metabolic profiling allows comprehensive phenotyping of genetically or environmentally modified plant systems
Y1  - 2001
SN  - 1040-4651
ER  - 
TY  - JOUR
A1  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
T1  - NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics
Y1  - 2002
SN  - 3-540-42254-4
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  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
T1  - NoMoRe: Non-monotonic reasoning with logic programs
Y1  - 2002
SN  - 3-540-44190-5
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Anger, Christian
A1  - Konczak, Kathrin
T1  - More on nomore
Y1  - 2002
ER  -