A survey paper has been accepted at SUM, which looks at the semantics for integrating first-order logic, probability & action. In particular, the situation calculus, a dialect of first-order logic, is considered as the underlying representation language. Preprint here.