Ability and Knowing How in the Situation Calculus (1995)

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

Documents Related by Co-Citation

1483 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
556 The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression – R Reiter - 1991
317 A formal theory of knowledge and action – R C Moore - 1990
231 State Constraints Revisited – Fangzhen Lin, Ray Reiter - 1994
505 GOLOG: A Logic Programming Language for Dynamic Domains – Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl - 1994
416 Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems – R Reiter - 2001
178 What is planning in the presence of sensing – Hector Levesque - 1996
206 ConGolog, a concurrent programming language based on the situation calculus: language and implementation – Yves Lesperance, Hector J. Levesque - 1998
94 The Frame Problem and Knowledge-Producing Actions – Richard B. Scherl, Hector J. Levesque - 1993
41 Knowledge Preconditions for Plans – Ernest Davis - 1994
289 ADL: Exploring the middle ground between STRIPS and the situation calculus – E Pednault - 1989
13 Goals and Rational Action in the Situation Calculus - A Preliminary Report – Steven Shapiro, Yves Lespérance, Hector J. Levesque - 1995
88 A Logical Approach to High-Level Robot Programming --- A Progress Report – Yves Lespérance , Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl - 1994
82 Foundations for the Situation Calculus – Hector Levesque, Fiora Pirri, Ray Reiter - 1998
110 Proving Properties of States in the Situation Calculus – Raymond Reiter - 1993
73 The case for domain-specific frame axioms – A R Haas - 1987
127 Temporal Reasoning in the Situation Calculus – Javier Andrés Pinto - 1994
699 Agent-oriented programming – Y Shoham - 1993
86 An incremental interpreter for high-level programs with sensing – Hector Levesque - 1999