ExpTime tableaux for ALC using sound global caching
From MaRDI portal
Publication:352943
Recommendations
- EXPtime tableaux for ALC
- An efficient tableau prover using global caching for the description logic \({\mathcal{ALC}}\)
- Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$
- Sound global state caching for ALC with inverse roles
- ExpTime tableaux with global caching for hybrid PDL
Cites work
- A description logic with transitive and inverse roles and role hierarchies
- A near-optimal method for reasoning about action
- A Tableau Calculus for Regular Grammar Logics with Converse
- An efficient tableau prover using global caching for the description logic \({\mathcal{ALC}}\)
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
- An overview of tableau algorithms for description logics
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
- Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
- Cardinality restrictions on concepts
- Checking consistency of an ABox w.r.t. global assumptions in PDL
- Converse-PDL with regular inclusion axioms: a framework for MAS logics
- Efficient loop-check for backward proof search in some non-classical propositional logics
- ExpTime tableau decision procedures for regular grammar logics with converse
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- EXPtime tableaux for ALC
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
- Global caching for coalgebraic description logics
- scientific article; zbMATH DE number 1612595 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 1149405 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 3085803 (Why is no real title available?)
- Modal tableau calculi and interpolation
- Optimal and cut-free tableaux for propositional dynamic logic with converse
- Optimized Reasoning in Description Logics Using Hypertableaux
- Optimizing description logic subsumption
- Practical reasoning for very expressive description logics
- Propositional dynamic logic of regular programs
- Sound global state caching for ALC with inverse roles
- Tableau methods for modal and temporal logics
- Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$
Cited in
(19)- EXPtime tableaux for ALC
- ExpTime tableaux with global caching for hybrid PDL
- Reasoning with global assumptions in arithmetic modal logics
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
- Optimal tableau algorithms for coalgebraic logics
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
- Description Logics
- Improvement of a tableau-based algorithm and the finite-step halting theorem
- Sound global state caching for ALC with inverse roles
- ExpTime tableaux with global caching for graded propositional dynamic logic
- Consequence-based and fixed-parameter tractable reasoning in description logics
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
- An efficient tableau prover using global caching for the description logic \({\mathcal{ALC}}\)
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
- Global caching for coalgebraic description logics
- Coalgebraic semantics of modal logics: an overview
- Coalgebraic satisfiability checking for arithmetic -calculi
- Verified tableaux: from modal logics to modal fixpoint logics
This page was built for publication: ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q352943)
