ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
From MaRDI portal
Publication:352943
DOI10.1007/s10817-011-9243-0zbMath1361.68188MaRDI QIDQ352943
Publication date: 5 July 2013
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-011-9243-0
modal logic; description logic; global caching complexity-optimal tableaux; tableau-based decision procedures
Related Items
An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description), Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Uses Software