BibTeX records: David Gilis

download as .bib file

@article{DBLP:journals/tocl/VennekensGD07,
  author    = {Joost Vennekens and
               David Gilis and
               Marc Denecker},
  title     = {Erratum to splitting an operator: Algebraic modularity results for
               logics with fixpoint semantics},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {8},
  number    = {1},
  pages     = {7},
  year      = {2007},
  url       = {https://doi.org/10.1145/1182613.1189735},
  doi       = {10.1145/1182613.1189735},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tocl/VennekensGD07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/VennekensGD06,
  author    = {Joost Vennekens and
               David Gilis and
               Marc Denecker},
  title     = {Splitting an operator: Algebraic modularity results for logics with
               fixpoint semantics},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {7},
  number    = {4},
  pages     = {765--797},
  year      = {2006},
  url       = {https://doi.org/10.1145/1183278.1183284},
  doi       = {10.1145/1183278.1183284},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tocl/VennekensGD06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VennekensGD04,
  author    = {Joost Vennekens and
               David Gilis and
               Marc Denecker},
  editor    = {Bart Demoen and
               Vladimir Lifschitz},
  title     = {Splitting an Operator},
  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     = {195--209},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-27775-0\_14},
  doi       = {10.1007/978-3-540-27775-0\_14},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/iclp/VennekensGD04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MarienGD04,
  author    = {Maarten Mari{\"{e}}n and
               David Gilis and
               Marc Denecker},
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Jo{\~{a}}o Alexandre Leite},
  title     = {On the Relation Between ID-Logic and Answer Set Programming},
  booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3229},
  pages     = {108--120},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-30227-8\_12},
  doi       = {10.1007/978-3-540-30227-8\_12},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/jelia/MarienGD04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/VennekensGD04,
  author    = {Joost Vennekens and
               David Gilis and
               Marc Denecker},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Splitting an operator: an algebraic modularity result and its application
               to auto-epistemic logic},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {400--408},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper52.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/VennekensGD04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0405002,
  author    = {Joost Vennekens and
               David Gilis and
               Marc Denecker},
  title     = {Splitting an operator: Algebraic modularity results for logics with
               fixpoint semantics},
  journal   = {CoRR},
  volume    = {cs.AI/0405002},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs/0405002},
  timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/cs-AI-0405002.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BekaertNBGD02,
  author    = {Pieter Bekaert and
               Bert Van Nuffelen and
               Maurice Bruynooghe and
               David Gilis and
               Marc Denecker},
  editor    = {Stefano Spaccapietra and
               Salvatore T. March and
               Yahiko Kambayashi},
  title     = {On the Transformation of Object-Oriented Conceptual Models to Logical
               Theories},
  booktitle = {Conceptual Modeling - {ER} 2002, 21st International Conference on
               Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2503},
  pages     = {152--166},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45816-6\_21},
  doi       = {10.1007/3-540-45816-6\_21},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/er/BekaertNBGD02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GilisD02,
  author    = {David Gilis and
               Marc Denecker},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Compositionally results for stratified nonmonotone operators},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {51--56},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/GilisD02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics