Hanne Vlaeminck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2012
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | KR | Ordered Epistemic Logic: Semantics, Complexity and Applications. | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | JELIA | An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2009 | ICLP | Debugging for Model Expansion. | Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
| 2009 | PPDP | A logical framework for configuration software. | Hanne Vlaeminck, Joost Vennekens, Marc Denecker |