The following pages link to EXPtime tableaux for ALC (Q1589576):
Displaying 27 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- On the complexities of consistency checking for restricted UML class diagrams (Q1044829) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices (Q1714715) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) (Q3541710) (← links)
- Description Logics (Q3638996) (← links)
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Q4779588) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy (Q5268422) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)
- The Probabilistic Description Logic (Q6063856) (← links)
