David Gilis

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics

M. Denecker, Joost Vennekens, David Gilis, 2004, TOCL.

Compositionally results for stratified nonmonotone operators

Marc Denecker, David Gilis, M. Denecker, 2002, NMR.

On the Transformation of Object-Oriented Conceptual Models to Logical Theories

Maurice Bruynooghe, Bert Van Nuffelen, Pieter Bekaert, 2002, ER.

On the Relation Between ID-Logic and Answer Set Programming

Maarten Mariën, Marc Denecker, David Gilis, 2004, JELIA.

Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic

Joost Vennekens, Marc Denecker, David Gilis, 2004, NMR.

Logic Programming

Joost Vennekens, Marc Denecker, David Gilis, 2004, Lecture Notes in Computer Science.

Splitting an Operator

Joost Vennekens, Marc Denecker, David Gilis, 2004, ICLP.

Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics

Joost Vennekens, Marc Denecker, David Gilis, 2004, TOCL.