Langlotz, C.; Shortliffe, E. H. Logic and Decision-Theoretic Methods for Planning under Uncertainty. AIMag 1989, 10, 39.