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

Charles Elkan

Browse the full AI paper archive.