Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Danny De Schreye
@inproceedings{DBLP:conf/icccrea/WintersNS19,
author = {Thomas Winters and
Vincent Nys and
Danny De Schreye},
editor = {Kazjon Grace and
Michael Cook and
Dan Ventura and
Mary Lou Maher},
title = {Towards a General Framework for Humor Generation from Rated Examples},
booktitle = {Proceedings of the Tenth International Conference on Computational
Creativity, {ICCC} 2019, Charlotte, North Carolina, USA, June 17-21,
2019},
pages = {274--281},
publisher = {Association for Computational Creativity {(ACC)}},
year = {2019},
url = {http://computationalcreativity.net/iccc2019/papers/iccc19-paper-17.pdf},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icccrea/WintersNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/WintersNS18,
author = {Thomas Winters and
Vincent Nys and
Danny De Schreye},
editor = {Norbert A. Streitz and
Shin'ichi Konomi},
title = {Automatic Joke Generation: Learning Humor from Examples},
booktitle = {Distributed, Ambient and Pervasive Interactions: Technologies and
Contexts - 6th International Conference, {DAPI} 2018, Held as Part
of {HCI} International 2018, Las Vegas, NV, USA, July 15-20, 2018,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10922},
pages = {360--377},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91131-1\_28},
doi = {10.1007/978-3-319-91131-1\_28},
timestamp = {Fri, 11 Jun 2021 15:56:14 +0200},
biburl = {https://dblp.org/rec/conf/hci/WintersNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NysS18,
author = {Vincent Nys and
Danny De Schreye},
editor = {Fred Mesnard and
Peter J. Stuckey},
title = {Compiling Control as Offline Partial Deduction},
booktitle = {Logic-Based Program Synthesis and Transformation - 28th International
Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11408},
pages = {115--131},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13838-7\_7},
doi = {10.1007/978-3-030-13838-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/NysS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05360,
author = {Vincent Nys and
Danny De Schreye},
title = {Compiling Control as Offline Partial Deduction},
journal = {CoRR},
volume = {abs/1808.05360},
year = {2018},
url = {http://arxiv.org/abs/1808.05360},
eprinttype = {arXiv},
eprint = {1808.05360},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-05360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/NysS17,
author = {Vincent Nys and
Danny De Schreye},
title = {Abstract conjunctive partial deduction for the analysis and compilation
of coroutines},
journal = {Formal Aspects Comput.},
volume = {29},
number = {1},
pages = {125--153},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0389-8},
doi = {10.1007/S00165-016-0389-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/NysS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07222,
author = {Vincent Nys and
Danny De Schreye},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Transforming Coroutining Logic Programs into Equivalent {CHR} Programs},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {9--35},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.4},
doi = {10.4204/EPTCS.253.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SchreyeNN14,
author = {Danny De Schreye and
Vincent Nys and
Colin J. Nicholson},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Analysing and Compiling Coroutines with Abstract Conjunctive Partial
Deduction},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {21--38},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_2},
doi = {10.1007/978-3-319-17822-6\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SchreyeNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SneyersSF13,
author = {Jon Sneyers and
Danny De Schreye and
Thom W. Fr{\"{u}}hwirth},
title = {Probabilistic legal reasoning in CHRiSM},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {769--781},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000483},
doi = {10.1017/S1471068413000483},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SneyersSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2012,
editor = {Danny De Schreye and
Gerda Janssens and
Andy King},
title = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
Belgium - September 19 - 21, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2370776},
isbn = {978-1-4503-1522-7},
timestamp = {Sun, 11 Nov 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NguyenSGS11,
author = {Manh Thang Nguyen and
Danny De Schreye and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
title = {Polytool: Polynomial interpretations as a basis for termination analysis
of logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {33--63},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000025},
doi = {10.1017/S1471068410000025},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/NguyenSGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VoetsS11,
author = {Dean Voets and
Danny De Schreye},
title = {Non-termination analysis of logic programs with integer arithmetics},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {521--536},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000159},
doi = {10.1017/S1471068411000159},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/VoetsS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NicholsonSS11,
author = {Colin J. Nicholson and
Danny De Schreye and
Jon Sneyers},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Improving the Outcome of a Probabilistic Logic Music System Generator
by Using Perlin Noise},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {231--239},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.231},
doi = {10.4230/LIPICS.ICLP.2011.231},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NicholsonSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PilozziS11,
author = {Paolo Pilozzi and
Danny De Schreye},
editor = {Germ{\'{a}}n Vidal},
title = {Improved Termination Analysis of {CHR} Using Self-sustainability Analysis},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {189--204},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_13},
doi = {10.1007/978-3-642-32211-2\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PilozziS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SneyersS11,
author = {Jon Sneyers and
Danny De Schreye},
editor = {Germ{\'{a}}n Vidal},
title = {Probabilistic Termination of CHRiSM Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {221--236},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_15},
doi = {10.1007/978-3-642-32211-2\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SneyersS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3256,
author = {Dean Voets and
Danny De Schreye},
title = {Non-termination Analysis of Logic Programs with Integer arithmetics},
journal = {CoRR},
volume = {abs/1109.3256},
year = {2011},
url = {http://arxiv.org/abs/1109.3256},
eprinttype = {arXiv},
eprint = {1109.3256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VoetsS10,
author = {Dean Voets and
Danny De Schreye},
editor = {Mar{\'{\i}}a Alpuente},
title = {Non-termination Analysis of Logic Programs Using Types},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {133--148},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_9},
doi = {10.1007/978-3-642-20551-4\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VoetsS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2009,
editor = {Danny De Schreye},
title = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12592-8},
doi = {10.1007/978-3-642-12592-8},
isbn = {978-3-642-12591-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ShenSV09,
author = {Yi{-}Dong Shen and
Danny De Schreye and
Dean Voets},
title = {Termination prediction for general logic programs},
journal = {Theory Pract. Log. Program.},
volume = {9},
number = {6},
pages = {751--780},
year = {2009},
url = {https://doi.org/10.1017/S1471068409990068},
doi = {10.1017/S1471068409990068},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/ShenSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VoetsS09,
author = {Dean Voets and
Danny De Schreye},
editor = {Patricia M. Hill and
David Scott Warren},
title = {A New Approach to Non-termination Analysis of Logic Programs},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {220--234},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_21},
doi = {10.1007/978-3-642-02846-5\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/VoetsS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PilozziS09,
author = {Paolo Pilozzi and
Danny De Schreye},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Proving Termination by Invariance Relations},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {499--503},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_42},
doi = {10.1007/978-3-642-02846-5\_42},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PilozziS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PilozziS09a,
author = {Paolo Pilozzi and
Danny De Schreye},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Automating Termination Proofs for {CHR}},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {504--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_43},
doi = {10.1007/978-3-642-02846-5\_43},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PilozziS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-2004,
author = {Yi{-}Dong Shen and
Danny De Schreye and
Dean Voets},
title = {Termination Prediction for General Logic Programs},
journal = {CoRR},
volume = {abs/0905.2004},
year = {2009},
url = {http://arxiv.org/abs/0905.2004},
eprinttype = {arXiv},
eprint = {0905.2004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4360,
author = {Manh Thang Nguyen and
Danny De Schreye and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
title = {Polytool: polynomial interpretations as a basis for termination analysis
of Logic programs},
journal = {CoRR},
volume = {abs/0912.4360},
year = {2009},
url = {http://arxiv.org/abs/0912.4360},
eprinttype = {arXiv},
eprint = {0912.4360},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-4360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PilozziS08,
author = {Paolo Pilozzi and
Danny De Schreye},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Termination Analysis of {CHR} Revisited},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {501--515},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_43},
doi = {10.1007/978-3-540-89982-2\_43},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PilozziS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NguyenGSS07,
author = {Manh Thang Nguyen and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp and
Danny De Schreye},
editor = {Andy King},
title = {Termination Analysis of Logic Programs Based on Dependency Graphs},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {8--22},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_2},
doi = {10.1007/978-3-540-78769-3\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/NguyenGSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GieslSTSNSS07,
author = {J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Stephan Swiderski and
Manh Thang Nguyen and
Danny De Schreye and
Alexander Serebrenik},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {Termination of Programs using Term Rewriting and {SAT} Solving},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1248},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GieslSTSNSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NguyenS06,
author = {Manh Thang Nguyen and
Danny De Schreye},
editor = {Germ{\'{a}}n Puebla},
title = {Polytool: Proving Termination Automatically Based on Polynomial Interpretations},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {210--218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_15},
doi = {10.1007/978-3-540-71410-1\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/NguyenS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SneyersVS06,
author = {Jon Sneyers and
Joost Vennekens and
Danny De Schreye},
editor = {Pascal Van Hentenryck},
title = {Probabilistic-Logical Modeling of Music},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
pages = {60--72},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023\_5},
doi = {10.1007/11603023\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/SneyersVS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SerebrenikS05,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {Termination of Floating-Point Computations},
journal = {J. Autom. Reason.},
volume = {34},
number = {2},
pages = {141--177},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-6546-z},
doi = {10.1007/S10817-005-6546-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SerebrenikS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SerebrenikS05,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {On termination of meta-programs},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {3},
pages = {355--390},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002248},
doi = {10.1017/S1471068404002248},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SerebrenikS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NguyenS05,
author = {Manh Thang Nguyen and
Danny De Schreye},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Polynomial Interpretations as a Basis for Termination Analysis of
Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {311--325},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_24},
doi = {10.1007/11562931\_24},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NguyenS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0512055,
author = {Yi{-}Dong Shen and
Danny De Schreye},
title = {Termination Analysis of General Logic Programs for Moded Queries:
{A} Dynamic Approach},
journal = {CoRR},
volume = {abs/cs/0512055},
year = {2005},
url = {http://arxiv.org/abs/cs/0512055},
eprinttype = {arXiv},
eprint = {cs/0512055},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0512055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SerebrenikS04,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {Inference of termination conditions for numerical loops in Prolog},
journal = {Theory Pract. Log. Program.},
volume = {4},
number = {5-6},
pages = {719--751},
year = {2004},
url = {https://doi.org/10.1017/S1471068404002042},
doi = {10.1017/S1471068404002042},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SerebrenikS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SerebrenikS03,
author = {Alexander Serebrenik and
Danny De Schreye},
editor = {Maurice Bruynooghe},
title = {Proving Termination with Adornments},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International
Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3018},
pages = {108--109},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25938-1\_10},
doi = {10.1007/978-3-540-25938-1\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SerebrenikS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/SerebrenikS03,
author = {Alexander Serebrenik and
Danny De Schreye},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard and
Alexander Serebrenik},
title = {Hasta-La-Vista: Termination Analyser for Logic Programs},
booktitle = {Proceedings of the 13th International Workshop on Logic Programming
Environments, Tata Institute of Fundamental Research, Mumbai, India,
December 8, 2003},
series = {Report},
volume = {{CW371}},
pages = {60--74},
publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
200A, {B-3001} Heverlee (Belgium)},
year = {2003},
timestamp = {Thu, 11 Mar 2004 09:52:24 +0100},
biburl = {https://dblp.org/rec/conf/lpe/SerebrenikS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchreyeS02,
author = {Danny De Schreye and
Alexander Serebrenik},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Acceptability with General Orderings},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2407},
pages = {187--210},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45628-7\_9},
doi = {10.1007/3-540-45628-7\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchreyeS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SerebrenikS02,
author = {Alexander Serebrenik and
Danny De Schreye},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {On Termination of Logic Programs with Floating Point Computations},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {151--164},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_13},
doi = {10.1007/3-540-45789-5\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SerebrenikS02.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}
}
@inproceedings{DBLP:conf/lpar/SerebrenikS01,
author = {Alexander Serebrenik and
Danny De Schreye},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {On Termination of Meta-Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {517--530},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_36},
doi = {10.1007/3-540-45653-8\_36},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SerebrenikS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SerebrenikS01a,
author = {Alexander Serebrenik and
Danny De Schreye},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Inference of Termination Conditions for Numerical Loops in Prolog},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {654--668},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_45},
doi = {10.1007/3-540-45653-8\_45},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SerebrenikS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0106052,
author = {Danny De Schreye and
Alexander Serebrenik},
title = {Acceptability with general orderings},
journal = {CoRR},
volume = {cs.PL/0106052},
year = {2001},
url = {https://arxiv.org/abs/cs/0106052},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0106052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0106053,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {Inference of termination conditions for numerical loops},
journal = {CoRR},
volume = {cs.PL/0106053},
year = {2001},
url = {https://arxiv.org/abs/cs/0106053},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0106053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0110034,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {Inference of termination conditions for numerical loops in Prolog},
journal = {CoRR},
volume = {cs.PL/0110034},
year = {2001},
url = {https://arxiv.org/abs/cs/0110034},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0110034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0110035,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {On termination of meta-programs},
journal = {CoRR},
volume = {cs.PL/0110035},
year = {2001},
url = {https://arxiv.org/abs/cs/0110035},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0110035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SchreyeBDDJM00,
author = {Danny De Schreye and
Maurice Bruynooghe and
Bart Demoen and
Marc Denecker and
Gerda Janssens and
Bern Martens},
title = {Project Report on LP\({}^{\mbox{+}}\): {A} Second Generation Logic
Programming Language},
journal = {{AI} Commun.},
volume = {13},
number = {1},
pages = {13--18},
year = {2000},
url = {http://content.iospress.com/articles/ai-communications/aic199},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/SchreyeBDDJM00.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/jlp/SchreyeDJLMS00,
author = {Danny De Schreye and
Robert Gl{\"{u}}ck and
Jesper J{\o}rgensen and
Michael Leuschel and
Bern Martens and
Morten Heine S{\o}rensen},
title = {Erratum to: "Conjunctive Partial Deduction: Foundations, Control,
Algorithms and Experiments"},
journal = {J. Log. Program.},
volume = {43},
number = {3},
pages = {265},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00070-9},
doi = {10.1016/S0743-1066(99)00070-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SchreyeDJLMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SerebrenikS00,
author = {Alexander Serebrenik and
Danny De Schreye},
editor = {Kung{-}Kiu Lau},
title = {Non-tranformational termination analysis of logic programs, based
on general term-orderings},
booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
24-28, 2000},
series = {Technical Report},
volume = {{UMCS-00-6-1}},
publisher = {Department of Computer Science, University of Manchester},
year = {2000},
url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-serebrenik.ps.Z},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/SerebrenikS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SerebrenikS00a,
author = {Alexander Serebrenik and
Danny De Schreye},
editor = {Kung{-}Kiu Lau},
title = {Non-transformational Termination Analysis of Logic Programs, Based
on General Term-Orderings},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International
Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2042},
pages = {69--85},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45142-0\_5},
doi = {10.1007/3-540-45142-0\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SerebrenikS00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0011034,
author = {Sven Verdoolaege and
Marc Denecker and
Ness Schelkens and
Danny De Schreye and
Frank Van Eynde},
title = {Semantic interpretation of temporal information by abductive inference},
journal = {CoRR},
volume = {cs.CL/0011034},
year = {2000},
url = {https://arxiv.org/abs/cs/0011034},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0011034.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}
}
@article{DBLP:journals/corr/cs-PL-0011025,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {Termination analysis of logic programs using acceptability with general
term orders},
journal = {CoRR},
volume = {cs.PL/0011025},
year = {2000},
url = {https://arxiv.org/abs/cs/0011025},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0011025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/VanhoofSM99,
author = {Wim Vanhoof and
Danny De Schreye and
Bern Martens},
title = {Bottom-up Partial Deduction of Logic Programs},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {Special Issue 2},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/VanhoofSM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SchreyeDJLMS99,
author = {Danny De Schreye and
Robert Gl{\"{u}}ck and
Jesper J{\o}rgensen and
Michael Leuschel and
Bern Martens and
Morten Heine S{\o}rensen},
title = {Conjunctive Partial Deduction: Foundations, Control, Algorithms, and
Experiments},
journal = {J. Log. Program.},
volume = {41},
number = {2-3},
pages = {231--277},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(99)00030-8},
doi = {10.1016/S0743-1066(99)00030-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SchreyeDJLMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DecorteSV99,
author = {Stefaan Decorte and
Danny De Schreye and
Henk Vandecasteele},
title = {Constraint-based termination analysis of logic programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {6},
pages = {1137--1195},
year = {1999},
url = {https://doi.org/10.1145/330643.330645},
doi = {10.1145/330643.330645},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DecorteSV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clin/VerdoolaegeDSSE99,
author = {Sven Verdoolaege and
Marc Denecker and
Ness Schelkens and
Danny De Schreye and
Frank Van Eynde},
editor = {Paola Monachesi},
title = {Semantic interpretation of temporal information by abductive inference},
booktitle = {Computational Linguistics in the Netherlands 1999, Selected Papers
from the Tenth {CLIN} Meeting, December 10, {OTS} Utrecht},
publisher = {{UILOTS} Utrecht},
year = {1999},
url = {http://www-uilots.let.uu.nl/publications/clin1999/Pap/schelkens\_et\_al.pdf},
timestamp = {Wed, 31 Jan 2007 07:39:31 +0100},
biburl = {https://dblp.org/rec/conf/clin/VerdoolaegeDSSE99.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/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}
}
@incollection{DBLP:books/sp/99/SchreyeD99,
author = {Danny De Schreye and
Marc Denecker},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Assessment of Some Issues in CL-Theory and Program Development},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {195--208},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_8},
doi = {10.1007/978-3-642-60085-2\_8},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/SchreyeD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1999,
editor = {Danny De Schreye},
title = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
publisher = {{MIT} Press},
year = {1999},
isbn = {0-262-54104-1},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/LeuschelMS98,
author = {Michael Leuschel and
Bern Martens and
Danny De Schreye},
title = {Some Achievements and Prospects in Partial Deduction},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {4},
year = {1998},
url = {https://doi.org/10.1145/289121.289125},
doi = {10.1145/289121.289125},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/LeuschelMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DeneckerS98,
author = {Marc Denecker and
Danny De Schreye},
title = {{SLDNFA:} An Abductive Procedure for Abductive Logic Programs},
journal = {J. Log. Program.},
volume = {34},
number = {2},
pages = {111--167},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)00074-5},
doi = {10.1016/S0743-1066(97)00074-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/DeneckerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LeuschelS98,
author = {Michael Leuschel and
Danny De Schreye},
title = {Creating Specialised Integrity Checks Through Partial Evaluation of
Meta-Interpreters},
journal = {J. Log. Program.},
volume = {36},
number = {2},
pages = {149--193},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)10012-7},
doi = {10.1016/S0743-1066(97)10012-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LeuschelS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LeuschelS98,
author = {Michael Leuschel and
Danny De Schreye},
title = {Constrained Partial Deduction and the Preservation of Characteristic
Trees},
journal = {New Gener. Comput.},
volume = {16},
number = {3},
pages = {283--342},
year = {1998},
url = {https://doi.org/10.1007/BF03037483},
doi = {10.1007/BF03037483},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/LeuschelS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LeuschelMS98,
author = {Michael Leuschel and
Bern Martens and
Danny De Schreye},
title = {Controlling Generalization amd Polyvariance in Partial Deduction of
Normal Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {1},
pages = {208--258},
year = {1998},
url = {https://doi.org/10.1145/271510.271525},
doi = {10.1145/271510.271525},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LeuschelMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DecorteS98,
author = {Stefaan Decorte and
Danny De Schreye},
editor = {Joxan Jaffar},
title = {Termination Analysis: Some Practical Properties of the Norm and Level
Mapping Space},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {235--249},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DecorteS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VanhoofMSV98,
author = {Wim Vanhoof and
Bern Martens and
Danny De Schreye and
Karel De Vlaminck},
editor = {Joxan Jaffar},
title = {Specialising the Other Way Arond},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {279--293},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/VanhoofMSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VanhoofSM98,
author = {Wim Vanhoof and
Danny De Schreye and
Bern Martens},
editor = {Pierre Flener},
title = {Bottom-Up Specialisation of Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 8th International
Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1559},
pages = {325--327},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_23},
doi = {10.1007/3-540-48958-4\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VanhoofSM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/VanhoofSM98,
author = {Wim Vanhoof and
Danny De Schreye and
Bern Martens},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A Framework for Bottom Up Specialisation of Logic Programs},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {54--72},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056607},
doi = {10.1007/BFB0056607},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/VanhoofSM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BelleghemDS97,
author = {Kristof Van Belleghem and
Marc Denecker and
Danny De Schreye},
title = {On the Relation Between Situation Calculus and Event Calculus},
journal = {J. Log. Program.},
volume = {31},
number = {1-3},
pages = {3--37},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00123-9},
doi = {10.1016/S0743-1066(96)00123-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BelleghemDS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DecorteS97,
author = {Stefaan Decorte and
Danny De Schreye},
editor = {Lee Naish},
title = {Demand-Driven and Constraint-Based Automatic Left-Termination Analysis
for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {78--92},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DecorteS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BelleghemDS97,
author = {Kristof Van Belleghem and
Marc Denecker and
Danny De Schreye},
editor = {Lee Naish},
title = {A Strong Correspondence between Description Logics and Open Logic
Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {346--360},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BelleghemDS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DecorteSLMS97,
author = {Stefaan Decorte and
Danny De Schreye and
Michael Leuschel and
Bern Martens and
Konstantinos Sagonas},
editor = {Norbert E. Fuchs},
title = {Termination Analysis for Tabled Logic Programming},
booktitle = {Logic Programming Synthesis and Transformation, 7th International
Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1463},
pages = {111--127},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49674-2\_6},
doi = {10.1007/3-540-49674-2\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DecorteSLMS97.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}
}
@inproceedings{DBLP:conf/wlp/LeuschelS97,
author = {Michael Leuschel and
Danny De Schreye},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {Constrained Partial Deduction},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/LeuschelS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MartensS96,
author = {Bern Martens and
Danny De Schreye},
title = {Automatic Finite Unfolding Using Well-Founded Measures},
journal = {J. Log. Program.},
volume = {28},
number = {2},
pages = {89--146},
year = {1996},
url = {https://doi.org/10.1016/0743-1066(95)00149-2},
doi = {10.1016/0743-1066(95)00149-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MartensS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeneckerBDPS96,
author = {Marc Denecker and
Kristof Van Belleghem and
Guy Duchatelet and
Frank Piessens and
Danny De Schreye},
editor = {Michael J. Maher},
title = {A Realistic Experiment in Knowledge Representation in Open Event Calculus:
Protocol Specification},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {170--184},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278928},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DeneckerBDPS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeuschelSW96,
author = {Michael Leuschel and
Danny De Schreye and
D. Andre de Waal},
editor = {Michael J. Maher},
title = {A Conceptual Embedding of Folding into Partial Deduction: Towards
a Maximal Integration},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {319--332},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278917},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LeuschelSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LeuschelS96,
author = {Michael Leuschel and
Danny De Schreye},
editor = {John P. Gallagher},
title = {Logic Program Specialisation: How to Be More Specific (Abstract)},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {58},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_4},
doi = {10.1007/3-540-62718-9\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LeuschelS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/LeuschelS96,
author = {Michael Leuschel and
Danny De Schreye},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Logic Program Specialisation: How To Be More Specific},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {137--151},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_82},
doi = {10.1007/3-540-61756-6\_82},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/LeuschelS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MartensS95,
author = {Bern Martens and
Danny De Schreye},
title = {Why Untyped Nonground Metaprogramming Is Not (Much Of) {A} Problem},
journal = {J. Log. Program.},
volume = {22},
number = {1},
pages = {47--99},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00015-X},
doi = {10.1016/0743-1066(94)00015-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MartensS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DeneckerS95,
author = {Marc Denecker and
Danny De Schreye},
title = {Representing Incomplete Knowledge in Abductive Logic Programming},
journal = {J. Log. Comput.},
volume = {5},
number = {5},
pages = {553--577},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.5.553},
doi = {10.1093/LOGCOM/5.5.553},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DeneckerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/SchreyeV95,
author = {Danny De Schreye and
Kristof Verschaetse},
title = {Deriving Linear Size Relations for Logic Programs by Abstract Interpretation},
journal = {New Gener. Comput.},
volume = {13},
number = {2},
pages = {117--154},
year = {1995},
url = {https://doi.org/10.1007/BF03038311},
doi = {10.1007/BF03038311},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/SchreyeV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/DeneckerDPBS95,
author = {Marc Denecker and
Guy Duchatelet and
Frank Piessens and
Kristof Van Belleghem and
Danny De Schreye},
editor = {Hendrik Decker and
Ulrich Geske and
Antonis C. Kakas and
Chiaki Sakama and
Dietmar Seipel and
Toni Urp{\'{\i}}},
title = {Using Event Calculus for Protocol Specification: An Experiment},
booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive
Databases and Knowledge-Based Systems, Proceedings of the ICLP'95
Joint Workshop, Shonan Village Center, Japan, June 17, 1995},
series = {GMD-Studien},
volume = {266},
pages = {187--201},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
year = {1995},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/DeneckerDPBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BelleghemDS95,
author = {Kristof Van Belleghem and
Marc Denecker and
Danny De Schreye},
editor = {Leon Sterling},
title = {Combining Situation Calculus and Event Calculus},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {83--97},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BelleghemDS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LeuschelS95,
author = {Michael Leuschel and
Danny De Schreye},
editor = {Neil D. Jones},
title = {Towards Creating Specialised Integrity Checks through Partial Evaluation
of Meta-Interpreters},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {253--263},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215598},
doi = {10.1145/215465.215598},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LeuschelS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SchreyeLM95,
author = {Danny De Schreye and
Michael Leuschel and
Bern Martens},
editor = {John W. Lloyd},
title = {Tutorial on Program Specialisation (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {615--616},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299970},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/SchreyeLM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SchreyeD94,
author = {Danny De Schreye and
Stefaan Decorte},
title = {Termination of Logic Programs: The Never-Ending Story},
journal = {J. Log. Program.},
volume = {19/20},
pages = {199--260},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90027-2},
doi = {10.1016/0743-1066(94)90027-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SchreyeD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartensSH94,
author = {Bern Martens and
Danny De Schreye and
Tam{\'{a}}s Horv{\'{a}}th},
title = {Sound and Complete Partial Deduction with Unfolding Based on Well-Founded
Measures},
journal = {Theor. Comput. Sci.},
volume = {122},
number = {1{\&}2},
pages = {97--117},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90203-8},
doi = {10.1016/0304-3975(94)90203-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MartensSH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeneckerS94,
author = {Marc Denecker and
Danny De Schreye},
title = {On the Duality of Abduction and Model Generation in a Framework for
Model Generation with Equality},
journal = {Theor. Comput. Sci.},
volume = {122},
number = {1{\&}2},
pages = {225--262},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90208-9},
doi = {10.1016/0304-3975(94)90208-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DeneckerS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BelleghemDS94,
author = {Kristof Van Belleghem and
Marc Denecker and
Danny De Schreye},
editor = {Pascal Van Hentenryck},
title = {Representing Continuous Change in the Abductive Event Calculus},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {225--239},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BelleghemDS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoulangerS94,
author = {Dmitri Boulanger and
Danny De Schreye},
editor = {Pascal Van Hentenryck},
title = {Compiling Control Revisited: {A} New Approach based upon Abstract
Interpretation},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {699--713},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoulangerS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BelleghemDS94,
author = {Kristof Van Belleghem and
Marc Denecker and
Danny De Schreye},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {The Abductive Event Calculus as a General Framework for Temporal Databases},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {301--316},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013995},
doi = {10.1007/BFB0013995},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BelleghemDS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VandecasteeleS94,
author = {Henk Vandecasteele and
Danny De Schreye},
editor = {Frank Pfenning},
title = {Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational
Approach},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {84--98},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_31},
doi = {10.1007/3-540-58216-9\_31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VandecasteeleS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MartensS93,
author = {Bern Martens and
Danny De Schreye},
editor = {Yves Deville},
title = {Some Further Issues in Finite Unfolding (Abstract)},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
93, International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve, Belgium, 7-9 July 1993},
series = {Workshops in Computing},
pages = {159--161},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MartensS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/BoulangerBS93,
author = {Dmitri Boulanger and
Maurice Bruynooghe and
Danny De Schreye},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Compiling Control Revisited: {A} New approach Based Upon Abstract
Interpretation for Constraint Logic Programs},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {39--51},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/BoulangerBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DeneckerS93,
author = {Marc Denecker and
Danny De Schreye},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Justification Semantics: {A} Unifiying Framework for the Semantics
of Logic Programs},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {365--379},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/DeneckerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DeneckerS93,
author = {Marc Denecker and
Danny De Schreye},
editor = {Dale Miller},
title = {Representing Incomplete Knowledge in Abductive Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {147--163},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/DeneckerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DecorteSF93,
author = {Stefaan Decorte and
Danny De Schreye and
Massimo Fabris},
editor = {Dale Miller},
title = {Automatic Inference of Norms: {A} Missing Link in Automatic Termination
Analysis},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {420--436},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DecorteSF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/BruynoogheSM92,
author = {Maurice Bruynooghe and
Danny De Schreye and
Bern Martens},
title = {A General Criterion for Avoiding Infinite Unfolding during Partial
Deduction},
journal = {New Gener. Comput.},
volume = {11},
number = {1},
pages = {47--79},
year = {1992},
url = {https://doi.org/10.1007/BF03037527},
doi = {10.1007/BF03037527},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/BruynoogheSM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnkbs/SchreyeM92,
author = {Danny De Schreye and
Bern Martens},
editor = {G{\'{e}}rard Comyn and
Matthias Jarke and
Suryanarayana M. Sripada},
title = {A sensible least Herbrand semantics for untyped Vanilla meta-programming
and its extension to a limited form of amalgamation},
booktitle = {CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge
Bases, Munich, Germany, 6-7 February 1992},
volume = {{ECRC-92-2}},
pages = {49--51},
publisher = {European Computer-Industry Research Centre, Munich},
year = {1992},
timestamp = {Tue, 30 May 2006 14:18:38 +0200},
biburl = {https://dblp.org/rec/conf/cnkbs/SchreyeM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/MartensSB92,
author = {Bern Martens and
Danny De Schreye and
Maurice Bruynooghe},
title = {Sound and Complete Partial Deduction with Unfolding Based on Well-Founded
Measures},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {473--480},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/MartensSB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/SchreyeVB92,
author = {Danny De Schreye and
Kristof Verschaetse and
Maurice Bruynooghe},
title = {A Framework for Analyzing the Termination of Definite Logic Programs
with respect to Call Patterns},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {481--488},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/SchreyeVB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/DeneckerS92,
author = {Marc Denecker and
Danny De Schreye},
title = {On the Duality of Abduction and Model Generation},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {650--657},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/DeneckerS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MartensS92,
author = {Bern Martens and
Danny De Schreye},
editor = {Krzysztof R. Apt},
title = {A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {511--525},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MartensS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeneckerS92,
author = {Marc Denecker and
Danny De Schreye},
editor = {Krzysztof R. Apt},
title = {{SLDNFA:} An Abductive Procedure for Normal Abductive Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {686--700},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DeneckerS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VerschaetseDS92,
author = {Kristof Verschaetse and
Stefaan Decorte and
Danny De Schreye},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Automatic Termination Analysis},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {168--183},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_12},
doi = {10.1007/978-1-4471-3560-9\_12},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VerschaetseDS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/SchreyeV92,
author = {Danny De Schreye and
Kristof Verschaetse},
editor = {Alberto Pettorossi},
title = {Tutorial on Termination of Logic Programs},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {70--88},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_5},
doi = {10.1007/3-540-56282-6\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/SchreyeV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/SchreyeM92,
author = {Danny De Schreye and
Bern Martens},
editor = {Alberto Pettorossi},
title = {A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming
and its Extension to a Limited Form of Amalgamation},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {192--204},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_13},
doi = {10.1007/3-540-56282-6\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/SchreyeM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/VerschaetseS92,
author = {Kristof Verschaetse and
Danny De Schreye},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Deriving of Linear Size Relations by Abstract Interpretation},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {296--310},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_143},
doi = {10.1007/3-540-55844-6\_143},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/VerschaetseS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SchreyeMSB91,
author = {Danny De Schreye and
Bern Martens and
Gunther Sablon and
Maurice Bruynooghe},
title = {Compiling Bottom-up and Mixed Derivations into Top-down Executable
Logic Programs},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {337--358},
year = {1991},
url = {https://doi.org/10.1007/BF00249018},
doi = {10.1007/BF00249018},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SchreyeMSB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VerschaetseS91,
author = {Kristof Verschaetse and
Danny De Schreye},
editor = {Koichi Furukawa},
title = {Deriving Termination Proofs for Logic Programs, Using Abstract Procedures},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {301--315},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/VerschaetseS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BruynoogheSM91,
author = {Maurice Bruynooghe and
Danny De Schreye and
Bern Martens},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {A General Criterion for Avoiding Infinite Unfolding During Partial
Deduction of Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {117--131},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BruynoogheSM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SchreyePRB90,
author = {Danny De Schreye and
Dirk Pollet and
Johan Ronsyn and
Maurice Bruynooghe},
editor = {Neil D. Jones},
title = {Implementing Finite-domain Constraint Logic Programming on Top of
a Prolog-System with Delay-mechanism},
booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {432},
pages = {106--117},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52592-0\_58},
doi = {10.1007/3-540-52592-0\_58},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SchreyePRB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchreyeVB90,
author = {Danny De Schreye and
Kristof Verschaetse and
Maurice Bruynooghe},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {A Practical Technique for Detecting Non-terminating Queries for a
Restricted Class of Horn Clauses, Using Directed, Weighted Graphs},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {649--663},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SchreyeVB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VerschaetseSB90,
author = {Kristof Verschaetse and
Danny De Schreye and
Maurice Bruynooghe},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Generation and Compilation of Efficient Computation Rules},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {700--714},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/VerschaetseSB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SchreyeBV89,
author = {Danny De Schreye and
Maurice Bruynooghe and
Kristof Verschaetse},
title = {On the Existence of Nonterminating Queries for a Restricted Class
of PROLOG-Clauses},
journal = {Artif. Intell.},
volume = {41},
number = {2},
pages = {237--248},
year = {1989},
url = {https://doi.org/10.1016/0004-3702(89)90012-X},
doi = {10.1016/0004-3702(89)90012-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SchreyeBV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruynoogheSK89,
author = {Maurice Bruynooghe and
Danny De Schreye and
Bruno Krekels},
title = {Compiling Control},
journal = {J. Log. Program.},
volume = {6},
number = {1{\&}2},
pages = {135--162},
year = {1989},
url = {https://doi.org/10.1016/0743-1066(89)90033-2},
doi = {10.1016/0743-1066(89)90033-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BruynoogheSK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SchreyeB89,
author = {Danny De Schreye and
Maurice Bruynooghe},
title = {On the Transformation of Logic Programs with Instantiation Based Computation
Rules},
journal = {J. Symb. Comput.},
volume = {7},
number = {2},
pages = {125--154},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80046-X},
doi = {10.1016/S0747-7171(89)80046-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/SchreyeB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/BruynoogheS89,
author = {Maurice Bruynooghe and
Danny De Schreye},
editor = {Klaus P. Jantke},
title = {Some Thoughts on the Role of Examples in Program Transformation and
its Relevance for Explanation-based Learning},
booktitle = {Analogical and Inductive Inference, International Workshop {AII} '89,
Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {397},
pages = {60--77},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51734-0\_52},
doi = {10.1007/3-540-51734-0\_52},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/BruynoogheS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BruynoogheRS89,
author = {Maurice Bruynooghe and
Luc De Raedt and
Danny De Schreye},
editor = {N. S. Sridharan},
title = {Explanation Based Program Transformation},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {407--412},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-1/Papers/065.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BruynoogheRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/SchreyeB88,
author = {Danny De Schreye and
Maurice Bruynooghe},
editor = {Harvey Abramson and
M. H. Rogers},
title = {The Compilation of Forward Checking Regimes through Meta-Interpretation
and Transformation},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {217--231},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/SchreyeB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SchreyeB88,
author = {Danny De Schreye and
Maurice Bruynooghe},
editor = {Pierre Deransart and
Bernard Lorho and
Jan Maluszynski},
title = {An Application of Abstract Interpretation in Source Level Program
Transformation},
booktitle = {Programming Language Implementation and Logic Programming, 1st International
Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {348},
pages = {35--57},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50820-1\_39},
doi = {10.1007/3-540-50820-1\_39},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/SchreyeB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BruynoogheSK86,
author = {Maurice Bruynooghe and
Danny De Schreye and
Bruno Krekels},
title = {Compiling Control},
booktitle = {Proceedings of the 1986 Symposium on Logic Programming, Salt Lake
City, Utah, USA, September 22-25, 1986},
pages = {70--77},
publisher = {{IEEE-CS}},
year = {1986},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BruynoogheSK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
