Sofie Verbaeten
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2004
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ICLP | Logic Programs with Annotated Disjunctions. | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
| 1999 | FLOPS | Termination Analysis of Tabled Logic Programs Using Mode and Type Information. | Sofie Verbaeten, Danny De Schreye |
| 1999 | ICLP | Termination Analysis for Abductive General Logic Programs. | Sofie Verbaeten |
| 1999 | PPDP | Modular Termination Proofs for Prolog with Tabling. | Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye |
| 1998 | ECAI | The Closing Operator: From Partial to Complete Knowledge. | Sofie Verbaeten |