Login / Signup
Hanne Vlaeminck
Publication Activity (10 Years)
Years Active: 2009-2012
Publications (10 Years): 0
Top Topics
Epistemic Logic
Mathematical Theory
Model Checker
Satisfiability Problem
Top Venues
J. Artif. Intell. Res.
KR
Australasian Conference on Artificial Intelligence
</>
Publications
</>