Sofie Verbaeten

According to our database, Sofie Verbaeten authored at least 11 papers between 1998 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Compact Representation of Knowledge Bases in Inductive Logic Programming.

Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel

Mach. Learn., 2004

Logic Programs with Annotated Disjunctions.

Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Ensemble Methods for Noise Elimination in Classification Problems.

Sofie Verbaeten, Anneleen Van Assche

Proceedings of the Multiple Classifier Systems, 4th International Workshop, 2003

2001

Termination proofs for logic programs with tabling.

Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas

ACM Trans. Comput. Log., 2001

Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.

Sofie Verbaeten, Danny De Schreye

Appl. Algebra Eng. Commun. Comput., 2001

2000

Compositionality of Normal Open Logic Programs.

Sofie Verbaeten, Marc Denecker, Danny De Schreye

J. Log. Program., 2000

Composing Complete and Partial Knowledge.

Sofie Verbaeten, Annalisa Bossi

J. Funct. Log. Program., 2000

1999

Modular Termination Proofs for Prolog with Tabling.

Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Termination Analysis for Abductive General Logic Programs.

Sofie Verbaeten

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Termination Analysis of Tabled Logic Programs Using Mode and Type Information.

Sofie Verbaeten, Danny De Schreye

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

The Closing Operator: From Partial to Complete Knowledge.

Sofie Verbaeten

Proceedings of the 13th European Conference on Artificial Intelligence, 1998