Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Linke
2010 – today
- 2010
[c24]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
2000 – 2009
- 2006
- [j6]Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming. TPLP 6(1-2): 61-106 (2006)
- 2005
- [j5]Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub: A Glimpse of Answer Set Programming. KI 19(1): 12- (2005)
- [c23]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
- [c22]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109
- [c21]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426
- [i1]Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming. CoRR abs/cs/0502082 (2005)
- 2004
- [c20]Thomas Linke, Hans Tompits, Stefan Woltran: On Acyclic and Head-Cycle Free Nested Logic Programs. ICLP 2004: 225-239
- [c19]Andreas Bösel, Thomas Linke, Torsten Schaub: Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA 2004: 702-705
- [c18]
- [c17]Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR 2004: 127-140
- [c16]Thomas Linke, Hans Tompits, Stefan Woltran: On acyclic and head-cycle free nested logic programs. NMR 2004: 267-275
- 2003
- [j4]Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Inform. 57(2-4): 393-421 (2003)
- [c15]Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming 2003
- [c14]Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming 2003
- [c13]
- [c12]
- 2002
- [c11]
- [c10]Christian Anger, Kathrin Konczak, Thomas Linke: NoMoRe : Non-monotonic Reasoning with Logic Programs. JELIA 2002: 521-524
- [c9]
- 2001
- [j3]Frank Kose, Wolfram Weckwerth, Thomas Linke, Oliver Fiehn: Visualizing plant metabolomic correlation networks using clique-metabolite matrices. Bioinformatics 17(12): 1198-1208 (2001)
- [c8]Christian Anger, Kathrin Konczak, Thomas Linke: NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. IJCAR 2001: 325-330
- [c7]Thomas Linke: Graph Theoretical Characterization and Computation of Answer Sets. IJCAI 2001: 641-648
- [c6]Christian Anger, Kathrin Konczak, Thomas Linke: NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. LPNMR 2001: 406-410
- 2000
- [b1]Thomas Linke: New foundations for automation of default reasoning. DISKI 237, Infix 2000, ISBN 978-3-89838-237-3, pp. I-VII, 1-182
- [j2]Thomas Linke, Torsten Schaub: Alternative foundations for Reiter's default logic. Artif. Intell. 124(1): 31-86 (2000)
1990 – 1999
- 1999
- [c5]Thomas Linke, Torsten Schaub: On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. ESCQARU 1999: 268-278
- [c4]
- 1998
- [c3]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
- [j1]Thomas Linke, Torsten Schaub: Towards a classification of Default Logics. Journal of Applied Non-Classical Logics 7(4): 397-451 (1997)
- 1996
- [c2]
- 1995
- [c1]Thomas Linke, Torsten Schaub: Lemma Handling in Default Logic Theorem Provers. ECSQARU 1995: 285-292
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:15 CEST by the dblp team