Patrick Koopmann

I am an assistant professor in the Knowledge in AI group at the Vrije Universiteit Amsterdam. My research interests are in knowledge representation, automated reasoning annd theoretical computer science, more specifically on description logics and related logical formalisms. I investigate ontology languages, as well as reasoning problems for them, with applications in artificial intelligence in mind.

I studied computer science at the University of Hamburg and did my PhD at The University of Manchester. Afterwards, I worked as postdoctocal researcher at the University of Oxford as well as at the Technical University of Dresden.

My research evolves around foundational topics in knowledge representation and computational logic, considering both theoretical results and practical implementations. Research topics include explanations of logical reasoning, abductive reasoning, Craig interpolation, temporal and probabilistic logics, inconsistency-tolerant reasoning, integrating ontologies into other formalisms, and knowledge base repairs.

If you are a master student at the VU Amsterdam and want to write a Bachelor or Master thesis with me, you can find a list of current topics on this page. Don’t be afraid to contact me by email.

News

The volume “Theory and Applications of Craig Interpolation”, edited by Balder ten Cate, Jean Cristoph Jung, Christoph Wernhard, Frank Wolter and me, will be published this year as Open Access by Ubiquity Press.

Preprints of all chapters are available here.