Global Caching for Coalgebraic Description Logics
From MaRDI portal
Publication:5747750
DOI10.1007/978-3-642-14203-1_5zbMath1291.03017OpenAlexW1504701661MaRDI QIDQ5747750
Rajeev Goré, Lutz Schröder, Clemens Kupke, Dirk Pattinson
Publication date: 14 September 2010
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Uses Software
Cites Work
- Unnamed Item
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Cut elimination in coalgebraic logics
- Bisimulation through probabilistic testing
- Finality regained: A coalgebraic study of Scott-sets and multisets
- EXPtime tableaux for ALC
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- A finite model construction for coalgebraic modal logic
- PSPACE bounds for rank-1 modal logics
- Tableau-based Decision Procedures for Hybrid Logic
- Optimal Tableau Algorithms for Coalgebraic Logics
- Coalgebraic Hybrid Logic
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- Optimizing description logic subsumption
- On the synthesis of strategies in infinite games
- Modular Algorithms for Heterogeneous Modal Logics
- Termination for Hybrid Tableaus
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
- Conceptual Structures for Knowledge Creation and Communication
This page was built for publication: Global Caching for Coalgebraic Description Logics
