Leo Dorst Michiel van Lambalgen Frans Voorbraak 1-6 1995 conf/rur/1995 Reasoning with Uncertainty in Robotics db/conf/rur/rur1995.html#DorstLV95