Knowledge Formulation for AI Planning.

Thomas Leo McCluskey Ron M. Simpson

Published in: EKAW (2004)

Keyphrases

ai planning
domain knowledge
control knowledge
heuristic search
web service composition
knowledge base
special case
general purpose
planning systems
search engine
search algorithm
model checking
integer programming
service composition
planning domains
planning under uncertainty