T. Linke

From MaRDI portal
Person:1589574

Available identifiers

zbMath Open linke.thomasMaRDI QIDQ1589574

List of research outcomes





PublicationDate of PublicationType
An implicit algorithm to verify creep and TRIP behavior of steel using uniaxial experiments2012-06-04Paper
The nomore + + Approach to Answer Set Solving2008-05-27Paper
Logic Programming and Nonmonotonic Reasoning2007-11-07Paper
Graphs and colorings for answer set programming2007-03-08Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
Logic Programming2005-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44606852004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q47089402003-06-20Paper
https://portal.mardi4nfdi.de/entity/Q47089472003-06-20Paper
https://portal.mardi4nfdi.de/entity/Q47980242003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q45396162002-07-10Paper
New foundations for automation of default reasoning (Diss., Univ. Bielefeld, 1999)2001-07-17Paper
Alternative foundations for Reiter's default logic2000-12-12Paper
https://portal.mardi4nfdi.de/entity/Q49553392000-10-25Paper
https://portal.mardi4nfdi.de/entity/Q42469721999-06-16Paper
Towards a classification of defaults logics1998-12-10Paper

Research outcomes over time

This page was built for person: T. Linke

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1589574&oldid=6241449"
Powered by MediaWiki