1. Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Directions for agent model checking. In: this volume, Chapter 4
2. Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J. Ch.: A Programming Logic for part of the Agent Language 3APL . In: J. Rash (ed.) Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems , pp. 78–89. Springer-Verlag (2001)
3. Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression . In: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press (1991)
4. Alechina, N., Dastani, M., Logan, B., Meyer, J.-J. Ch.: Reasoning about agent deliberation. In: G. Brewka, J. Lang (eds.) Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR’08), pp. 16–26. AAAI, Sydney, Australia (2008)
5. Liu, Y.: A Hoare-style proof system for robot programs . In: Proceedings of the Eighteenth National Conference on Artificial intelligence (AAAI/IAAI’02), pp. 74 – 79 (2002)