Sofie Verbaeten

14 papers A 1B 2C 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2004 J jnl
Compact Representation of Knowledge Bases in Inductive Logic Programming.
Mach. Learn.
Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel
2004 B conf
Logic Programs with Annotated Disjunctions.
ICLP
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
2004 — conf
Logic programs with annotated disjunctions.
NMR
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
2003 — conf
Ensemble Methods for Noise Elimination in Classification Problems.
Multiple Classifier Systems
Sofie Verbaeten, Anneleen Van Assche
2001 J jnl
Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.
Appl. Algebra Eng. Commun. Comput.
Sofie Verbaeten, Danny De Schreye
2001 J jnl
Termination proofs for logic programs with tabling.
ACM Trans. Comput. Log.
Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas
2000 J jnl
Composing Complete and Partial Knowledge.
J. Funct. Log. Program.
Sofie Verbaeten, Annalisa Bossi
2000 J jnl
Compositionality of Normal Open Logic Programs.
J. Log. Program.
Sofie Verbaeten, Marc Denecker, Danny De Schreye
2000 J jnl
Termination Proofs for Logic Programs with Tabling
CoRR
Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas
1999 C conf
Modular Termination Proofs for Prolog with Tabling.
PPDP
Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye
1999 B conf
Termination Analysis for Abductive General Logic Programs.
ICLP
Sofie Verbaeten
1999 — conf
Termination Analysis of Tabled Logic Programs Using Mode and Type Information.
Fuji International Symposium on Functional and Logic Programming
Sofie Verbaeten, Danny De Schreye
1998 A conf
The Closing Operator: From Partial to Complete Knowledge.
ECAI
Sofie Verbaeten
1997 — conf
Compositionality of Normal Open Logic Programs.
ILPS
Sofie Verbaeten, Marc Denecker, Danny De Schreye