David Gilis

According to our database, David Gilis authored at least 7 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

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

Joost Vennekens, David Gilis, Marc Denecker

ACM Trans. Comput. Log., 2007

2006

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

Joost Vennekens, David Gilis, Marc Denecker

ACM Trans. Comput. Log., 2006

2004

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

Joost Vennekens, David Gilis, Marc Denecker

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

On the Relation Between ID-Logic and Answer Set Programming.

Maarten Mariën, David Gilis, Marc Denecker

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Splitting an Operator.

Joost Vennekens, David Gilis, Marc Denecker

Proceedings of the Logic Programming, 20th International Conference, 2004

2002

Compositionally results for stratified nonmonotone operators.

David Gilis, Marc Denecker

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

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

Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker

Proceedings of the Conceptual Modeling, 2002