Ability and Knowing How in the Situation Calculus (1995)

by Yves Lesperance , Hector J. Levesque , Fangzhen Lin , Richard B. Scherl
Venue:Studia Logica
Citations:25 - 13 self