Hanne Vlaeminck

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology

Maurice Bruynooghe, Joost Vennekens, Johan Wittocx, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

A General Representation and Approximate Inference Algorithm for Sensing Actions

Joost Vennekens, Marc Denecker, Hanne Vlaeminck, 2012, Australasian Conference on Artificial Intelligence.

A logical framework for configuration software

Joost Vennekens, Marc Denecker, Hanne Vlaeminck, 2009, PPDP '09.

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems

Maurice Bruynooghe, Joost Vennekens, Johan Wittocx, 2010, JELIA.

An approximative inference method for solving ∃∀SO satisfiability problems

Maurice Bruynooghe, Joost Vennekens, Marc Denecker, 2012, J. Artif. Intell. Res..

Debugging for Model Expansion

Johan Wittocx, Marc Denecker, Hanne Vlaeminck, 2009, ICLP.

Ordered Epistemic Logic: Semantics, Complexity and Applications

Maurice Bruynooghe, Joost Vennekens, Marc Denecker, 2012, KR.

Applications of Feasible Inference for Expressive Logics (Toepassingen van efficiënt redeneren voor expressieve logica's)

Hanne Vlaeminck, H. Vlaeminck, 2012 .