1. Alberti, M., Daolio, D., Torroni, P.: Specification and Verification of Agent Interaction Protocols in a Logic-based System. In: SAC 2004 (March 2004)
2. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and AI 22, 5–27 (1998)
3. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation. Special Issue on Computational Aspects of Multi-Agent Systems 8(3), 401–423 (1998)
4. Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model Checking AgentSpeak. In: AAMAS 2003, pp. 409–416 (2003)
5. Calvanese, D., De Giacomo, G., Vardi, M.Y.: Reasoning about Actions and Planning in LTL Action Theories. In: Proc. KR 2002 (2002)