BibTeX records: Sofie Verbaeten

download as .bib file

@article{DBLP:journals/ml/StruyfRBVB04,
  author       = {Jan Struyf and
                  Jan Ramon and
                  Maurice Bruynooghe and
                  Sofie Verbaeten and
                  Hendrik Blockeel},
  title        = {Compact Representation of Knowledge Bases in Inductive Logic Programming},
  journal      = {Mach. Learn.},
  volume       = {57},
  number       = {3},
  pages        = {305--333},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:MACH.0000039780.84966.04},
  doi          = {10.1023/B:MACH.0000039780.84966.04},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ml/StruyfRBVB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VennekensVB04,
  author       = {Joost Vennekens and
                  Sofie Verbaeten and
                  Maurice Bruynooghe},
  editor       = {Bart Demoen and
                  Vladimir Lifschitz},
  title        = {Logic Programs with Annotated Disjunctions},
  booktitle    = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
                  France, September 6-10, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3132},
  pages        = {431--445},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27775-0\_30},
  doi          = {10.1007/978-3-540-27775-0\_30},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/VennekensVB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/VennekensVB04,
  author       = {Joost Vennekens and
                  Sofie Verbaeten and
                  Maurice Bruynooghe},
  editor       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {Logic programs with annotated disjunctions},
  booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
                  Whistler, Canada, June 6-8, 2004, Proceedings},
  pages        = {409--415},
  year         = {2004},
  url          = {http://www.pims.math.ca/science/2004/NMR/papers/paper53.pdf},
  timestamp    = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/VennekensVB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcs/VerbaetenA03,
  author       = {Sofie Verbaeten and
                  Anneleen Van Assche},
  editor       = {Terry Windeatt and
                  Fabio Roli},
  title        = {Ensemble Methods for Noise Elimination in Classification Problems},
  booktitle    = {Multiple Classifier Systems, 4th International Workshop, {MCS} 2003,
                  Guilford, UK, June 11-13, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2709},
  pages        = {317--325},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44938-8\_32},
  doi          = {10.1007/3-540-44938-8\_32},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/mcs/VerbaetenA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/VerbaetenS01,
  author       = {Sofie Verbaeten and
                  Danny De Schreye},
  title        = {Termination of Simply-Moded Well-Typed Logic Programs under a Tabled
                  Execution Mechanism},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {12},
  number       = {1/2},
  pages        = {157--196},
  year         = {2001},
  url          = {https://doi.org/10.1007/s002000100066},
  doi          = {10.1007/S002000100066},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/VerbaetenS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/VerbaetenSS01,
  author       = {Sofie Verbaeten and
                  Danny De Schreye and
                  Konstantinos Sagonas},
  title        = {Termination proofs for logic programs with tabling},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {2},
  number       = {1},
  pages        = {57--92},
  year         = {2001},
  url          = {https://doi.org/10.1145/371282.371357},
  doi          = {10.1145/371282.371357},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/VerbaetenSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/VerbaetenB00,
  author       = {Sofie Verbaeten and
                  Annalisa Bossi},
  title        = {Composing Complete and Partial Knowledge},
  journal      = {J. Funct. Log. Program.},
  volume       = {2000},
  number       = {6},
  year         = {2000},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/VerbaetenB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/VerbaetenDS00,
  author       = {Sofie Verbaeten and
                  Marc Denecker and
                  Danny De Schreye},
  title        = {Compositionality of Normal Open Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {42},
  number       = {3},
  pages        = {151--183},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0743-1066(99)00003-5},
  doi          = {10.1016/S0743-1066(99)00003-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/VerbaetenDS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0003045,
  author       = {Sofie Verbaeten and
                  Danny De Schreye and
                  Konstantinos Sagonas},
  title        = {Termination Proofs for Logic Programs with Tabling},
  journal      = {CoRR},
  volume       = {cs.LO/0003045},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0003045},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0003045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/VerbaetenS99,
  author       = {Sofie Verbaeten and
                  Danny De Schreye},
  editor       = {Aart Middeldorp and
                  Taisuke Sato},
  title        = {Termination Analysis of Tabled Logic Programs Using Mode and Type
                  Information},
  booktitle    = {Functional and Logic Programming, 4th Fuji International Symposium,
                  FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1722},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10705424\_11},
  doi          = {10.1007/10705424\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/VerbaetenS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Verbaeten99,
  author       = {Sofie Verbaeten},
  editor       = {Danny De Schreye},
  title        = {Termination Analysis for Abductive General Logic Programs},
  booktitle    = {Logic Programming: The 1999 International Conference, Las Cruces,
                  New Mexico, USA, November 29 - December 4, 1999},
  pages        = {365--379},
  publisher    = {{MIT} Press},
  year         = {1999},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Verbaeten99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/VerbaetenSS99,
  author       = {Sofie Verbaeten and
                  Konstantinos Sagonas and
                  Danny De Schreye},
  editor       = {Gopalan Nadathur},
  title        = {Modular Termination Proofs for Prolog with Tabling},
  booktitle    = {Principles and Practice of Declarative Programming, International
                  Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1702},
  pages        = {342--359},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10704567\_21},
  doi          = {10.1007/10704567\_21},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/VerbaetenSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Verbaeten98,
  author       = {Sofie Verbaeten},
  editor       = {Henri Prade},
  title        = {The Closing Operator: From Partial to Complete Knowledge},
  booktitle    = {13th European Conference on Artificial Intelligence, Brighton, UK,
                  August 23-28 1998, Proceedings.},
  pages        = {49--50},
  publisher    = {John Wiley and Sons},
  year         = {1998},
  timestamp    = {Wed, 31 Jul 2019 08:45:03 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Verbaeten98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/VerbaetenDS97,
  author       = {Sofie Verbaeten and
                  Marc Denecker and
                  Danny De Schreye},
  editor       = {Jan Maluszynski},
  title        = {Compositionality of Normal Open Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1997 International Symposium,
                  Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
  pages        = {371--385},
  publisher    = {{MIT} Press},
  year         = {1997},
  timestamp    = {Fri, 10 Jul 2015 12:20:33 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/VerbaetenDS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics