Thomas Linke

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 1

Top Venues

CSDM

Bielefeld University, Germany (PHD)

Education History

Bielefeld University, Germany

PHD

Publications

Marco Ferrogalini, Thomas Linke, Ulrich Schweiger
How to Boost the Extended Enterprise Approach in Engineering Using MBSE - A Case Study from the Railway Business. CSDM (2018)
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)
Kathrin Konczak, Thomas Linke, Torsten Schaub
Graphs and colorings for answer set programming. Theory Pract. Log. Program. 6 (1-2) (2006)
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
The nomore++ Approach to Answer Set Solving. LPAR (2005)
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
The nomore++ System. LPNMR (2005)
Kathrin Konczak, Thomas Linke, Torsten Schaub
Graphs and colorings for answer set programming CoRR (2005)
Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub
A Glimpse of Answer Set Programming. Künstliche Intell. 19 (1) (2005)
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
The nomore++ Approach to Answer Set Solving. Answer Set Programming (2005)
Andreas Bösel, Thomas Linke, Torsten Schaub
Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA (2004)
Thomas Linke, Vladimir Sarsakov
Suitable Graphs for Answer Set Programming. LPAR (2004)
Kathrin Konczak, Thomas Linke, Torsten Schaub
Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR (2004)
Thomas Linke, Hans Tompits, Stefan Woltran
On Acyclic and Head-Cycle Free Nested Logic Programs. ICLP (2004)
Thomas Linke, Hans Tompits, Stefan Woltran
On acyclic and head-cycle free nested logic programs. NMR (2004)
Thomas Linke
Suitable Graphs for Answer Set Programming. Answer Set Programming (2003)
Kathrin Konczak, Torsten Schaub, Thomas Linke
Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming (2003)
Kathrin Konczak, Torsten Schaub, Thomas Linke
Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming (2003)
Kathrin Konczak, Torsten Schaub, Thomas Linke
Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Informaticae 57 (2-4) (2003)
Thomas Linke
Using Nested Logic Programs for Answer Set Programming. Answer Set Programming (2003)
Thomas Linke, Christian Anger, Kathrin Konczak
More on noMoRe. NMR (2002)
Christian Anger, Kathrin Konczak, Thomas Linke
NoMoRe : Non-monotonic Reasoning with Logic Programs. JELIA (2002)
Thomas Linke, Christian Anger, Kathrin Konczak
More on noMoRe. JELIA (2002)
Frank Kose, Wolfram Weckwerth, Thomas Linke, Oliver Fiehn
Visualizing plant metabolomic correlation networks using clique-metabolite matrices. Bioinform. 17 (12) (2001)
Christian Anger, Kathrin Konczak, Thomas Linke
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. IJCAR (2001)
Thomas Linke
Graph Theoretical Characterization and Computation of Answer Sets. IJCAI (2001)
Christian Anger, Kathrin Konczak, Thomas Linke
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. LPNMR (2001)
Thomas Linke, Torsten Schaub
Alternative foundations for Reiter's default logic. Artif. Intell. 124 (1) (2000)
Thomas Linke, Torsten Schaub
Default Reasoning via Blocking Sets. LPNMR (1999)
Thomas Linke, Torsten Schaub
On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. ESCQARU (1999)
Thomas Linke, Torsten Schaub
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA (1998)
Thomas Linke, Torsten Schaub
Towards a classification of Default Logics. J. Appl. Non Class. Logics 7 (4) (1997)
Thomas Linke, Torsten Schaub
Putting Default Logics in Perspective. KI (1996)
Thomas Linke, Torsten Schaub
Lemma Handling in Default Logic Theorem Provers. ECSQARU (1995)

Thomas Linke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Linke