Equivalence and Tractability Results for SAS+ Planning.

Christer Bäckström

Published in: KR (1992)

Keyphrases

constraint satisfaction
decision support
planning problems
heuristic search
description logics
np complete
orders of magnitude
ai planning
real time
expert systems
np hard
domain independent
plan generation
blocks world