Ability and Knowing How in the Situation Calculus (1995)

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

Documents Related by Co-Citation

1586 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
335 A formal theory of knowledge and action – R Moore - 1985
584 The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression – R Reiter - 1991
464 Knowledge in Action: Logical Foundations for Specifying & Implementing Dynamical Systems – R Reiter
544 GOLOG: A Logic Programming Language for Dynamic Domains – Hector J. Levesque, Raymond Reiter, Yves LespĂ©rance, Fangzhen Lin, Richard B. Scherl - 1994
230 State Constraints Revisited – Fangzhen Lin, Ray Reiter - 1994
221 ConGolog, a concurrent programming language based on the situation calculus: language and implementation – Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque - 2000
186 What is planning in presence of sensing – H J Levesque - 1996
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981