Author:
Publication: Artificial Intelligence
Effective footstep planning using homotopy-class guidance
Boolean algebras of conditionals, probability and logic