The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sofie Verbaeten: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sofie Verbaeten
    The Closing Operator: From Partial to Complete Knowledge. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:49-50 [Conf]
  2. Sofie Verbaeten, Danny De Schreye
    Termination Analysis of Tabled Logic Programs Using Mode and Type Information. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:163-178 [Conf]
  3. Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
    Logic Programs with Annotated Disjunctions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:431-445 [Conf]
  4. Sofie Verbaeten
    Termination Analysis for Abductive General Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:365-379 [Conf]
  5. Sofie Verbaeten, Anneleen Van Assche
    Ensemble Methods for Noise Elimination in Classification Problems. [Citation Graph (0, 0)][DBLP]
    Multiple Classifier Systems, 2003, pp:317-325 [Conf]
  6. Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
    Logic programs with annotated disjunctions. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:409-415 [Conf]
  7. Sofie Verbaeten, Konstantinos F. Sagonas, Danny De Schreye
    Modular Termination Proofs for Prolog with Tabling. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:342-359 [Conf]
  8. Sofie Verbaeten, Marc Denecker, Danny De Schreye
    Compositionality of Normal Open Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:371-385 [Conf]
  9. Sofie Verbaeten, Danny De Schreye
    Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2001, v:12, n:1/2, pp:157-196 [Journal]
  10. Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas
    Termination Proofs for Logic Programs with Tabling [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  11. Sofie Verbaeten, Annalisa Bossi
    Composing Complete and Partial Knowledge. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2000, v:2000, n:6, pp:- [Journal]
  12. Sofie Verbaeten, Marc Denecker, Danny De Schreye
    Compositionality of Normal Open Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:3, pp:151-183 [Journal]
  13. Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel
    Compact Representation of Knowledge Bases in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    Machine Learning, 2004, v:57, n:3, pp:305-333 [Journal]
  14. Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas
    Termination proofs for logic programs with tabling. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:1, pp:57-92 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002