David Gilis

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

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)
Joost Vennekens, David Gilis, Marc Denecker
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log. 7 (4) (2006)
Maarten Mariën, David Gilis, Marc Denecker
On the Relation Between ID-Logic and Answer Set Programming. JELIA (2004)
Joost Vennekens, David Gilis, Marc Denecker
Splitting an Operator. ICLP (2004)
Joost Vennekens, David Gilis, Marc Denecker
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. NMR (2004)
Joost Vennekens, David Gilis, Marc Denecker
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics CoRR (2004)
David Gilis, Marc Denecker
Compositionally results for stratified nonmonotone operators. NMR (2002)
Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker
On the Transformation of Object-Oriented Conceptual Models to Logical Theories. ER (2002)