Hanne Vlaeminck

According to our database, Hanne Vlaeminck authored at least 7 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

An approximative inference method for solving ∃∀SO satisfiability problems.

Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe

J. Artif. Intell. Res., 2012

Ordered Epistemic Logic: Semantics, Complexity and Applications.

Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

A General Representation and Approximate Inference Algorithm for Sensing Actions.

Hanne Vlaeminck, Joost Vennekens, Marc Denecker

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

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

Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

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

Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

A logical framework for configuration software.

Hanne Vlaeminck, Joost Vennekens, Marc Denecker

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Debugging for Model Expansion.

Johan Wittocx, Hanne Vlaeminck, Marc Denecker

Proceedings of the Logic Programming, 25th International Conference, 2009