David Gilis Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joost Vennekens, David Gilis, Marc Denecker: Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log. 8(1) (2007)
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joost Vennekens, David Gilis, Marc Denecker: Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log. 7(4): 765-797 (2006)
2004
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joost Vennekens, David Gilis, Marc Denecker: Splitting an Operator. ICLP 2004: 195-209
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maarten Mariën, David Gilis, Marc Denecker: On the Relation Between ID-Logic and Answer Set Programming. JELIA 2004: 108-120
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joost Vennekens, David Gilis, Marc Denecker: Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. NMR 2004: 400-408
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joost Vennekens, David Gilis, Marc Denecker: Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. CoRR cs.AI/0405002 (2004)
2002
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker: On the Transformation of Object-Oriented Conceptual Models to Logical Theories. ER 2002: 152-166
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Gilis, Marc Denecker: Compositionally results for stratified nonmonotone operators. NMR 2002: 51-56

Coauthor Index

1Pieter Bekaert
[c2]
2Maurice Bruynooghe
[c2]
3Marc Denecker
[j2] [j1] [c5] [c4] [c3] [i1] [c2] [c1]
4Maarten Mariën
[c4]
5Bert Van Nuffelen
[c2]
6Joost Vennekens
[j2] [j1] [c5] [c3] [i1]
Last update Sun May 19 00:36:16 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page