Thomas Linke

	2010
32		Andreas Colliander, Kyle McDonald, Reiner Zimmermann, Thomas Linke, Ronny Schroeder, John S. Kimball, Eni G. Njoku: Quikscat backscatter sensitivity to landscape freeze/thaw state over ALECTRA sites in Alaska from 2000 to 2007: Application to SMAP validation planning. IGARSS 2010: 1269-1272
	2006
31		Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming. TPLP 6(1-2): 61-106 (2006)
	2005
30		Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
29		Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109
28		Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426
27		Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming CoRR abs/cs/0502082: (2005)
26		Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub: A Glimpse of Answer Set Programming. KI 19(1): 12- (2005)
	2004
25		Thomas Linke, Hans Tompits, Stefan Woltran: On Acyclic and Head-Cycle Free Nested Logic Programs. ICLP 2004: 225-239
24		Andreas Bösel, Thomas Linke, Torsten Schaub: Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA 2004: 702-705
23		Thomas Linke, Vladimir Sarsakov: Suitable Graphs for Answer Set Programming. LPAR 2004: 154-168
22		Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR 2004: 127-140
21		Thomas Linke, Hans Tompits, Stefan Woltran: On acyclic and head-cycle free nested logic programs. NMR 2004: 267-275
	2003
20		Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming 2003
19		Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming 2003
18		Thomas Linke: Suitable Graphs for Answer Set Programming. Answer Set Programming 2003
17		Thomas Linke: Using Nested Logic Programs for Answer Set Programming. Answer Set Programming 2003
16		Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Inform. 57(2-4): 393-421 (2003)
	2002
15		Thomas Linke, Christian Anger, Kathrin Konczak: More on noMoRe. JELIA 2002: 468-480
14		Christian Anger, Kathrin Konczak, Thomas Linke: NoMoRe : Non-monotonic Reasoning with Logic Programs. JELIA 2002: 521-524
13		Thomas Linke, Christian Anger, Kathrin Konczak: More on noMoRe. NMR 2002: 210-218
	2001
12		Thomas Linke: Graph Theoretical Characterization and Computation of Answer Sets. IJCAI 2001: 641-648
11		Christian Anger, Kathrin Konczak, Thomas Linke: NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. IJCAR 2001: 325-330
10		Christian Anger, Kathrin Konczak, Thomas Linke: NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. LPNMR 2001: 406-410
9		Frank Kose, Wolfram Weckwerth, Thomas Linke, Oliver Fiehn: Visualizing plant metabolomic correlation networks using clique-metabolite matrices. Bioinformatics 17(12): 1198-1208 (2001)
	2000
8		Thomas Linke: New foundations for automation of default reasoning. Infix 2000: I-VII, 1-182
7		Thomas Linke, Torsten Schaub: Alternative foundations for Reiter's default logic. Artif. Intell. 124(1): 31-86 (2000)
	1999
6		Thomas Linke, Torsten Schaub: On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. ESCQARU 1999: 268-278
5		Thomas Linke, Torsten Schaub: Default Reasoning via Blocking Sets. LPNMR 1999: 247-261
	1998
4		Thomas Linke, Torsten Schaub: An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998: 233-247
	1997
3		Thomas Linke, Torsten Schaub: Towards a classification of Default Logics. Journal of Applied Non-Classical Logics 7(4): (1997)
	1996
2		Thomas Linke, Torsten Schaub: Putting Default Logics in Perspective. KI 1996: 241-252
	1995
1		Thomas Linke, Torsten Schaub: Lemma Handling in Default Logic Theorem Provers. ECSQARU 1995: 285-292

Coauthor Index

1	Christian Anger	[10] [11] [13] [14] [15] [26] [28] [29] [30]
2	Andreas Bösel	[24]
3	Andreas Colliander	[32]
4	Oliver Fiehn	[9]
5	Martin Gebser	[28] [29] [30]
6	John S. Kimball	[32]
7	Kathrin Konczak	[10] [11] [13] [14] [15] [16] [19] [20] [22] [26] [27] [31]
8	Frank Kose	[9]
9	Kyle McDonald	[32]
10	André Neumann	[28] [29] [30]
11	Eni G. Njoku	[32]
12	Vladimir Sarsakov	[23]
13	Torsten Schaub	[1] [2] [3] [4] [5] [6] [7] [16] [19] [20] [22] [24] [26] [27] [28] [29] [30] [31]
14	Ronny Schroeder	[32]
15	Hans Tompits	[21] [25]
16	Wolfram Weckwerth	[9]
17	Stefan Woltran	[21] [25]
18	Reiner Zimmermann	[32]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page