Logic-Based Knowledge
Representation. In particular, expressing knowledge processing
operations in semantically founded and integrable ways by variants of
second-order quantifier elimination. Automated Theorem Proving in
First-Order Logic, along with generalizations such as Craig
interpolation and second-order quantifier elimination. Practical
applications of knowledge-based techniques.
Book project:
Theory and Applications
of Craig Interpolation Edited by Balder ten Cate, Jean
Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank
Wolter. To appear in 2025/2026, open access.