Sofie Verbaeten

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

Publications

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