Bayesian Programming

Probability as an extension of logic

Robotics