a nondeterministic search problem in belief space. In this work, we use ideas advanced
recently for compiling conformant problems into classical ones for introducing a different
approach where contingent problems P are mapped into non-deterministic problems X (P) in
state space. We also identify a contingent width parameter, and show that for problems P
with bounded contingent width, the translation is sound, polynomial, and complete. We then …