Search the dblp DataBase

Publications of Author

1. Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker
   On the Transformation of Object-Oriented Conceptual Models to Logical Theories. [Citation Graph (0, 0)][DBLP]
   ER, 2002, pp:152-166 [Conf]
   
2. Joost Vennekens, David Gilis, Marc Denecker
   Splitting an Operator. [Citation Graph (0, 0)][DBLP]
   ICLP, 2004, pp:195-209 [Conf]
   
3. Maarten Mariën, David Gilis, Marc Denecker
   On the Relation Between ID-Logic and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:108-120 [Conf]
   
4. David Gilis, Marc Denecker
   Compositionally results for stratified nonmonotone operators. [Citation Graph (0, 0)][DBLP]
   NMR, 2002, pp:51-56 [Conf]
   
5. Joost Vennekens, David Gilis, Marc Denecker
   Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. [Citation Graph (0, 0)][DBLP]
   NMR, 2004, pp:400-408 [Conf]
   
6. Joost Vennekens, David Gilis, Marc Denecker
   Splitting an operator: Algebraic modularity results for logics with fixpoint semantics [Citation Graph (0, 0)][DBLP]
   CoRR, 2004, v:0, n:, pp:- [Journal]
   
7. Joost Vennekens, David Gilis, Marc Denecker
   Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2006, v:7, n:4, pp:765-797 [Journal]
   
8. Joost Vennekens, David Gilis, Marc Denecker
   Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]