bibliographer - Jean Christoph Jung

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Computation and Size of Interpolants for Hybrid Modal Logics Jean Christoph Jung Jędrzej Kołodziejski Frank Wolter [github]

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic Jean Christoph Jung Jędrzej Kołodziejski [github]

Modal Separability of Fixpoint Formulae Jean Christoph Jung Jędrzej Kołodziejski [github]

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles Thomas Gogacz Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Jean Christoph Jung Filip Murlak [github]

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals Alessandro Artale Jean Christoph Jung Andrea Mazzullo Ana Ozaki Frank Wolter [github]

Logical Separability of Incomplete Data under Ontologies Jean Christoph Jung Carsten Lutz Hadrien Pulcini Frank Wolter [github]

Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment Jean Christoph Jung Frank Wolter [github]

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles Tomasz Gogacz Víctor Gutiérrez-Basulto Yazmin Ibáñez-García Jean Christoph Jung Filip Murlak [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]