David Gilis
According to our database1,
David Gilis
authored at least 7 papers
between 2002 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
2002
2003
2004
2005
2006
2007
0
1
2
3
4
1
1
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log., 2007
2006
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log., 2006
2004
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2002
Compositionally results for stratified nonmonotone operators.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Proceedings of the Conceptual Modeling, 2002