The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thomas Linke" ( http://dblp.L3S.de/Authors/Thomas_Linke )

  Author page on DBLP  Author page in RDF  Community of Thomas Linke in ASPL-2

Publication years (Num. hits)
1995-2002 (15) 2003-2005 (15) 2006-2018 (3)
Publication types (Num. hits)
article(7) book(1) inproceedings(25)
Venues (Conferences, Journals, ...)
Answer Set Programming(5) JELIA(4) LPNMR(4) KI(2) LPAR(2) NMR(2) Artif. Intell.(1) Bioinformatics(1) CoRR(1) CSDM(1) ECSQARU(1) ESCQARU(1) Fundam. Inform.(1) ICLP(1) IGARSS(1) IJCAI(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 34 publication records. Showing 33 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marco Ferrogalini, Thomas Linke, Ulrich Schweiger How to Boost the Extended Enterprise Approach in Engineering Using MBSE - A Case Study from the Railway Business. Search on Bibsonomy CSDM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas 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. Search on Bibsonomy IGARSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kathrin Konczak, Thomas Linke, Torsten Schaub Graphs and colorings for answer set programming. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub A Glimpse of Answer Set Programming. Search on Bibsonomy KI The full citation details ... 2005 DBLP  BibTeX  RDF
1Kathrin Konczak, Thomas Linke, Torsten Schaub Graphs and colorings for answer set programming Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ Approach to Answer Set Solving. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ System. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ Approach to Answer Set Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Thomas Linke, Vladimir Sarsakov Suitable Graphs for Answer Set Programming. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Hans Tompits, Stefan Woltran On acyclic and head-cycle free nested logic programs. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Thomas Linke, Hans Tompits, Stefan Woltran On Acyclic and Head-Cycle Free Nested Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kathrin Konczak, Thomas Linke, Torsten Schaub Graphs and Colorings for Answer Set Programming: Abridged Report. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andreas Bösel, Thomas Linke, Torsten Schaub Profiling Answer Set Programming: The Visualization Component of the noMoRe System. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kathrin Konczak, Torsten Schaub, Thomas Linke Graphs and Colorings for Answer Set Programming with Preferences. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Kathrin Konczak, Torsten Schaub, Thomas Linke Graphs and coloring for answer set programming: Preliminary Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Linke Suitable Graphs for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Linke Using Nested Logic Programs for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Kathrin Konczak, Torsten Schaub, Thomas Linke Graphs and colorings for answer set programming: Abridged Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Linke, Christian Anger, Kathrin Konczak More on noMoRe. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Christian Anger, Kathrin Konczak, Thomas Linke NoMoRe : Non-monotonic Reasoning with Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Christian Anger, Kathrin Konczak More on noMoRe. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Frank Kose, Wolfram Weckwerth, Thomas Linke, Oliver Fiehn Visualizing plant metabolomic correlation networks using clique-metabolite matrices. Search on Bibsonomy Bioinformatics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christian Anger, Kathrin Konczak, Thomas Linke NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christian Anger, Kathrin Konczak, Thomas Linke NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Linke Graph Theoretical Characterization and Computation of Answer Sets. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Linke, Torsten Schaub Alternative foundations for Reiter's default logic. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Linke New foundations for automation of default reasoning. Search on Bibsonomy 2000   RDF
1Thomas Linke, Torsten Schaub On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. Search on Bibsonomy ESCQARU The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub Default Reasoning via Blocking Sets. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub Towards a classification of Default Logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub Putting Default Logics in Perspective. Search on Bibsonomy KI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub Lemma Handling in Default Logic Theorem Provers. Search on Bibsonomy ECSQARU The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #33 of 33 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license