One article by group Knowledge-Based Systems Working Group accepted at LICS 2026
The paper “Computation and Size of Interpolants in Hybrid Logics” by Jean Christoph Jung (TU Dortmund University), Jedrzej Kolodziejski (University of Warsaw), and Frank Wolter (University of Liverpoo …
