Conformant Planning for Domains with Constraints-A New Approach.

Tran Cao Son Phan Huy Tu Michael Gelfond A. Ricardo Morales

Published in: AAAI (2005)

Keyphrases

conformant planning
finite domain
symbolic model checking
constraint satisfaction
global constraints
domain independent
constraint programming
linear constraints
initial state
belief space