Ability and Knowing How in the Situation Calculus (1995)

by Yves Lesperance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
Venue:Studia Logica