Login / Signup
Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete.
Alexander Hertel
Alasdair Urquhart
Published in:
Electron. Colloquium Comput. Complex. (2009)
Keyphrases
</>
exptime complete
description logics
pspace complete
data complexity
expressive description logics
expressive power
np complete
artificial intelligence
decision problems
database
machine learning
reinforcement learning
dynamic programming
model checking
incomplete information
transitive closure