Thomas Linke

33 papers A* 1A 1B 11C 2Misc 1Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2018 — conf
How to Boost the Extended Enterprise Approach in Engineering Using MBSE - A Case Study from the Railway Business.
CSDM
Marco Ferrogalini, Thomas Linke, Ulrich Schweiger
2010 C conf
Quikscat backscatter sensitivity to landscape freeze/thaw state over ALECTRA sites in Alaska from 2000 to 2007: Application to SMAP validation planning.
IGARSS
Andreas Colliander, Kyle McDonald, Reiner Zimmermann, Thomas Linke, Ronny Schroeder, John S. Kimball, Eni G. Njoku
2006 J jnl
Graphs and colorings for answer set programming.
Theory Pract. Log. Program.
Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 J jnl
A Glimpse of Answer Set Programming.
Künstliche Intell.
Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 J jnl
Graphs and colorings for answer set programming
CoRR
Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 — conf
The nomore++ Approach to Answer Set Solving.
Answer Set Programming
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005 B conf
The nomore++ Approach to Answer Set Solving.
LPAR
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005 B conf
The nomore++ System.
LPNMR
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2004 B conf
Graphs and Colorings for Answer Set Programming: Abridged Report.
LPNMR
Kathrin Konczak, Thomas Linke, Torsten Schaub
2004 B conf
On Acyclic and Head-Cycle Free Nested Logic Programs.
ICLP
Thomas Linke, Hans Tompits, Stefan Woltran
2004 — conf
On acyclic and head-cycle free nested logic programs.
NMR
Thomas Linke, Hans Tompits, Stefan Woltran
2004 B conf
Profiling Answer Set Programming: The Visualization Component of the noMoRe System.
JELIA
Andreas Bösel, Thomas Linke, Torsten Schaub
2004 B conf
Suitable Graphs for Answer Set Programming.
LPAR
Thomas Linke, Vladimir Sarsakov
2003 J jnl
Graphs and Colorings for Answer Set Programming with Preferences.
Fundam. Informaticae
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Graphs and coloring for answer set programming: Preliminary Report.
Answer Set Programming
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Graphs and colorings for answer set programming: Abridged Report.
Answer Set Programming
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Suitable Graphs for Answer Set Programming.
Answer Set Programming
Thomas Linke
2003 — conf
Using Nested Logic Programs for Answer Set Programming.
Answer Set Programming
Thomas Linke
2002 B conf
More on noMoRe.
JELIA
Thomas Linke, Christian Anger, Kathrin Konczak
2002 — conf
More on noMoRe.
NMR
Thomas Linke, Christian Anger, Kathrin Konczak
2002 B conf
NoMoRe : Non-monotonic Reasoning with Logic Programs.
JELIA
Christian Anger, Kathrin Konczak, Thomas Linke
2001 A* conf
Graph Theoretical Characterization and Computation of Answer Sets.
IJCAI
Thomas Linke
2001 B conf
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.
LPNMR
Christian Anger, Kathrin Konczak, Thomas Linke
2001 A conf
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.
IJCAR
Christian Anger, Kathrin Konczak, Thomas Linke
2001 J jnl
Visualizing plant metabolomic correlation networks using clique-metabolite matrices.
Bioinform.
Frank Kose, Wolfram Weckwerth, Thomas Linke, Oliver Fiehn
2000 J jnl
Alternative foundations for Reiter's default logic.
Artif. Intell.
Thomas Linke, Torsten Schaub
2000 — —
New foundations for automation of default reasoning.
Thomas Linke
1999 B conf
Default Reasoning via Blocking Sets.
LPNMR
Thomas Linke, Torsten Schaub
1999 — conf
On Bottom-Up Pre-processing Techniques for Automated Default Reasoning.
ESCQARU
Thomas Linke, Torsten Schaub
1998 B conf
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.
JELIA
Thomas Linke, Torsten Schaub
1997 J jnl
Towards a classification of Default Logics.
J. Appl. Non Class. Logics
Thomas Linke, Torsten Schaub
1996 Misc conf
Putting Default Logics in Perspective.
KI
Thomas Linke, Torsten Schaub
1995 C conf
Lemma Handling in Default Logic Theorem Provers.
ECSQARU
Thomas Linke, Torsten Schaub