Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sofie Verbaeten
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.