One article by group Knowledge-Based Systems Working Group accepted at LICS 2026
One article by group Knowledge-Based Systems has been 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 Liverpool) has been accepted at Forty-First Annual Symposium on Logic in Computer Science (LICS).
The full version is available on arXiv: https://arxiv.org/abs/2602.15821