Showing 2025Show all
3 papers · 1 filter
cs.AI2025
Interpolation in Knowledge Representation
Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning.…
cs.LO2025
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
Jean Christoph Jung, Jędrzej Kołodziejski
Modal separability for modal fixpoint formulae is the problem to decide for two given modal fixpoint formulae whether there is a modal formula that separates them, in th…
cs.AI2025
SAT-Based Bounded Fitting for the Description Logic ALC
Maurice Funk, Jean Christoph Jung, Tom Voellmer
Bounded fitting is a general paradigm for learning logical formulas from positive and negative data examples, that has received considerable interest recently. We investigate bound…