2 papers
cs.LO2025
Computation of Interpolants for Description Logic Concepts in Hard Cases
Jean Christoph Jung, Jędrzej Kołodziejski, Frank Wolter
While the computation of Craig interpolants for description logics (DLs) with the Craig Interpolation Property (CIP) is well understood, very little is known about the computation…
cs.DB2024
Extremal Separation Problems for Temporal Instance Queries
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter +1
The separation problem for a class Q of database queries is to find a query in Q that distinguishes between a given set of `positive' and `negative' data examples. Separation provi…