T. Linke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An implicit algorithm to verify creep and TRIP behavior of steel using uniaxial experiments ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik	2012-06-04	Paper
The nomore + + Approach to Answer Set Solving Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Logic Programming and Nonmonotonic Reasoning Lecture Notes in Computer Science	2007-11-07	Paper
Graphs and colorings for answer set programming Theory and Practice of Logic Programming	2007-03-08	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
Logic Programming Lecture Notes in Computer Science	2005-08-26	Paper
scientific article; zbMATH DE number 2063029 (Why is no real title available?)	2004-03-29	Paper
scientific article; zbMATH DE number 1931682 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1931689 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1884404 (Why is no real title available?)	2003-03-18	Paper
scientific article; zbMATH DE number 1765678 (Why is no real title available?)	2002-07-10	Paper
New foundations for automation of default reasoning (Diss., Univ. Bielefeld, 1999) DISKI. Dissertationen zur Künstlichen Intelligenz	2001-07-17	Paper
Alternative foundations for Reiter's default logic Artificial Intelligence	2000-12-12	Paper
scientific article; zbMATH DE number 1453066 (Why is no real title available?)	2000-10-25	Paper
scientific article; zbMATH DE number 1301757 (Why is no real title available?)	1999-06-16	Paper
Towards a classification of defaults logics Journal of Applied Non-Classical Logics	1998-12-10	Paper

Research outcomes over time

This page was built for person: T. Linke