2 papers
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.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…