-probabilistic calculus for vagueness. In Unpublished manuscript, 2010. Subm. YKL+04. Sanghoon We, Jinwook Kim, Sung Hee Lee, Frank Chongwoo Park, Wooram Park, Junggon Kim, Changbeom Park, mid Intaeck Yeo. A modular object-oriented framework for hierarchical multi- resolution robot simulation. Robotics, 22