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

Active Bibliography

500 GOLOG: A Logic Programming Language for Dynamic Domains – Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl - 1994
36 Modality in Dialogue: Planning, Pragmatics and Computation – Matthew Stone - 1998
34 Relating Theories of Action and Reactive Control – Chitta Baral, Son Cao Tran - 1998
14 What robots can do: Robot programs and effective achievability – Fangzhen Lin, Hector Levesque - 1998
3 Experiments in High-Level Robot Control Using ConGolog -- Reactivity, Failure Handling, and Knowledge-Based Search – Kenneth B.L. Tam - 1998
71 Representing Sensing Actions: The Middle Ground Revisited – Keith Golden, Daniel Weld - 1996
36 Causality in Commonsense Reasoning about Actions – Norman Clayton McCain - 1997
74 Formalizing sensing actions -- A transition function based approach – Tran Cao Son , Chitta Baral - 2001
27 On the Semantics of Deliberation in IndiGolog - From Theory to Implementation – Giuseppe De Giacomo, Yves Lesprance - 2003
7 An Experiment in Using Golog to Build a Personal Banking Assistant – Yves Lespérance, Hector J. Levesque, Shane J. Ruman - 1997
2 Indigolog: Execution of guarded action theories – Sebastian Sardiña - 2000
13 Goals and Rational Action in the Situation Calculus - A Preliminary Report – Steven Shapiro, Yves Lespérance, Hector J. Levesque - 1995
34 Planning with Execution and Incomplete Information – Keith Golden, Oren Etzioni, Daniel Weld - 1996
68 Foundations of a Logical Approach to Agent Programming – Yves Lespérance , Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl - 1995
52 Reasoning about Noisy Sensors in the Situation Calculus – Fahiem Bacchus, Joseph Y. Halpern, Hector Levesque - 1995
63 Reasoning about Noisy Sensors and Effectors in the Situation Calculus – Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque - 1998
82 Foundations for the Situation Calculus – Hector Levesque, Fiora Pirri, Ray Reiter - 1998
94 The Frame Problem and Knowledge-Producing Actions – Richard B. Scherl, Hector J. Levesque - 1993
17 SCDBR: An Automated Reasoner for Specifications of Database Updates – Leopoldo Bertossi, Marcelo Arenas, Cristian Ferretti - 1998