Copertina

Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Henne, Michał, Morawska, Barbara, Parys, Paweł
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FILO -- automated unification in $\mathcal{FL}_0$
di: Morawska, Barbara, et al.
Pubblicazione: (2025)

Solving unification in the description logic $\mathcal{FL}_\bot$
di: Morawska, Barbara, et al.
Pubblicazione: (2024)

A Dichotomy Theorem for Ordinal Ranks in MSO
di: Niwiński, Damian, et al.
Pubblicazione: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
di: Niwiński, Damian, et al.
Pubblicazione: (2023)

SAT-Based Subsumption Resolution
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

SAT Solving for Variants of First-Order Subsumption
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Generalised Quantifiers Based on Rabin-Mostowski Index
di: Kuperberg, Denis, et al.
Pubblicazione: (2026)

Inexpressibility in Exp-Minus-Log
di: Carney, Mark
Pubblicazione: (2026)

Tabular intermediate logics comparison
di: Rzążewski, Paweł, et al.
Pubblicazione: (2025)

A note on Stone-Čech compactification in ZFA
di: Przybyłek, Michał R.
Pubblicazione: (2023)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
di: Craig, Andrew, et al.
Pubblicazione: (2025)

T-BAT semantics and its logics
di: Pawlowski, Pawel
Pubblicazione: (2025)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
di: Castelnovo, Davide, et al.
Pubblicazione: (2024)

The complete classification for quantified equality constraints
di: Zhuk, Dmitriy, et al.
Pubblicazione: (2021)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
di: Alrabbaa, Christian, et al.
Pubblicazione: (2025)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
di: Wrona, Michal
Pubblicazione: (2024)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
di: Borgwardt, Stefan, et al.
Pubblicazione: (2024)

Between proof construction and SAT-solving
di: Schubert, Aleksy, et al.
Pubblicazione: (2024)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2017)

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
di: Cohen, Liron, et al.
Pubblicazione: (2023)

Parametric Iteration in Resource Theories
di: Di Giorgio, Alessandro, et al.
Pubblicazione: (2025)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2018)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Positionality in $Σ_0^2$ and a completeness result
di: Ohlmann, Pierre, et al.
Pubblicazione: (2023)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2018)

The calculus of neo-Peircean relations
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Hybrid Modal Operators for Definite Descriptions
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2024)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
di: Cerna, David M., et al.
Pubblicazione: (2022)

Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation
di: Zhapa-Camacho, Fernando, et al.
Pubblicazione: (2023)

Extracting efficient exact real number computation from proofs in constructive type theory
di: Konečný, Michal, et al.
Pubblicazione: (2022)

Identifying Tractable Quantified Temporal Constraints within Ord-Horn
di: Rydval, Jakub, et al.
Pubblicazione: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
di: Konečný, Michal, et al.
Pubblicazione: (2024)

Witnesses for Fixpoint Games on Lattices
di: König, Barbara, et al.
Pubblicazione: (2026)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
di: Mottet, Antoine, et al.
Pubblicazione: (2021)

Monoidal Width
di: Di Lavore, Elena, et al.
Pubblicazione: (2022)

Timed Strategies for Real-Time Rewrite Theories
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
di: Gogacz, Tomasz, et al.
Pubblicazione: (2026)

Low rank MSO
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2025)