Pages that link to "Item:Q352943"
From MaRDI portal
The following pages link to ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943):
Displaying 12 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) (Q3541710) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- Description Logics (Q3638996) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
