Daniel De Schreye

MaRDI QIDQ3201765zbMATH OpenWikidataFDO

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
Non-transformational termination analysis of logic programs, based on general term-orderings Lecture Notes in Computer Science	2003-09-01	Paper
Non-transformational termination analysis of logic programs, based on general term-orderings Lecture Notes in Computer Science	2003-09-01	Paper
On termination of logic programs with floating point computations Lecture Notes in Computer Science	2003-07-13	Paper
Acceptability with general orderings Lecture Notes in Computer Science	2003-06-11	Paper
Termination analysis of tabled logic programs using mode and type information Lecture Notes in Computer Science	2002-07-22	Paper
Termination of simply-moded well-typed logic programs under a tabled execution mechanism Applicable Algebra in Engineering, Communication and Computing	2001-08-26	Paper
Modular termination proofs for prolog with tabling Lecture Notes in Computer Science	2001-03-12	Paper
scientific article; zbMATH DE number 1420813 (Why is no real title available?)	2000-12-05	Paper
The abductive event calculus as a general framework for temporal databases Lecture Notes in Computer Science	2000-11-28	Paper
Conjunctive partial deduction: foundations, control, algorithms, and experiments The Journal of Logic Programming	2000-09-26	Paper
scientific article; zbMATH DE number 1508931 (Why is no real title available?)	2000-09-18	Paper
scientific article; zbMATH DE number 1420816 (Why is no real title available?)	2000-03-22	Paper
Compositionality of normal open logic programs The Journal of Logic Programming	2000-03-16	Paper
scientific article; zbMATH DE number 1407684 (Why is no real title available?)	2000-02-28	Paper
Creating specialised integrity checks through partial evaluation of meta-interpreters The Journal of Logic Programming	1999-04-19	Paper
A framework for bottom up specialisation of logic programs Lecture Notes in Computer Science	1998-11-11	Paper
SLDNFA: An abductive procedure for abductive logic programs The Journal of Logic Programming	1998-10-06	Paper
On the relation between situation calculus and event calculus The Journal of Logic Programming	1997-10-23	Paper
Automatic finite unfolding using well-founded measures The Journal of Logic Programming	1997-06-09	Paper
A general criterion for avoiding infinite unfolding during partial deduction New Generation Computing	1993-04-01	Paper
scientific article; zbMATH DE number 4178791 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Daniel De Schreye