Enhancing HTN Planning as Satisfability.

Amol Dattatraya Mali

Published in: Artificial Intelligence and Soft Computing (2000)

Keyphrases

general purpose
htn planning
planning domains
planning problems
planning systems
hierarchical task network
ai planning
genetic algorithm
np complete
model checking
qualitative and quantitative
description language