Login / Signup
Generalized Complexity of ALC Subsumption
Arne Meier
Published in:
CoRR (2012)
Keyphrases
</>
description logics
computational complexity
upper bound
worst case
multiscale
space complexity
reasoning tasks