1. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and AI 22, 5–27 (1998)
2. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation 8(3), 401–423 (1998); special Issue on Computational Aspects of Multi-Agent Systems
3. Calvanese, D., De Giacomo, G., Vardi, M.Y.: Reasoning about Actions and Planning in LTL Action Theories. In: Proc. KR 2002 (2002)
4. Cohen, P., Levesque, H.: Communicative actions for artificial agents. In: Int. Conf. on Multi Agent Systems, pp. 65–72. MIT Press, Cambridge (1995)
5. De Giacomo, G., Lespérance, Y., Levesque, H.J.: ConGolog, a concurrent programing language based on the situation calculus. Artificial Intelligence 121, 109–169 (2000)