Debugging for Model Expansion. - Johan Wittocx; Hanne Vlaeminck; Marc Denecker (ICLP, 2009)

A logical framework for configuration software. - Hanne Vlaeminck; Joost Vennekens; Marc Denecker (PPDP, 2009)

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. - Hanne Vlaeminck; Johan Wittocx; Joost Vennekens; Marc Denecker; Maurice Bruynooghe (JELIA, 2010)

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. - Marc Denecker; Joost Vennekens; Hanne Vlaeminck; Johan Wittocx; Maurice Bruynooghe (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

A General Representation and Approximate Inference Algorithm for Sensing Actions. - Hanne Vlaeminck; Joost Vennekens; Marc Denecker (Australasian Conference on Artificial Intelligence, 2012)

Ordered Epistemic Logic: Semantics, Complexity and Applications. - Hanne Vlaeminck; Joost Vennekens; Maurice Bruynooghe; Marc Denecker (KR, 2012)

An approximative inference method for solving ∃∀SO satisfiability problems. - Hanne Vlaeminck; Joost Vennekens; Marc Denecker; Maurice Bruynooghe (J. Artif. Intell. Res., 2012)