1. Ronald J. Brachman and Hector J. Levesque. Knowledge representation and reasoning . Morgan Kaufmann, Amsterdam ; Boston, 2004.
   Note: 2004046573 Ronald J. Brachman, Hector J. Levesque. Includes bibliographical references (p. 349-375) and index.
   Keywords: situation calculus, honours reading. [download paper ] [bibtex-entry]



2. Raymond Reiter. Knowledge in action : logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge, Mass., 2001.
   Note: The frame problem and the situation calculus.
   Keywords: artificial intelligence, situation calculus, honours reading. [bibtex-entry]

1. Mark Hopkins and Judea Pearl. Causality and Counterfactuals in the Situation Calculus. J Logic Computation, 17(5):955--982, 2007.
   Keywords: honours reading, situation calculus, causality. [bibtex-entry]



2. Francesco Savelli. Existential assertions and quantum levels on the tree of the situation calculus. Artificial Intelligence, 170:643--652, 2006.
   Keywords: honours reading, situation calculus. [bibtex-entry]



3. J. van Benthem, J. van Eijck, and B. Kooi. Logics of communication and change. Information and Computation, 204:1620--1662, 2006.
   Keywords: situation calculus, dynamic logic, honours reading, epistemic logic, propositional dynamic logic. [bibtex-entry]



4. Michael Thielscher. FLUX: A logic programming method for reasoning about agents. Theory and Practice of Logic Programming, 5:533--565, 2005.
   Keywords: agent programming languages, honours reading, situation calculus. [abstract] [bibtex-entry]



5. Sebastian Sardina, Giuseppe De Giacomo, Yves Lesperance, and Hector J. Levesque. On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Annals of Mathematics & Artificial Intelligence, 41(2-4):259--299, 2004.
   Keywords: agent programming languages, modal logic, honours reading, situation calculus, GOLOG. [abstract] [bibtex-entry]



6. Drew McDermott. Ray Reiter's Knowledge in Action: A review. AI Magazine, 24(2):101--103, 2003.
   Keywords: situation calculus, honours reading, artificial intelligence. [bibtex-entry]



7. Richard B. Scherl and Hector J. Levesque. Knowleddge, action, and the frame problem. Artificial Intelligence, 144:1--39, 2003.
   Keywords: situation calculus, honours reading. [bibtex-entry]



8. H. P. Storr. Planning in the fluent calculus using binary decision diagrams. AI Magazine, 22(3):103--105, 2001.
   Keywords: agent programming languages, situation calculus, honours reading. [abstract] [download paper ] [bibtex-entry]



9. G De Giacomo, Y. Lesperance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus.. Artificial Intelligence, 121(1-2):109--169, 2000.
   Keywords: situation calculus, agent programming languages, honours reading, logistics, GOLOG. [bibtex-entry]



10. G. De Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. In H. J. Levesque and F. Pirri, editors,Logical Foundation for cognitive agents: contributions in honor of Ray Reiter, pages 86--102. Springer, Berlin, 1999.
    Keywords: agent programming languages, situation calculus, honours reading. [bibtex-entry]



11. Yves Lesperance. Situation Calculus. In Frank C. Keil and Robert A. Wilson, editors,The MIT encyclopedia of the cognitive sciences, pages 771--772. MIT Press, Cambridge, Mass., 1999.
    Note: 99011115 GB99-44540 edited by Robert A. Wilson and Frank C. Keil. A Bradford book. Includes bibliographical references and indexes.
    Keywords: honours reading, situation calculus, modal logic, model theory. [bibtex-entry]



12. Michael Thielscher. From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem. Artificial Intelligence, 111(1--2):277--299, 1999.
    Keywords: agent programming languages, situation calculus, honours reading. [bibtex-entry]



13. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59--84, 1997.
    Keywords: honours reading, situation calculus, modal logic, model theory, GOLOG. [bibtex-entry]



14. J. McCarthy. Circumscription-a form of non-monotonic reasoning. Artificial Intelligence, 13(1-2):27--39, 1980.
    Note: Netherlands.
    Keywords: honours reading, situation calculus, modal logic, model theory, generalisation, nonmonotonic reasoning. [abstract] [bibtex-entry]

1. Ryan F. Kelly and Adrian R. Pearce. Complex Epistemic Modalities in the Situation Calculus. In International Conference on Principles of Knowledge Representation and Reasoning (KR2008), Sydney, pages 611--620, 2008.
   Keywords: agentlab, agent programming languages, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]



2. Ryan F. Kelly and Adrian R. Pearce. Knowledge and Observations in the Situation Calculus. In ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007), volume 1, Honolulu, Hawaii, USA, pages 841--843, 2007. ACM Press.
   Keywords: agent programming languages, agentlab, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]



3. Ryan F. Kelly and Adrian R. Pearce. Property persistence in the situation calculus. In Manuela M. Veloso, editor, Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), volume 2, Hyderabad, India, pages 1948--1953, 2007. IJCAI.
   Keywords: agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG. [download paper ] [bibtex-entry]



4. Ryan F. Kelly and Adrian R. Pearce. Towards high level programming for distributed problem solving. In Silvia Ceballos, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-06), Hong Kong, pages 490--497, 2006. IEEE Computer Society Press.
   Keywords: agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG, GOLOG. [download paper ] [bibtex-entry]



5. Gerhard Lakemeyer and Hector J. Levesque. Semantics for a useful fragment of the situation calculus. In IJCAI-05, Edinburgh, Scotland, pages 490--496, 2005.
   Keywords: modal logic, agent programming languages, honours reading, hybrid logic, situation calculus. [abstract] [bibtex-entry]



6. Yves Martin. The concurrent, continuous FLUX. In International Joint Conference on Artificial Intelligence (IJCAI), pages 1085--1090, 2003. Morgan Kaufmann.
   Keywords: situation calculus, honours reading, agent programming languages. [bibtex-entry]



7. Patrick Blackburn, Jaap Kamps, and Maarten Marx. Situation Calculus as Hybrid Logic: First Steps. In 10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving; in Lecture Notes In Computer Science; Vol. 2258, pages 253--260, 2001. Springer-Verlag London, UK.
   Keywords: situation calculus, agent programming languages, modal logic, model theory, honours reading. [bibtex-entry]



8. C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI/IAAAI, pages 355--362, 2000.
   Keywords: agent programming languages, situation calculus, honours reading. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.