Theories of Intentions in the Framework of Situation Calculus

This publication has 9 references indexed in Scilit:

• Dynamics of Declarative Goals in Agent Programming
  Published by Springer Nature ,2005
• Verification within the KARO Agent Theory
  Published by Springer Nature ,2001
• Knowledge in Action
  Published by MIT Press ,2001
• Some contributions to the metatheory of the situation calculus
  Journal of the ACM, 1999
• GOLOG: A logic programming language for dynamic domains
  The Journal of Logic Programming, 1997
• AgentSpeak(L): BDI agents speak out in a logical computable language
  Published by Springer Nature ,1996
• On the difference between updating a knowledge base and revising it
  Published by Cambridge University Press (CUP) ,1992
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  Published by Elsevier ,1991
• Intention is choice with commitment
  Artificial Intelligence, 1990