Hypothesizing undetected and occluded three-dimensional features using predicate logic based spatial reasoning.

Michael Magee, Mitchell J. Nathan

Browse the full ICRA paper archive.