Patrick Koopmann is an Assistant Professor in the Knowledge in AI group at the Vrije Universiteit Amsterdam. His research interests are in knowledge representation, automated reasoning and theoretical computer science, more specifically on description logics and related logical formalisms. He investigates ontology languages, as well as reasoning problems for them, with applications in artificial intelligence in mind.
His research revolves 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.
