Assistant professor at the Knowledge in Artificial Intelligence group at the Vrije Universiteit Amsterdam. Research interests: automated reasoning, knowledge representation, symbolic AI, semantic technologies, ontologies, description logics.
This is a page not in the menu. You can use markdown in this page.