Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Bounded Fitting for Expressive Description Logics
Maurice Funk, Jean Christoph Jung, Tom Voellmer
Bounded fitting is an attractive paradigm for learning logical formulas from labeled data examples that offers PAC-style generalization guarantees and can often be implemented leve…
cs.LO2026
Computation and Size of Interpolants for Hybrid Modal Logics
Jean Christoph Jung, Jędrzej Kołodziejski, Frank Wolter
Recent research has established complexity results for the problem of deciding the existence of interpolants in logics lacking the Craig Interpolation Property (CIP). The proof tec…