doi:10.1017/S0269888913000337

Alami R., Warnier M., Guitton J., Lemaignan S., Sisbot E. A.2009. Planning and plan-execution for human-robot cooperative task achievement. In Proceedings of the 4th Workshop on Planning and Plan Execution for Real-World Systems, Thessaloniki, Greece.

Alami R., Warnier M., Guitton J., Lemaignan S., Sisbot E. A.2011. When the robot considers the human… In Proceedings of the 15th International Symposium on Robotics Research, Flagstaff, Arizona, US.

Alferes J. J., Damasio C. V., Pereira L. M.1995. A logic programming system for nonmonotonic reasoning. Journal of Automated Reasoning14(1), 93–147.

Alferes J. J., Pereira L. M.1996. Reasoning with Logic Programming. Springer-Verlag.

Apt K. R.1997. From Logic Programming to Prolog. Prentice-Hall.

Bacchus F., Yang Q.1993. Downward refinement and the efficiency of hierarchical problem solving. Artificial Intelligence71, 43–100.

Baier J. A., Bacchus F., McIlraith S. A.2009. A heuristic search approach to planning with temporally extended preferences. Artificial Intelligence173(5–6), 593–618.

Baier J. A., Fritz C., McIlraith S. A.2007. Exploiting procedural domain control knowledge in state-of-the-art planners. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS-07), Providence, Rhode Island, US, 26–33.

Bellman R.1957. A Markov decision process. Journal of Mathematical Mechanics6, 679–684.

Bellman R. E.2003. Dynamic Programming. Dover Publications.

Blum A. L., Furst M. L.1997. Fast planning through planning graph analysis. Artificial Intelligence90(1–2), 281–300.

Bordini R. H., Hübner J. F.2006. BDI agent programming in AgentSpeak Using Jason. In Proceedings of Computational Logic in Multi-Agent Systems, 6th International Workshop, Lecture Notes in Computer Science, 3900, 143–164. Springer-Verlag.

Bordini R. H., Hübner J. F., Wooldridge M.2007. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley.

Bratman M. E.1987. Intention, Plans and Practical Reason. Harvard University Press.

Busetta P., Rönnquist R., Hodgson A., Lucas A.1999. Jack Intelligent Agents—Components for Intelligent Agents in Java. AgentLink Newsletter. White paper, http://www.agent-software.com.au.

Claßen J., Eyerich P., Lakemeyer G., Nebel B.2007. Towards an integration of Golog and planning. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 1846–1851.

Clement B. J., Durfee E. H.1999. Theory for coordinating concurrent hierarchical planning agents using summary information. In Proceedings of the National Conference on Artificial Intelligence (AAAI-99), Orlando, Florida, US, 495–502.

Dastani M.2008. 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems16, 214–248.

Dastani M., van Riemsdijk B., Dignum F., Meyer J.-J. C.2004. A programming language for cognitive agents goal directed 3APL. In Proceedings of the International Workshop on Programming Multiagent Systems Languages and Tools, Dastani, M., Dix, J. & Fallah-Seghrouchni, A. E. (eds). Lecture Notes in Computer Science, 3067, 111–130. Springer-Verlag.

Dearden R., Meuleau N., Ramakrishnan S., Smith D. E., Washington R.2002. Contingency planning for planetary rovers. In Proceedings of the Third International NASA Workshop on Planning & Scheduling for Space, Houston.

Dekker A., de Silva L.2006. Investigating organisational structures with networks of planning agents. In Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC-06), Sydney, Australia, 25–30.

desJardins M. E., Durfee E. H.Jr, Ortiz C. L., Wolverton M. J.1999. A survey of research in distributed, continual planning. AI Magazine20(4), 13–22.

Despouys O., Ingrand F. F.1999. Propice-plan: toward a unified framework for planning and execution. In Proceedings of the 5th European Conference on Planning. Susanne Biundo & Maria Fox (eds). Springer-Verlag, 278–293.

de Silva L., Dekker A.2007. Planning with time limits in BDI agent programming languages. In Proceedings of Computing: The Australasian Theory Symposium (CATS-07), Ballarat, Victoria, Australia, 131–139.

de Silva L., Padgham L.2004. A comparison of BDI based real-time reasoning and HTN based planning. In Proceedings of the Australian Joint Conference on Artificial Intelligence (AI-04), Cairns, Australia, 1167–1173.

de Silva L., Sardina S., Padgham L.2009. First principles planning in BDI systems. In Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems—Volume 2, AAMAS '09, Carles Sierra, Cristiano Castelfranchi, Keith S. Decker & Jaime Simão Sichman (eds). International Foundation for Autonomous Agents and Multiagent Systems, 1105–1112.

d'Inverno M., Kinny D., Luck M., Wooldridge M.1998. A formal specification of dMARS. In Agent Theories, Architectures, and Languages, Singh, M. P., Rao, A. S. & Wooldridge, M. (eds), Lecture Notes in Computer Science, 1365, 155–176. Springer-Verlag.

d'Inverno M., Luck M., Georgeff M., Kinny D., Wooldridge M.2004. The dMARS architecture: a specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems9(1–2), 5–53.

Fikes R., Nilsson N.1971. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence2(3–4), 189–208.

Fitting M.1990. First-Order Logic and Automated Theorem Proving. Springer-Verlag.

Fritz C., Baier J. A., McIlraith S. A.2008. ConGolog, Sin Trans: compiling ConGolog into basic action theories for planning and beyond. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-08), Sydney, NSW, Australia, 600–610.

Gärdenfors P.2003. Belief Revision, vol. 29, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.

Georgeff M., Pell B., Pollack M. E., Tambe M., Wooldridge M.1999. The belief-desire-intention model of agency. In Intelligent Agents V, Müller, J., Singh, M. P. & Rao, A. S. (eds), Lecture Notes in Computer Science, 1555, 1–10. Springer-Verlag.

Georgeff M. P., Ingrand F. F.1989. Monitoring and control of spacecraft systems using procedural reasoning. In Proceedings of the Space Operations and Robotics Workshop, Houston, USA.

Ghallab M., Hertzberg J., Traverso P.2002. Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, AAAI.

Ghallab M., Nau D., Traverso P.2004. Automated Planning: Theory and Practice. Elsevier.

Hindriks K. V., Boer F. S. D., der Hoek W. V., Meyer J.-J. C.1999. Agent programming in 3APL. International Journal of Autonomous Agents and Multi-Agent Systems2(4), 357–401.

Hindriks K. V., de Boer F. S., van der Hoek W., Meyer J.-J. C.2001. Agent programming with declarative goals. In Intelligent Agents VII. Agent Theories Architectures and Languages, Seventh International Workshop, Cristiano Castelfranchi & Yves Lespérance (eds). Lecture Notes in Computer Science, 1986, 228–243. Springer-Verlag.

Hindriks K. V., van Riemsdijk M. B.2008. Satisfying maintenance goals. In Proceedings of the 5th International Conference on Declarative Agent Languages and Technologies V, DALT'07, Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk & Michael Winikoff (eds). Springer-Verlag, 86–103.

Hoffmann J., Nebel B.2001. The FF planning system: fast plan generation through heuristic search. Journal of Artificial Intelligence Research14, 253–302.

Howden N., Rönnquist R., Hodgson A., Lucas A.2001. Jack: summary of an agent infrastructure. In Proceedings of the 5th International Conference on Autonomous Agents, Montreal, Canada.

Hübner J. F., Bordini R. H., Wooldridge M.2006a. Plan patterns for declarative goals in AgentSpeak. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, 1291–1293.

Hübner J. F., Bordini R. H., Wooldridge M.2006b. Programming declarative goals using plan patterns. In Proceedings of the Fourth Workshop on Declarative Agent Languages and Technologies, Baldoni, M. & Endriss, U. (eds), Lecture Notes in Computer Science, 4327, 123–140. Springer-Verlag.

Ingrand F., Despouys O.2001. Extending procedural reasoning toward robot actions planning. In Proceedings of the 2001 IEEE International Conference on Robotics and Automation, Seoul, Korea, 9–10.

Ingrand F. F., Chatila R., Alami R., Robert F.1996. PRS: a high level supervision and control language for autonomous mobile robots. In Proceedings of the IEEE International Conference on Robotics and Automation, Minneapolis, USA, 43–49.

Ingrand F. F., Georgeff M. P., Rao A. S.1992. An architecture for real-time reasoning and system control. IEEE Expert, Knowledge-Based Diagnosis in Process Engineering7(6), 33–44.

Kambhampati S., Mali A., Srivastava B.1998. Hybrid planning for partially hierarchical domains. In Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI '98/IAAI '98. Jack Mostow & Chuck Rich (eds). American Association for Artificial Intelligence, 882–888.

Kautz H., Selman B.1996. Pushing the envelope: planning, propositional logic and stochastic search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, William J. Clancey & Daniel S. Weld (eds). AAAI Press/MIT Press, 1194–1201.

Köhler J., Nebel B., Hoffmann J., Dimopoulos Y.1997. Extending planning graphs to an ADL subset. In Proceedings of the 4th European Conference on Planning, Steel, S. (ed.), Lecture Notes in Computer Science, 1348, 273–285. Springer-Verlag.

Kollingbaum M.2005. Norm-Governed Practical Reasoning Agents. PhD thesis, University of Aberdeen.

Kowalski R. A., Sergot M. J.1986. A logic-based calculus of events. New Generation Computing4(1), 67–95.

Kuter U., Nau D., Pistore M., Traverso P.2009. Task decomposition on abstract states, for planning under nondeterminism. Artificial Intelligence173(5–6), 669–695.

Laborie P., Ghallab M.1995. Planning with sharable resource constraints. In Proceedings of the International Joint Conference on Artificial Intelligence, Montréal, Québec, Canada, 1643–1651.

Lemai S., Ingrand F.2004. Interleaving temporal planning and execution in robotics domains. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, McGuinness, D. L. & Ferguson, G. (eds). AAAI Press/The MIT Press, 617–622.

Levesque H. J., Reiter R., Lespérance Y., Lin F., Scherl R. B.1997. Golog: a logic programming language for dynamic domains. Journal of Logic Programming31(1–3), 59–83.

Meneguzzi F., Luck M.2007. Composing high-level plans for declarative agent programming. In Proceedings of the Fifth Workshop on Declarative Agent Languages, Honolulu, Hawaii, US, 115–130.

Meneguzzi F., Luck M.2008. Leveraging new plans in AgentSpeak(PL). In Proceedings of the Sixth Workshop on Declarative Agent Languages, Baldoni, M., Son, T. C., van Riemsdijk, M. B. & Winikoff, M. (eds). Springer, 63–78.

Meneguzzi F., Luck M.2009. Norm-based behaviour modification in BDI agents. In Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary, 177–184.

Meneguzzi F. R., Zorzo A. F., Mora M. C.2004a. Mapping mental states into propositional planning. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, New York, NY, US, 1514–1515.

Meneguzzi F. R., Zorzo A. F., Móra M. D. C.2004b. Propositional planning in BDI agents. In Proceedings of the 2004 ACM Symposium on Applied Computing. ACM Press, 58–63.

Meneguzzi F., Tang Y., Sycara K., Parsons S.2010. On representing planning domains under uncertainty. In The Fourth Annual Conference of the International Technology Alliance, London, UK.

Meuleau N., Smith D. E.2003. Optimal limited contingency planning. In Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence, Acapulco, Mexico, 417–426.

Móra M. D. C., Lopes J. G. P., Vicari R. M., Coelho H.1999. BDI models and systems: bridging the gap. In Intelligent Agents V, Agent Theories, Architectures, and Languages, Fifth International Workshop, Müller, J. P., Singh, M. P. & Rao, A. S. (eds), Lecture Notes in Computer Science, 1555, 11–27. Springer-Verlag.

Nau D., Cao Y., Lotem A., Muñoz-Avila H.1999. SHOP: simple hierarchical ordered planner. In Proceedings of the 16th International Joint Conference on Artificial Intelligence, Thomas Dean (ed.). Morgan Kaufmann Publishers Inc., 968–973.

Nebel B., Koehler J.1995. Plan reuse versus plan generation: a theoretical and empirical analysis. Artificial Intelligence76, 427–454.

Panagiotidi S., Vázquez-Salceda J.2011. Towards practical normative agents: a framework and an implementation for norm-aware planning. In ‘COIN@AAMAS&WI-IAT’, Cranefield, S., van Riemsdijk, M. B., Vázquez-Salceda, J. & Noriega, P. (eds). Lecture Notes in Computer Science, 93–109. Springer.

Paolucci M., Kalp D., Pannu A., Shehory O., Sycara K.1999. A planning component for RETSINA agents. In Proceedings of the International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Orlando, Florida, USA, 147–161.

Pokahr A., Braubach L., Lamersdorf W.2005. Jadex: a BDI reasoning engine. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R. H., Dastani, M., Dix, J. & Fallah-Seghrouchni, A. E. (eds). Springer-Verlag, 149–174.

Raja A., Lesser V.2004. Meta-level reasoning in deliberative agents. In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Beijing, China, 141–147.

Rao A. S.1996. AgentSpeak(L): BDI agents speak out in a logical computable language. In Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, W. V. de Velde & J. W. Perram (eds). Lecture Notes in Computer Science, 1038, 42–55. Springer-Verlag.

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

Sardina S., De Giacomo G., Lespérance Y., Levesque H.J.2004. On the semantics of deliberation in IndiGolog—from theory to implementation. Annals of Mathematics and Artificial Intelligence41(2–4), 259–299.

Sardiña S., de Silva L., Padgham L.2006. Hierarchical planning in BDI agent programming languages: a formal approach. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, 1001–1008.

Sardiña S., Padgham L.2011. A BDI agent programming language with failure handling, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems23(1), 18–70.

Schut M., Wooldridge M.2001. The control of reasoning in resource-bounded agents. The Knowledge Engineering Review16(3), 215–240.

Schut M., Wooldridge M., Parsons S.2001. Reasoning about intentions in uncertain domains. In Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU '01, Benferhat, Salem & Besnard, Philippe (eds). Springer-Verlag, 84–95.

Schut M., Wooldridge M., Parsons S.2002. On partially observable MDPs and BDI models. In Selected Papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems, Mark d'Inverno, Michael Luck, Michael Fisher & Chris Preist (eds). Springer-Verlag, 243–260.

Shoham Y., Leyton-Brown K.2010. Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press.

Simari G. I., Parsons S.2006. On the relationship between MDPs and the BDI architecture. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss & Peter Stone (eds). ACM, 1041–1048.

Singh D., Sardina S., Padgham L.2010. Extending BDI plan selection to incorporate learning from experience. Robotics and Autonomous Systems58(9), 1067–1075.

Singh D., Sardina S., Padgham L., Airiau S.2010. Learning context conditions for BDI plan selection. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1—Volume 1, AAMAS '10, Alexander Ferrein, Nils T. Siebel & Gerald Steinbauer (eds). International Foundation for Autonomous Agents and Multiagent Systems, 325–332.

Sohrabi S., Baier J. A., McIlraith S. A.2009. HTN planning with preferences. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, CA, USA, 1790–1797.

Srivastava S., Immerman N., Zilberstein S.2009. Challenges in finding generalized plans. In Proceedings of the ICAPS Workshop on Generalized Planning: Macros, Loops, Domain Control, Thessaloniki, Greece.

Srivastava S., Immerman N., Zilberstein S.2011. A new representation and associated algorithms for generalized planning. Artificial Intelligence175(2), 615–647.

Stolcke A.1995. An efficient probabilistic context-free parsing algorithm that computes prefix probabilities. Computational Linguistics21(2), 165–201.

Tang Y., Meneguzzi F., Parsons S., Sycara K.2011. Probabilistic hierarchical planning over MDPs. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan, 1143–1144.

Thomas S. R.1995. The PLACA agent programming language. In Intelligent Agents, Wooldridge, M. J. & Jennings, N. R. (eds), Lecture Notes in Computer Science, 890, 355–370. Springer-Verlag.

van Riemsdijk M. B., Dastani M., Meyer J.-J. C.2005. Semantics of declarative goals in agent programming. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands, 133–140.

Veloso M. M., Pollack M. E., Cox M. T.1998. Rationale-based monitoring for planning in dynamic environments. In Proceedings of the International Conference on Artificial Intelligence Planning Systems (AIPS-98), Pittsburgh Pennsylvania, US, 171–180.

Walczak A., Braubach L., Pokahr A., Lamersdorf W.2006. Augmenting BDI agents with deliberative planning techniques. In Proceedings of the Fifth International Workshop on Programming Multiagent Systems, Hakodate, Japan.

Weisstein E. W.1999. Mathworld: Power Set. MathWorld–A Wolfram Web Resource. http://mathworld.wolfram.com/PowerSet.html.

Winikoff M., Padgham L., Harland J., Thangarajah J.2002. Declarative & procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles and Knowledge Representation and Reasoning, Fensel, D., Giunchiglia, F., McGuinness, D. L. & Williams, M.-A. (eds). Morgan Kaufmann, 470–481.

Wooldridge M.2002. An Introduction to Multiagent Systems. John Wiley & Sons.