Abduction in logic programming M Denecker, A Kakas Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002 | 235 | 2002 |

Well-founded and stable semantics of logic programs with aggregates N Pelov, M Denecker, M Bruynooghe Theory and Practice of Logic Programming 7 (3), 301-353, 2007 | 170 | 2007 |

A logic of nonmonotone inductive definitions M Denecker, E Ternovska ACM transactions on computational logic (TOCL) 9 (2), 1-52, 2008 | 157 | 2008 |

CP-logic: A language of causal probabilistic events and its relation to logic programming J Vennekens, M Denecker, M Bruynooghe Theory and practice of logic programming 9 (3), 245-308, 2009 | 147 | 2009 |

Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning M Denecker, V Marek, M Truszczyński Logic-based artificial intelligence, 127-144, 2000 | 144 | 2000 |

The second answer set programming competition M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009 | 143 | 2009 |

SLDNFA: an abductive procedure for abductive logic programs M Denecker, D De Schreye The journal of logic programming 34 (2), 111-167, 1998 | 134 | 1998 |

Representing incomplete knowledge in abductive logic programming M Denecker, D De Schreye Journal of Logic and Computation 5 (5), 553-577, 1995 | 131 | 1995 |

Uniform semantic treatment of default and autoepistemic logics M Denecker, VW Marek, M Truszczyński Artificial Intelligence 143 (1), 79-122, 2003 | 123 | 2003 |

Extending classical logic with inductive definitions M Denecker Computational Logic—CL 2000: First International Conference London, UK …, 2000 | 121 | 2000 |

SLDNFA: an abductive procedure for normal abductive programs M Denecker, D De Schreye Proc. of the International Joint Conference and Symposium on Logic …, 1992 | 118 | 1992 |

Temporal reasoning with abductive event calculus M Denecker, L Missiaen, M Bruynooghe Proceedings of the 10th European Conference on Artificial Intelligence …, 1992 | 113 | 1992 |

A-system: Problem solving through abduction AC Kakas, B Van Nuffelen, M Denecker Proceedings of the seventeenth international joint conference on artificial …, 2001 | 109 | 2001 |

Predicate logic as a modeling language: the IDP system B De Cat, B Bogaerts, M Bruynooghe, G Janssens, M Denecker Declarative Logic Programming: Theory, Systems, and Applications, 279-323, 2018 | 97 | 2018 |

The idp system: a model expansion system for an extension of classical logic J Wittocx, M Mariën, M Denecker Proceedings of the 2nd Workshop on Logic and Search, 153-165, 2008 | 92 | 2008 |

Ultimate approximation and its application in nonmonotonic knowledge representation systems M Denecker, VW Marek, M Truszczyński Information and Computation 192 (1), 84-121, 2004 | 89 | 2004 |

Logic programming revisited: Logic programs as inductive definitions M Denecker, M Bruynooghe, V Marek ACM Transactions on Computational Logic 2 (4), 623-654, 2001 | 86 | 2001 |

Inductive situation calculus M Denecker, E Ternovska Artificial Intelligence 171 (5-6), 332-360, 2007 | 82 | 2007 |

Ultimate well-founded and stable semantics for logic programs with aggregates M Denecker, N Pelov, M Bruynooghe Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus …, 2001 | 81 | 2001 |

SAT (ID): Satisfiability of propositional logic extended with inductive definitions M Mariën, J Wittocx, M Denecker, M Bruynooghe Theory and Applications of Satisfiability Testing–SAT 2008: 11th …, 2008 | 69 | 2008 |