
Search the dblp DataBase
David Gilis:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker
On the Transformation of ObjectOriented Conceptual Models to Logical Theories. [Citation Graph (0, 0)][DBLP] ER, 2002, pp:152166 [Conf]
 Joost Vennekens, David Gilis, Marc Denecker
Splitting an Operator. [Citation Graph (0, 0)][DBLP] ICLP, 2004, pp:195209 [Conf]
 Maarten Mariën, David Gilis, Marc Denecker
On the Relation Between IDLogic and Answer Set Programming. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:108120 [Conf]
 David Gilis, Marc Denecker
Compositionally results for stratified nonmonotone operators. [Citation Graph (0, 0)][DBLP] NMR, 2002, pp:5156 [Conf]
 Joost Vennekens, David Gilis, Marc Denecker
Splitting an operator: an algebraic modularity result and its application to autoepistemic logic. [Citation Graph (0, 0)][DBLP] NMR, 2004, pp:400408 [Conf]
 Joost Vennekens, David Gilis, Marc Denecker
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp: [Journal]
 Joost Vennekens, David Gilis, Marc Denecker
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:4, pp:765797 [Journal]
 Joost Vennekens, David Gilis, Marc Denecker
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp: [Journal]
Search in 0.022secs, Finished in 0.023secs
