13 citations · 17 across the 2 of their papers we have counts for
3 papers
cs.LO2013★ 4 cited
Refinement in the Tableau Synthesis Framework
Dmitry Tishkovsky, Renate A. Schmidt
This paper is concerned with the possibilities of refining and improving calculi generated in the tableau synthesis framework. A general method in the tableau synthesis framework a…
cs.LO2012★ 13 cited
Using Tableau to Decide Description Logics with Full Role Negation and Identity
Renate A. Schmidt, Dmitry Tishkovsky
This paper presents a tableau approach for deciding expressive description logics with full role negation and role identity. We consider the description logic ALBOid, which is the…
cs.LO2011
Automated Synthesis of Tableau Calculi
Renate A. Schmidt, Dmitry Tishkovsky
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau in…