Frieder Stolzenburg

Available identifiers

zbMath Open stolzenburg.friederMaRDI QIDQ524932

List of research outcomes

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	2017-04-27	Paper
Computing Generalized Specificity	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3047110	2004-08-12	Paper
Computing answers with model elimination	2003-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4412253	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4406808	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4406894	2003-06-26	Paper
Relating defeasible and normal logic programming through transformation properties.	2003-01-21	Paper
Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4520770	2001-02-27	Paper
A framework to incorporate non-monotonic reasoning into constraint logic programming	2000-05-28	Paper
An algorithm for general set unification and its complexity	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4385449	1998-04-13	Paper

Research outcomes over time

This page was built for person: Frieder Stolzenburg