Sensing Actions, Time, and Concurrency in the Situation Calculus

This publication has 7 references indexed in Scilit:

• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
  Artificial Intelligence, 2000
• Ability and Knowing How in the Situation Calculus
  Studia Logica, 2000
• GOLOG: A logic programming language for dynamic domains
  The Journal of Logic Programming, 1997
• A circumscriptive calculus of events
  Artificial Intelligence, 1995
• Indexical knowledge and robot action—a logical account
  Artificial Intelligence, 1995
• State Constraints Revisited
  Journal of Logic and Computation, 1994
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  Published by Elsevier ,1991