What Are the Limitations of the Situation Calculus?

This publication has 7 references indexed in Scilit:

• Monotonic Solution of The Frame Problem in The Situation Calculus
  Published by Springer Nature ,1990
• Miracles in formal theories of action
  Artificial Intelligence, 1989
• Nonmonotonic logic and temporal projection
  Artificial Intelligence, 1987
• FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK
  Published by Elsevier ,1987
• A logic-based calculus of events
  New Generation Computing, 1986
• Applications of circumscription to formalizing common-sense knowledge
  Artificial Intelligence, 1986
• Towards a general theory of action and time
  Artificial Intelligence, 1984