Autonomous exploration and mapping of abandoned mines
Probabilistic reasoning in intelligent systems: Networks of plausible inference