4 papers
Bridging Dependence: From Opinion Leader Influence to Standard Correlation Measures
Jonas Karge
As a cornerstone result of social choice and democracy the- ory, the Condorcet Jury Theorem (CJT) provides probabilistic guaran- tees for the correctness of majority decisions unde…
Epistemic Filtering and Collective Hallucination: A Jury Theorem for Confidence-Calibrated Agents
Jonas Karge
We investigate the collective accuracy of heterogeneous agents who learn to estimate their own reliability over time and selectively abstain from voting. While classical epistemic…
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Tim S. Lyon, Jonas Karge
We introduce a constructive method applicable to a large number of description logics (DLs) for establishing the concept-based Beth definability property (CBP) based on sequent sys…
Uniform and Modular Sequent Systems for Description Logics
Tim Lyon, Jonas Karge
We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common d…