Thomas Linke

According to our database, Thomas Linke authored at least 28 papers between 1995 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

How to Boost the Extended Enterprise Approach in Engineering Using MBSE - A Case Study from the Railway Business.

Marco Ferrogalini, Thomas Linke, Ulrich Schweiger

Proceedings of the Complex Systems Design & Management, 2018

2010

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

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2006

Graphs and colorings for answer set programming.

Kathrin Konczak, Thomas Linke, Torsten Schaub

Theory Pract. Log. Program., 2006

2005

A Glimpse of Answer Set Programming.

Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub

Künstliche Intell., 2005

The nomore++ System.

Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

The nomore++ Approach to Answer Set Solving.

Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub

Proceedings of the Logic for Programming, 2005

2004

On acyclic and head-cycle free nested logic programs.

Thomas Linke, Hans Tompits, Stefan Woltran

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Graphs and Colorings for Answer Set Programming: Abridged Report.

Kathrin Konczak, Thomas Linke, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Suitable Graphs for Answer Set Programming.

Thomas Linke, Vladimir Sarsakov

Proceedings of the Logic for Programming, 2004

Profiling Answer Set Programming: The Visualization Component of the noMoRe System.

Andreas Bösel, Thomas Linke, Torsten Schaub

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

Graphs and Colorings for Answer Set Programming with Preferences.

Kathrin Konczak, Torsten Schaub, Thomas Linke

Fundam. Informaticae, 2003

Using Nested Logic Programs for Answer Set Programming.

Thomas Linke

Proceedings of the Answer Set Programming, 2003

Suitable Graphs for Answer Set Programming.

Thomas Linke

Proceedings of the Answer Set Programming, 2003

Graphs and coloring for answer set programming: Preliminary Report.

Kathrin Konczak, Torsten Schaub, Thomas Linke

Proceedings of the Answer Set Programming, 2003

2002

More on noMoRe.

Thomas Linke, Christian Anger, Kathrin Konczak

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

NoMoRe : Non-monotonic Reasoning with Logic Programs.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Visualizing plant metabolomic correlation networks using clique-metabolite matrices.

Frank Kose, Wolfram Weckwerth, Thomas Linke, Oliver Fiehn

Bioinform., 2001

NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Graph Theoretical Characterization and Computation of Answer Sets.

Thomas Linke

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Alternative foundations for Reiter's default logic.

Thomas Linke, Torsten Schaub

Artif. Intell., 2000

New foundations for automation of default reasoning.

Thomas Linke

PhD thesis, 2000

1999

Default Reasoning via Blocking Sets.

Thomas Linke, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

On Bottom-Up Pre-processing Techniques for Automated Default Reasoning.

Thomas Linke, Torsten Schaub

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.

Thomas Linke, Torsten Schaub

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Towards a classification of Default Logics.

Thomas Linke, Torsten Schaub

J. Appl. Non Class. Logics, 1997

1996

Putting Default Logics in Perspective.

Thomas Linke, Torsten Schaub

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

1995

Lemma Handling in Default Logic Theorem Provers.

Thomas Linke, Torsten Schaub

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995