Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Interpolation in Classical Propositional Logic
Patrick Koopmann, Christoph Wernhard, Frank Wolter
We introduce Craig interpolation and related notions such as uniform interpolation, Beth definability, and theory decomposition in classical propositional logic. We present four ap…
cs.LO2026
The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ELbot
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Abduction is a central approach to explain missing entailments from a knowledge base by providing a hypothesis, that would, if added to the knowledge base, make the missing entailm…
cs.LO2026
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applicati…