Sofie Verbaeten Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2004
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel: Compact Representation of Knowledge Bases in Inductive Logic Programming. Machine Learning 57(3): 305-333 (2004)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic Programs with Annotated Disjunctions. ICLP 2004: 431-445
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic programs with annotated disjunctions. NMR 2004: 409-415
2003
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten, Anneleen Van Assche: Ensemble Methods for Noise Elimination in Classification Problems. Multiple Classifier Systems 2003: 317-325
2001
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 157-196 (2001)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas: Termination proofs for logic programs with tabling. ACM Trans. Comput. Log. 2(1): 57-92 (2001)
2000
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten, Annalisa Bossi: Composing Complete and Partial Knowledge. Journal of Functional and Logic Programming 2000(6) (2000)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten, Marc Denecker, Danny De Schreye: Compositionality of Normal Open Logic Programs. J. Log. Program. 42(3): 151-183 (2000)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas: Termination Proofs for Logic Programs with Tabling. CoRR cs.LO/0003045 (2000)
1999
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 163-178
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten: Termination Analysis for Abductive General Logic Programs. ICLP 1999: 365-379
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten, Konstantinos F. Sagonas, Danny De Schreye: Modular Termination Proofs for Prolog with Tabling. PPDP 1999: 342-359
1998
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten: The Closing Operator: From Partial to Complete Knowledge. ECAI 1998: 49-50
1997
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofie Verbaeten, Marc Denecker, Danny De Schreye: Compositionality of Normal Open Logic Programs. ILPS 1997: 371-385

Coauthor Index

1Anneleen Van Assche
[c6]
2Hendrik Blockeel
[j5]
3Annalisa Bossi
[j2]
4Maurice Bruynooghe
[j5] [c8] [c7]
5Marc Denecker
[j1] [c1]
6Jan Ramon
[j5]
7Konstantinos F. Sagonas
[j3] [i1] [c3]
8Danny De Schreye
[j4] [j3] [j1] [i1] [c5] [c3] [c1]
9Jan Struyf
[j5]
10Joost Vennekens
[c8] [c7]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 06:54:25 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page