| 2007 |
|---|
| 8 | EE | 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 |
|---|
| 7 | EE | 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 |
|---|
| 6 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Splitting an Operator.
ICLP 2004: 195-209 |
| 5 | EE | Maarten Mariën,
David Gilis,
Marc Denecker:
On the Relation Between ID-Logic and Answer Set Programming.
JELIA 2004: 108-120 |
| 4 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic.
NMR 2004: 400-408 |
| 3 | EE | Joost Vennekens,
David Gilis,
Marc Denecker:
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
CoRR cs.AI/0405002: (2004) |
| 2002 |
|---|
| 2 | EE | 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 |
| 1 | | David Gilis,
Marc Denecker:
Compositionally results for stratified nonmonotone operators.
NMR 2002: 51-56 |
