M. E. Bratman, D. J. Israel, and M. E. Pollack, Plans and resource-bounded practical reasoning, Computational Intelligence, vol.2, issue.3, pp.349-355, 1988.
DOI : 10.1016/0004-3702(84)90053-5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.3487

J. Doyle, RATIONALITY AND ITS ROLES IN REASONING, Computational Intelligence, vol.18, issue.11, pp.376-416, 1992.
DOI : 10.1177/0272989X8900900407

L. A. Dennis, M. Fisher, M. P. Webster, and R. H. Bordini, Model checking agent programming languages, Automated Software Engineering, vol.10, issue.2, pp.5-63, 2012.
DOI : 10.1007/s10515-011-0088-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.3916

Y. Shoham, Agent-oriented programming, Artificial Intelligence, vol.60, issue.1, pp.51-92, 1993.
DOI : 10.1016/0004-3702(93)90034-9

A. El-fallah-seghrouchni and A. Suna, CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents, PROMAS, pp.90-110, 2003.
DOI : 10.1007/978-3-540-25936-7_5

R. H. Bordini, J. F. Hübner, and R. Vieira, Jason and the golden fleece of agent-oriented programming Multi-agent programming : languages, platforms and applications.; no. 15 in Multiagent Systems, Artificial Societies, and Simulated Organizations, pp.3-37, 2005.

S. Sardina, L. De-silva, and L. Padgham, Hierarchical planning in BDI agent programming languages, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.1001-1008, 2006.
DOI : 10.1145/1160633.1160813

S. Kouah, D. E. Sa¨?dounisa¨?douni, and J. M. Ilié, Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems, Journal of Software, vol.8, issue.3, pp.587-602, 2013.
DOI : 10.4304/jsw.8.3.587-602

K. Schild, On the Relationship between BDI Logics and Standard Logics of Concurrency, Autonomous Agents and Multi-Agent Systems, vol.3, issue.3, pp.259-283, 2000.
DOI : 10.1007/3-540-49057-4_4

A. C. Chaouche, A. El-fallah-seghrouchni, J. M. Ilié, and D. E. Sa¨?dounisa¨?douni, A Higher-order Agent Model for Ambient Systems, The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks, pp.156-163, 2013.
DOI : 10.1016/j.procs.2013.09.022
URL : https://hal.archives-ouvertes.fr/hal-00879176

A. S. Rao and M. P. Georgeff, An abstract architecture for rational agents, pp.439-449, 1992.

I. Icard, T. F. Pacuit, E. Shoham, and Y. , Joint revision of beliefs and intention, Principles of Knowledge Representation and Reasoning, pp.572-574, 2010.

J. Grant, S. Kraus, D. Perlis, and M. Wooldridge, Postulates for revising BDI structures, Synthese, vol.155, issue.2, pp.39-62, 2010.
DOI : 10.1007/s11229-010-9735-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2817

W. Hoek, W. Jamroga, and M. Wooldridge, Towards a theory of intention revision, Synthese, vol.9, issue.4, pp.265-290, 2007.
DOI : 10.1007/s11229-006-9145-6

S. Shapiro, S. Sardina, J. Thangarajah, L. Cavedon, and L. Padgham, Revising conflicting intention sets in bdi agents: International Foundation for Autonomous Agents and Multiagent Systems, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems -Volume 2; AAMAS '12, pp.1081-1088, 2012.

E. Brinksma, LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1988.