Ability and Knowing How in the Situation Calculus

• 1 January 2000
• journal article
• Published by Springer Nature in Studia Logica
• Vol. 66  (1) , 165-186
• https://doi.org/10.1023/a:1026761331498

Abstract

Keywords

• FRAME
• CALCULUS
• AGENT
• GOOD
• KNOW
• FORMAL
• PLANNERS
• PREREQUISITE
• CORRECTLY
• HANDLES