Hanne Vlaeminck

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Epistemic Logic

Mathematical Theory

Satisfiability Problem

Top Venues

J. Artif. Intell. Res.

Australasian Conference on Artificial Intelligence

Publications

Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An approximative inference method for solving ∃∀SO satisfiability problems. J. Artif. Intell. Res. 45 (2012)
Hanne Vlaeminck, Joost Vennekens, Marc Denecker
A General Representation and Approximate Inference Algorithm for Sensing Actions. Australasian Conference on Artificial Intelligence (2012)
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Ordered Epistemic Logic: Semantics, Complexity and Applications. KR (2012)
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. JELIA (2010)
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
Debugging for Model Expansion. ICLP (2009)
Hanne Vlaeminck, Joost Vennekens, Marc Denecker
A logical framework for configuration software. PPDP (2009)