TY  - JOUR
A1  - Wang, Kewen
A1  - Zhou, Lizhu
T1  - An extension to GCWA and query evaluation for disjunctive deductive databases
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Wang, Kewen
T1  - A comparative study of disjunctive well-founded semantics
Y1  - 2001
SN  - 3-540-42593-4
ER  - 
TY  - JOUR
A1  - Wang, Kewen
T1  - Disjunctive well-founded semantics revisited
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Wang, Kewen
T1  - A top-down procedure for disjucntive well-founded semantics
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Wang, Kewen
T1  - A top-down procedure for disjucntive well-founded semantics
Y1  - 2001
SN  - 3-540-42254-4
ER  - 
TY  - JOUR
A1  - Schwill, Andreas
T1  - Ab wann kann man mit Indern Informatik machen? : eine Studie über informatische Fähigkeiten von Kindern
Y1  - 2001
UR  - http://www.informatica-didactica.de/Forschung/Schriften/INFOS2001Paderborn.pdf
ER  - 
TY  - JOUR
A1  - Schwill, Andreas
T1  - Gedanken zur Lehramtsausbildung Informatik
Y1  - 2001
UR  - http://www.informatica-didactica.de/Forschung/ME2001.htm
SN  - 3-85133-022-6
ER  - 
TY  - JOUR
A1  - Schwill, Andreas
T1  - Die Vielfalt der Modelle in der Informatik
Y1  - 2001
SN  - 3-88579-334-2
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Wang, Kewen
T1  - A comparative study of logic programs with preference
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Wang, Kewen
T1  - A comparative study of logic programs with preference
Y1  - 2001
SN  - 1-558-60777-3
SN  - 1045-0823
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  - 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  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - On computing solutions to belief change scenarios
Y1  - 2001
SN  - 3-540- 42464-4
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
T1  - A generic compiler for ordered logic programs
Y1  - 2001
SN  - 3-540-42593-4
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - How to reason credulously and skeptically within a single extension.
Y1  - 2001
SN  - 3-540- 42464-4
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - How to reason credulously and skeptically within a single extension
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Hunter, Anthony
T1  - A logic-based theory of deductive arguments
Y1  - 2001
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  -