Lemma Handling in Default Logic Theorem Provers. - Thomas Linke; Torsten Schaub (ECSQARU, 1995)

Putting Default Logics in Perspective. - Thomas Linke; Torsten Schaub (KI, 1996)

Towards a classification of Default Logics. - Thomas Linke; Torsten Schaub (J. Appl. Non Class. Logics, 1997)

An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. - Thomas Linke; Torsten Schaub (JELIA, 1998)

On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. - Thomas Linke; Torsten Schaub (ESCQARU, 1999)

Default Reasoning via Blocking Sets. - Thomas Linke; Torsten Schaub (LPNMR, 1999)

New foundations for automation of default reasoning. - Thomas Linke (Infix, 2000)

Alternative foundations for Reiter's default logic. - Thomas Linke; Torsten Schaub (Artif. Intell., 2000)

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. - Christian Anger; Kathrin Konczak; Thomas Linke (IJCAR, 2001)

Graph Theoretical Characterization and Computation of Answer Sets. - Thomas Linke (IJCAI, 2001)

NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. - Christian Anger; Kathrin Konczak; Thomas Linke (LPNMR, 2001)

Visualizing plant metabolomic correlation networks using clique-metabolite matrices. - Frank Kose; Wolfram Weckwerth; Thomas Linke; Oliver Fiehn (Bioinform., 2001)

NoMoRe : Non-monotonic Reasoning with Logic Programs. - Christian Anger; Kathrin Konczak; Thomas Linke (JELIA, 2002)

More on noMoRe. - Thomas Linke; Christian Anger; Kathrin Konczak (NMR, 2002)

Graphs and coloring for answer set programming: Preliminary Report. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Answer Set Programming, 2003)

Graphs and colorings for answer set programming: Abridged Report. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Answer Set Programming, 2003)

Suitable Graphs for Answer Set Programming. - Thomas Linke (Answer Set Programming, 2003)

Using Nested Logic Programs for Answer Set Programming. - Thomas Linke (Answer Set Programming, 2003)

Graphs and Colorings for Answer Set Programming with Preferences. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Fundam. Informaticae, 2003)

On Acyclic and Head-Cycle Free Nested Logic Programs. - Thomas Linke; Hans Tompits; Stefan Woltran (ICLP, 2004)

Profiling Answer Set Programming: The Visualization Component of the noMoRe System. - Andreas Bösel; Thomas Linke; Torsten Schaub (JELIA, 2004)

Suitable Graphs for Answer Set Programming. - Thomas Linke; Vladimir Sarsakov (LPAR, 2004)

The nomore++ Approach to Answer Set Solving. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (Answer Set Programming, 2005)

The nomore++ System. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (LPNMR, 2005)

A Glimpse of Answer Set Programming. - Christian Anger; Kathrin Konczak; Thomas Linke; Torsten Schaub (Künstliche Intell., 2005)

Graphs and colorings for answer set programming. - Kathrin Konczak; Thomas Linke; Torsten Schaub (Theory Pract. Log. Program., 2006)

Quikscat backscatter sensitivity to landscape freeze/thaw state over ALECTRA sites in Alaska from 2000 to 2007: Application to SMAP validation planning. - Andreas Colliander; Kyle McDonald; Reiner Zimmermann; Thomas Linke; Ronny Schroeder; John S. Kimball; Eni G. Njoku (IGARSS, 2010)

How to Boost the Extended Enterprise Approach in Engineering Using MBSE - A Case Study from the Railway Business. - Marco Ferrogalini; Thomas Linke; Ulrich Schweiger (CSDM, 2018)