6 papers
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…
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…
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.…
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…
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…
Modal Separability of Fixpoint Formulae
Jean Christoph Jung, Jędrzej Kołodziejski
We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae , decide whether there is a modal formula that separates them, that is,…