Sofie Verbaeten

From MaRDI portal
Person:199252

Available identifiers

zbMath Open verbaeten.sofieMaRDI QIDQ199252

List of research outcomes





PublicationDate of PublicationType
Termination proofs for logic programs with tabling2017-06-13Paper
Logic Programming2005-08-26Paper
Compact representation of knowledge bases in inductive logic programming2005-01-17Paper
https://portal.mardi4nfdi.de/entity/Q44483022004-02-17Paper
https://portal.mardi4nfdi.de/entity/Q27667782002-07-22Paper
Termination of simply-moded well-typed logic programs under a tabled execution mechanism2001-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44943702001-03-12Paper
https://portal.mardi4nfdi.de/entity/Q45063902000-09-18Paper
Compositionality of normal open logic programs2000-03-16Paper
https://portal.mardi4nfdi.de/entity/Q49409392000-02-28Paper

Research outcomes over time

This page was built for person: Sofie Verbaeten

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:199252&oldid=6649115"
Powered by MediaWiki