What Robots Can Do: Robot Programs and Effective Achievability

[1]  Hector J. Levesque,et al.  Ability and Knowing How in the Situation Calculus , 2000, Stud Logica.

[2]  Fangzhen Lin,et al.  Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator , 1997, IJCAI.

[3]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[4]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[5]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[6]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[7]  John-Jules Ch. Meyer,et al.  A Logic of Capabilities , 1994, LFCS.

[8]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[9]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[10]  Ernest Davis,et al.  Knowledge Preconditions for Plans , 1993, J. Log. Comput..

[11]  Sarah Rebecca Thomas,et al.  PLACA, an agent oriented programming language , 1993 .

[12]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[13]  Mark A. Peot,et al.  Conditional nonlinear planning , 1992 .

[14]  Marcel Schoppers,et al.  Building plans to monitor and exploit open-loop and closed-loop dynamics , 1992 .

[15]  Maria Gini,et al.  An empirical study of sensing and defaulting in planning , 1992 .

[16]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[17]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[18]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[19]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[20]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[21]  Fangzhen Lin,et al.  On measuring plan quality , 1998, KR 1998.

[22]  R. Hodel.  An Introduction to Mathematical Logic , 1995 .

[23]  Daniel S. Weld,et al.  An Approach to Planning with Incomplete Information , 1992, KR.

[24]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.