32 citations · 72 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 8 cited
Generalized Satisfiability for the Description Logic ALC
Arne Meier, Thomas Schneider
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIME-complete in the presence of unrestricted axioms. Se…
cs.LO2011★ 9 cited
Model Checking CTL is Almost Always Inherently Sequential
Olaf Beyersdorff, Arne Meier, Martin Mundhenk +3
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the…