Sofie Verbaeten

MaRDI QIDQ199252zbMATH OpenFDO

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
Termination proofs for logic programs with tabling ACM Transactions on Computational Logic	2017-06-13	Paper
Logic Programming Lecture Notes in Computer Science	2005-08-26	Paper
Compact representation of knowledge bases in inductive logic programming Machine Learning	2005-01-17	Paper
scientific article; zbMATH DE number 2044189 (Why is no real title available?)	2004-02-17	Paper
scientific article; zbMATH DE number 1696593 (Why is no real title available?)	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
scientific article; zbMATH DE number 1487846 (Why is no real title available?)	2001-03-12	Paper
scientific article; zbMATH DE number 1508926 (Why is no real title available?)	2000-09-18	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

Research outcomes over time

This page was built for person: Sofie Verbaeten