Logical and Decision-Theoretic Methods for Planning under Uncertainty