Reasoning about Unknown, Counterfactual, and Nondeterministic Actions in First-Order Logic.

Charles Elkan Reasoning about Unknown, Counterfactual, and Nondeterministic Actions in First-Order Logic. 54-68 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Elkan96