T. Linke
From MaRDI portal
Person:1589574
Available identifiers
zbMath Open linke.thomasMaRDI QIDQ1589574
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
The nomore + + Approach to Answer Set Solving | 2008-05-27 | Paper |
Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
Graphs and colorings for answer set programming | 2007-03-08 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
Logic Programming | 2005-08-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4460685 | 2004-03-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4708940 | 2003-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4708947 | 2003-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4798024 | 2003-03-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4539616 | 2002-07-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q2726297 | 2001-07-17 | Paper |
Alternative foundations for Reiter's default logic | 2000-12-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4955339 | 2000-10-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4246972 | 1999-06-16 | Paper |
Towards a classification of defaults logics | 1998-12-10 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: T. Linke