Global Caching for Coalgebraic Description Logics (Q5747750): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1504701661
@@ Property / OpenAlex ID: W1504701661 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptual Structures for Knowledge Creation and Communication
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based Decision Procedures for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux for the Coalgebraic μ-Calculus
@@ Property / cites work: EXPTIME Tableaux for the Coalgebraic μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Finality regained: A coalgebraic study of Scott-sets and multisets
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Tableau Algorithms for Coalgebraic Logics
@@ Property / cites work: Optimal Tableau Algorithms for Coalgebraic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
+Normal rank
@@ Property / cites work @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Hybrid Logic
@@ Property / cites work: Coalgebraic Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Cut elimination in coalgebraic logics
@@ Property / cites work: Cut elimination in coalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+A finite model construction for coalgebraic modal logic
+Normal rank
@@ Property / cites work @@
+Modular Algorithms for Heterogeneous Modal Logics
@@ Property / cites work: Modular Algorithms for Heterogeneous Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE bounds for rank-1 modal logics
@@ Property / cites work: PSPACE bounds for rank-1 modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank