Frieder Stolzenburg

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
Computation of non-ground disjunctive well-founded semantics with constraint logic programming	2024-10-24	Paper
A series of revisions of David Poole's specificity Annals of Mathematics and Artificial Intelligence	2017-04-27	Paper
Computing generalized specificity Journal of Applied Non-Classical Logics	2009-11-30	Paper
scientific article; zbMATH DE number 2089560 (Why is no real title available?)	2004-08-12	Paper
Computing answers with model elimination Artificial Intelligence	2003-08-28	Paper
scientific article; zbMATH DE number 1949003 (Why is no real title available?)	2003-07-14	Paper
scientific article; zbMATH DE number 1940394 (Why is no real title available?)	2003-06-26	Paper
scientific article; zbMATH DE number 1940469 (Why is no real title available?)	2003-06-26	Paper
Relating defeasible and normal logic programming through transformation properties. Theoretical Computer Science	2003-01-21	Paper
Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints	2001-03-12	Paper
scientific article; zbMATH DE number 1543303 (Why is no real title available?)	2001-02-27	Paper
A framework to incorporate non-monotonic reasoning into constraint logic programming The Journal of Logic Programming	2000-05-28	Paper
An algorithm for general set unification and its complexity Journal of Automated Reasoning	1999-05-31	Paper
scientific article; zbMATH DE number 1140683 (Why is no real title available?)	1998-04-13	Paper

Research outcomes over time

This page was built for person: Frieder Stolzenburg