A. S. Rao and M. P. Georgeff, BDI-agents: from theory to practice, Proceedings of the First International Conference on Multiagent Systems, pp.312-319, 1995.

L. Braubach, A. Pokahr, D. Moldt, and W. Lamersdorf, Goal Representation for BDI Agent Systems, Programming Multi-Agent Systems, pp.44-65, 2005.
DOI : 10.1007/978-3-540-32260-3_3

J. Harland, D. N. Morley, J. Thangarajah, and N. Yorke-smith, An operational semantics for the goal life-cycle in BDI agents, Autonomous Agents and Multi-Agent Systems, vol.18, issue.3, pp.682-719, 2014.
DOI : 10.1007/s10458-013-9238-9

J. Thangarajah and L. Padgham, Computationally Effective Reasoning About Goal Interactions, Journal of Automated Reasoning, vol.25, issue.4, pp.17-56, 2011.
DOI : 10.1007/s10817-010-9175-0
URL : http://researchbank.rmit.edu.au/view/rmit:6046/n2006019705.pdf

R. Bordini, J. Hübner, and R. Vieira, Jason and the Golden Fleece of Agent-Oriented Programming, of Multiagent Systems, Artificial Societies, and Simulated Organizations, pp.3-37, 2005.
DOI : 10.1007/0-387-26350-0_1

L. Braubach, A. Pokahr, and W. Lamersdorf, Jadex: A short overview, In: Net.ObjectDays AgentExpo, 2004.

S. Sardina and L. Padgham, A BDI agent programming language with failure handling, declarative goals, and planning, Autonomous Agents and Multi-Agent Systems, vol.7, issue.1, pp.18-70, 2011.
DOI : 10.1007/s10458-010-9130-9

F. Giunchiglia, J. Mylopoulos, and A. Perini, The tropos software development methodology, Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 1, AAMAS '02, pp.162-173, 2003.
DOI : 10.1145/544741.544748

M. Winikoff and L. Padgham, Developing Intelligent Agent Systems: A Practical Guide Wiley Series in Agent Technology, 2004.

K. V. Hindriks, F. S. De-boer, W. Van-der-hoek, and J. J. Meyer, Agent Programming with Declarative Goals, Intelligent Agents VII Agent Theories Architectures and Languages, pp.228-243, 1986.
DOI : 10.1007/3-540-44631-1_16
URL : http://arxiv.org/abs/cs/0207008

M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah, Declarative and procedural goals in intelligent agent systems, Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning, pp.470-481, 2002.

M. Dastani, M. V. Riemsdijk, F. Dignum, and J. J. Meyer, A Programming Language for Cognitive Agents Goal Directed 3APL, Programming Multi-Agent Systems, pp.111-130, 2004.
DOI : 10.1007/978-3-540-25936-7_6

J. Thangarajah, Managing the Concurrent Execution of Goals in Intelligent Agents, 2005.

M. Morandini, L. Penserini, and A. Perini, Operational semantics of goal models in adaptive agents, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.129-136, 2009.

J. Thangarajah, S. Sardina, and L. Padgham, Measuring plan coverage and overlap for agent reasoning, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.1049-1056, 2012.

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 and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare, pp.156-163, 2013.
DOI : 10.1016/j.procs.2013.09.022
URL : https://hal.archives-ouvertes.fr/hal-00879176

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

A. El-fallah-seghrouchni and S. Haddad, A recursive model for distributed planning, Proceedings of the 2nd International Conference on Multi-Agent Systems, pp.307-314, 1996.

A. Omicini, A. Ricci, and M. Viroli, Artifacts in the A&A meta-model for multi-agent systems, Autonomous Agents and Multi-Agent Systems, vol.12, issue.3, pp.432-456, 2008.
DOI : 10.1007/s10458-008-9053-x

W. Torres-pomales, Software fault tolerance: A tutorial, 2000.

M. B. Riemsdijk and N. Yorke-smith, Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents, pp.41-59, 2012.
DOI : 10.1007/s11229-006-9145-6

A. Pokahr, L. Braubach, and W. Lamersdorf, A Goal Deliberation Strategy for BDI Agent Systems, Multiagent System Technologies, pp.82-93, 2005.
DOI : 10.1007/11550648_8

P. Shaw and R. Bordini, Towards Alternative Approaches to Reasoning About Goals, Declarative Agent Languages and Technologies V, pp.104-121, 2008.
DOI : 10.1007/978-3-540-77564-5_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.8188

P. Shaw and R. Bordini, An Alternative Approach for Reasoning about the Goal-Plan Tree Problem, Languages, Methodologies, and Development Tools for Multi-Agent Systems, pp.115-135, 2011.
DOI : 10.1007/978-3-642-22723-3_7

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

D. Singh, S. Sardina, L. Padgham, and G. James, Integrating learning into a BDI agent for environments with changing dynamics, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pp.2525-2530, 2011.

D. N. Morley, K. L. Myers, and N. Yorke-smith, Continuous refinement of agent resource estimates, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.858-865, 2006.
DOI : 10.1145/1160633.1160787

B. J. Clement, E. H. Durfee, and A. C. Barrett, Abstract Reasoning for Planning and Coordination, Journal of Artificial Intelligence Research, vol.28, issue.1, pp.453-515, 2007.
DOI : 10.1007/3-540-45622-8_30