Long-Distance Mutual Exclusion for Propositional Planning.

Yixin Chen Zhao Xing Weixiong Zhang

Published in: IJCAI (2007)

Keyphrases

long distance
mutual exclusion
temporal planning
strips planning
heuristic search
planning problems
propositional logic
first order logic
computer technology
planning domains
causal graph
information retrieval
domain independent
planning process
upper layer