arXiv 2003-11-20 EN Using Counterfactuals in Knowledge-Based Programming Halpern, Joseph Y. · Moses, Yoram