doi:10.1017/S0269888915000077

Adal A. 2010. An Interpreter for Organization Oriented Programming Language. Master’s thesis, Utrecht University.

Ågotnes T., van der Hoek W. & Wooldridge M. 2008. Robust normative systems. In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Padgham, L., Parkes, D., Mueller, J. P. & Parsons, S. (eds), 747–754, May. IFAMAAS/ACM DL.

Arbab F. 1998. What do you mean, coordination?Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), 11–22.

Arbab F., Astefanoaei L., de Boer F., Dastani M., Meyer J.-J. C. & Tinnermeier N. 2009. Reo connectors as coordination artifacts in 2APL systems. In Proceedings of the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008), LNCS, 5357, 42–53. Springer.

Astefanoaei L., Dastani M., Meyer J.-J. C. & Boer F.2009. On the semantics and verification of normative multi-agent systems. International Journal of Universal Computer Science15(13), 2629–2652.

Bacchus F. & Kabanza F. 1998. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence22(1–2), 5–27.

Baldoni M., Boella G., Dorni M., Grenna R. & Mugnaini A. 2008. powerJADE: organizations and roles as primitives in the JADE framework. In WOA 2008: Dagli oggetti agli agenti, Evoluzione dell’agent development: metodologie, tool, piattaforme e linguaggi, 84–92.

Baldoni M., Boella G. & Van Der Torre L. 2005. Roles as a coordination construct: introducing powerJava. In Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, Electronic Notes in Theoretical Computer Science 150, 9–29.

Baral C. & Zhao J. 2007. Non-monotonic temporal logics for goal specification. In International Joint Conference on Artificial Intelligence (IJCAI), 236–242.

Behrens T., Dix J., Hindriks K., Dastani M., Bordini R., Hubner J., Pokahr A. & Braubach. L. 2010. An interface for agent-environment interaction. In Proceedings of the Eighth International Workshop on Programming Multi-Agent Systems (ProMAS’10), Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 125–147. Springer.

Bellifemine F., Bergenti F., Caire G. & Poggi A. 2005. JADE—a Java agent development framework. In Multi-Agent Programming: Languages, Platforms and Applications. Kluwer.

Bergenti F., Gleizes M.-P. & Zambonelli F. (eds) 2004. Methodologies and Software Engineering for Agent Systems. Multiagent Systems, Artificial Societies, and Simulated Organizations 11, Kluwer Academic Publisher.

Boella G. & van der Torre L. 2008. Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic6, 152–171.

Boissier O., Bordini R., Hbner J. F., Ricci A. & Santi A. 2013. Multi-agent oriented programming with JaCaMo. Science of Computer Programming78, 747–761.

Bordini R., Huubner J. & Wooldridge M. 2007. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology, John Wiley & Sons.

Bordini R. H., Dastani M., Dix J. & El Fallah Seghrouchni A. (eds) 2005. Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations 15. Springer, ISBN: 978-0-387-24568-3.

Bordini R. H., Dastani M., Dix J. & El Fallah Seghrouchni A. (eds) 2009. Multi-Agent Programming: Languages, Tools and Applications, Springer, ISBN: 978-0-387-89298-6.

Botia J. A., Hernansaez J. M. & Gomez-Skarmeta A. F. 2006. On the application of clustering techniques to support debugging large-scale multi-agent systems. In Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (ProMAS’06), 217–227.

Bracciali A., Demetriou N., Endriss U., Kakas A., Lu W., Mancarella P., Sadri F., Stathis K., Terreni G. & Toni F. 2004. The KGP model of agency for global computing: computational model and prototype implementation. In Global Computing, LNCS, 3267, 340–367. Springer.

Bratman M. E., Israel D. J. & Pollack M. E. 1988. Plans and resource-bounded practical reasoning. Computational Intelligence4(3), 349–355.

Braubach L. & Pokahr A. 2009. Representing long-term and interest BDI goals. In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS’09).

Braubach L., Pokahr A. & Lamersdorf W. 2005. Extending the capability concept for flexible BDI agent modularization. In Proceedings of the Third International Workshop on Programming Multi-Agent Systems (ProMAS’05), 139–155.

Bresciani P., Giorgini P., Giunchiglia F., Mylopoulos J. & Perini A. 2003. TROPOS: an agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems8(3), 203–236.

Busetta P., Howden N., Ronnquist R. & Hodgson A. 2000. Structuring BDI agents in functional clusters. In Intelligent Agents VI: Theories, Architectures and Languages, Jennings N. & Lesperance Y. (eds), Lecture Notes in Computer Science, 1757, 277–289. Springer.

Cohen P. R. & Levesque H. J. 1990. Intention is choice with commitment. Artificial Intelligence42(2–3), 213–261.

Collier R. 2007. Debugging agents in agent factory. In Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (ProMAS’06), 229–248.

Cysneiros L. M. & Yu E. S. K. 2003. Requirements engineering for large-scale multi-agent systems. In Software Engineering for Large-Scale Multi-Agent Systems, Research Issues and Practical Applications (SELMAS), Garcia, A. F., de Lucena, C. J. P., Zambonelli, F., Omicini, A. & Castro, J. (eds), LNCS, 2603, 39–56. Springer.

Dastani M. 2008. 2APL: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems16(3), 214–248.

Dastani M., Arbab F. & de Boer F. S. 2005a. Coordination and composition in multi-agnet systems. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’05), 439–446.

Dastani M., Brandsema J., Dubel A. & Meyer J.-J. C. 2009a. Debugging BDI-based multi-agent programs. In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS’09), LNCS, 5919, 151–169.

Dastani M., Grossi D., Meyer J.-J. C. & Tinnemeier N. 2009b. Normative multi-agent programs and their logics. In Post Proceedings of the International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS’08), LNAI, 5605, 16–31. Springer.

Dastani M. & Gomez-Sanz J. 2006. Programming multi-agent systems. The Knowledge Engineering Review20(2), 151–164.

Dastani M. & Gomez-Sanz J. J.2005. AgentLink III Technical Forum Group, programming multiagent systems. http://people.cs.uu.nl/mehdi/al3promas.html.

Dastani M., Hindriks K. & Meyer J.-J. C. 2010. Specification and Verification of Multi-Agent Systems, Springer, ISBN 978-1-4419-6983-5.

Dastani M. & Meyer J.-J. C. 2010. Agents with emotions. International Journal of Intelligent Systems25(7), 636–654.

Dastani M. & Steunebrink B. R. 2010. Operational semantics for BDI modules in multi-agent programming. In Proceedings of the 10th International Conference on Computational Logic in Multi-Agent Systems (CLIMA’09), 83–101. Springer-Verlag.

Dastani M., van Riemsdijk M. B. & Meyer J.-J. C. 2005b. Programming multi-agent systems in 3APL. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 39–67. Kluwer.

Dastani M., van Riemsdijk M. B. & Meyer J.-J. C. 2006. Goal types in agent programming. In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’06).

Dastani M., van Riemsdijk B. & Winikoff M. 2011. Rich goal types in agent programming. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011).

De Giacomo G., Lesperance Y. & Levesque H. J. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence121(1–2), 109–169.

Dignum V. 2004. A Model for Organizational Interaction. PhD thesis, Utrecht University, SIKS.

Dix J. & Zhang Y. 2005. IMPACT: a multi-agent framework with declarative semantics. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 69–94. Kluwer.

Duff S., Harland J. & Thangarajah J. 2006. On proactivity and maintenance goals. In Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 06), 1033–1040.

El Fallah Seghrouchni A. & Suna A. 2005. CLAIM and SyMPA: a programming environment for intelligent and mobile agents. In Multi-Agent Programming: Languages, Platforms and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 95–122, Kluwer.

Esteva M., de la Cruz D. & Sierra C. 2002. ISLANDER: an electronic institutions editor. In Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), 1045–1052.

Esteva M., Rodriguez-Aguilar J. A., Rosell B. & Arcos J. L. 2004. AMELI: an agent-based middleware for electronic institutions. In Proceedings of the Third International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2004), 236–243, July.

Ferber J. 1999. Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, Addison-Wesley Longman Publishing, ISBN: 0201360489.

Fisher M. 2005. METATEM: the story so far. In Proceedings of the First International Workshop on Programming Multi-Agent Systems (ProMAS’03), LNAI, 3862, 3–22. Springer Verlag.

Garcia-Camino A., Noriega P. & Rodriguez-Aguilar J. A. 2005. Implementing norms in electronic institutions. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 05), 667–673.

Gomez-Sanz J. & Pavon J. 2003. Agent oriented software engineering with INGENIAS. In LNCS, 2691, 394–403. Springer.

Grossi D. 2007. Designing Invisible Handcuffs. PhD thesis, Utrecht University, SIKS.

Hindriks K. 2008. Modules as policy-based intentions: modular agent programming in GOAL. In Proceedings of the Fifth International Workshop on Programming Multi-Agent Systems (ProMAS’07), 4908. Springer.

Hindriks K. 2009. Programming rational agents in GOAL. In Multi-Agent Programming: Languages and Tools and Applications, Bordini, R.H., Dastani, M., Dix, J. & El Fallah Seghrouchni, A. (eds), 119–157. Springer.

Hindriks K., De Boer F., Van der Hoek W. & Meyer J.-J. C. 1999. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems2(4), 357–401.

Hindriks K., van der Hoek W. & van Riemsdijk M. B. 2009. Agent programming with temporally extended goals. In Proceedings of the Eight International Conference on Autonomous Agents and Multiagent Systems (AAMAS’09), 137–144. IFAAMAS.

Hindriks K. & van Riemsdijk M. B. 2008. Satisfying maintenance goals. In Declarative Agent Languages and Technologies (DALT 07), LNAI, 4897, 86–103. Springer.

Hübner J., Sichman J. S. & Boissier O. 2006. S-MOISE+: a middleware for developing organised multi-agent systems. In Proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, LNCS, 3913, 64–78. Springer.

Hübner J., Sichman J. S. & Boissier O. 2007. Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering1(3/4), 370–395.

Hübner J. F., Boissier O., Kitio R. & Ricci A. 2010. Instrumenting multi-agent organisations with organisational artifacts and agents: giving the organisational power back to the agents. International Journal of Autonomous Agents and Multi-Agent Systems20, 369–400.

Jones A. J. I. & Sergot M. 1993. On the characterization of law and computer systems. In Deontic Logic in Computer Science: Normative System Specification, Meyer J.-J. C. & Wieringa R. J. (eds). John Wiley & Sons, 275–307.

Kakas A., Mancarella P., Sadri F., Stathis K. & Toni F. 2004. The KGP model of agency. In The 16th European Conference on Artificial Intelligence (ECAI’04), 33–37.

Khan S. M. & Lespoerance Y. 2009. A logical account of prioritized goals and their dynamics. In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-09), Lakemeyer G., Morgenstern L. & Williams M. A. (eds). Open Publications of UTS Scholars, 85–90.

Kitio R., Boissier O., Hubner J. & Ricci A. 2008. Organisational artifacts and agents for open multi-agent organisations: ‘giving the power back to the agents’. In Proceedings of the 2007 International Conference on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN’07, 171–186. Springer-Verlag. ISBN: 3-540-79002-0, 978-3-540-79002-0.

Lam D. N. & Suzanne Barber K. 2005. Debugging agent behavior in an implemented agent system. In Proceedings of the Second International Workshop on Programming Multi-agent Systems (ProMAS’04), 104–125.

Leite J., Alferes J. & Pereira L. M. 2001. Minerva—a dynamic logic programming agent architecture. In the proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001). Meyer, J.-J. C. & Tambe, M. (eds), LNAI 2333, 141–157, Springer.

Madden N. & Logan B. 2009. Modularity and compositionality in Jason. In Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS’09), Braubach, L., Briot, J.-P. & Thangarajah, J. (eds), LNAI, 5919, 237–253. Springer. ISBN: 978-3-642-14842-2.

Meyer J.-J. C., van der Hoek W. & van Linder B. 1999. A logical approach to the dynamics of commitments. Arificial Intelligence113, 1–40.

Miiller J. P. 1996. The Design of Autonomous Agents A Layered Approach, LNAI, 1177. Springer-Verlag.

Muldoon C., O’Hare G. M. P., Collier R. W. & O’Grady M. J. 2009. Towards pervasive intelligence: reflections on the evolution of the agent factory framework. In Multi-Agent Programming: Languages and Tools and Applications, Bordini R. H., Dastani M., Dix J. & El Fallah Seghrouchni A. (eds). Springer, 187–212.

Nair R. & Tambe M. 2005. Hybrid BDI-POMDP framework for multiagent teaming. Journal of Artificial Intelligence Research23(1), 367–420.

Novaik P. & Dix J. 2006. Modular BDI architecture. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06).

Omicini A. 2007. Formal ReSpecT in the A&A perspective. Electronic Notes Theoretical Computer Science175(2), 97–117.

Padgham L. & Winikoff M. 2003. Prometheus: a methodology for developing intelligent agents. In Lecture Notes in Artificial Intelligence, 2585, 174–185. Springer.

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. & El Fallah Seghrouchni, A. (eds), 149–174. Kluwer.

Poutakidis D., Padgham L. & Winikoff M. 2002. Debugging multi-agent systems using design artifacts: the case of interaction protocols. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’02), 960–967.

Poutakidis D., Padgham L. & Winikoff M. 2003. An exploration of bugs and debugging in multi-agent systems. In Proceedings of the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS), 628–632. ACM Press.

Prakken H. & Sergot M. 1996. Contrary-to-duty obligations. Studia Logica57, 91–115.

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 (MAAMAW’96), Van de Velde, W. & Perram, John W. (eds). Agents Breaking Away, LNCS 1038, 42–55. Springer.

Rao A. S. & Georgeff M. P. 1991. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 91), Allen J., Fikes R. & Sandewall E. (eds). Morgan Kaufmann, 473–484.

Rao A. S. & Georgeff M. P. 1995. BDI agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 95), Allen, J., Fikes, R. & Sandewall, E. (eds), 312–319. MIT Press.

Rens G., Ferrein A. & van der Poel E.2009. A BDI agent architecture for a POMDP planner. In Nineth International Symposium on Logical Formalizations of Commonsense Reasoning.

Ricci A., Viroli M. & Omicini A. 2006. Cartago: a framework for prototyping artifact-based environments in MAS. In E4MAS, 67–86.

Sadri F. 2005. Using the KGP model of agency to design applications. In Proceedings of the 6th International Conference on Computational Logic in Multi-Agent Systems (CLIMA 05), 3900, 165–185. Springer.

Sardina S., De Giacomo G., Lesperance 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.

Shapiro S. & Brewka G. 2007. Dynamic interactions between goals and beliefs. In International Joint Conference on Artificial Intelligence (IJCAI’07), 2625–2630.

Shoham Y. 1993. Agent-oriented programming. Artificial Intelligence60, 51–92.

Silva C. T. L. L., Castro J. & Tedesco P. A. 2003. Requirements for multi-agent systems. In Workshop em Engenharia de Requisitos (WER), Galvao Martins, L. E. & Franch, X. (eds), 198–212.

Silva V. T. 2008. From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents. International Journal of Autonomous Agents and Multiagent Systems (JAAMAS)17(1), 113–155.

Sudeikat J., Braubach L., Pokahr A., Lamersdorf W. & Renz W. 2007. Validation of BDI agents. In Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (ProMAS’06), 185–200.

Tasaki M., Yabu Y., Iwanari Y., Yokoo M., Tambe M., Marecki J. & Varakantham P. 2008. Introducing communication in Dis-POMDPs with locality of interaction. International Conference on Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM2, 169–175.

Tinnemeier N. 2011. Organizing Agent Organizations: Syntax and Operational Semantics of an Organization-Oriented Programming Language. PhD thesis, Dutch Research School for Information and Knowledge Systems (SIKS).

Tinnemeier N., Dastani M. & Meyer J.-J. C. 2009a. Roles and norms for programming agent organizations. In Proceedings of the Eight International Conference on Autonomous Agents and Multiagent Systems (AAMAS 09), Decker, K. S., Sichman, J. S., Sierra, C. & Castelfranchi, C. (eds), 121–128. IFAMAAS/ACM DL.

Tinnemeier N., Dastani M. & Meyer J.-J. C. 2010. Programming norm change. In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS’10), van der Hoek, W., Kaminka, G. A., Lesperance, Y., Luck, M. & Sen, S. (eds), 957–964. IFAMAAS/ACM DL.

Tinnemeier N., Dastani M., Meyer J.-J. C. & van der Torre L. 2009b. Programming normative artifacts with declarative obligations and prohibitions. In Proceedings of IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 145–152. IEEE Computer Society.

Van Dyke Parunak H. & Weyns D. (eds) 2007. Introduction, special issue on environments for multi-agent systems. Autonomous Agents and Multi-Agent Systems14(1), 1–4.

van Riemsdijk M. B., Dastani M., Meyer J.-J. C. & de Boer F. S. 2006. Goal-oriented modularity in agent programming. In Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS’06), 1271–1278.

van Riemsdijk M. B., van der Hoek W. & Meyer J.-J. C. 2003. Agent programming in Dribble: from beliefs to goals using plans. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’03), 393–400. ACM.

Vigueras G. & Botia J. A. 2008. Tracking causality by visualization of multi-agent interactions using causality graphs. In Proceedings of the Fifth International Workshop on Programming Multi-Agent Systems (ProMAS’07), 190–204.

Weiss G. 1999. Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence, The MIT Press, ISBN: 0-262-23203-0.

Weyns D., Van Dyke Parunak H., Michel F., Holvoet T. & Ferber J. (eds) 2005. Environments for Multiagent Systems State-of-the-Art and Research Challenges, LNCS, 3374, 1–47. Springer.

Winikoff M. 2005. JACK™ intelligent agents: an industrial strength platform. In Multi-Agent Programming: Languages, Platforms and Applications, 175–193. Kluwer.

Winikoff M. 2010. Assurance of agent systems: what role should formal verification play? In Specification and Verification of Multi-Agent Systems Dastani M., Hindriks K. V. & Meyer J.-J. C. (eds). ACM Press, 353–383, ISBN: 978-1-4419-6983-5.

Winikoff M., Padgham L., Harland J. & Thangarajah J. 2002. Declarative and procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Respresentation and Reasoning (KR’02).

Woolridge M. 2002. Introduction to Multiagent Systems, John Wiley & Sons, Inc.

Wooldridge M. 2009. An Introduction to MultiAgent Systems, 2nd edition. Wiley, ISBN: 978-0-470-51946-2.

Zambonelli F., Jennings N. R. & Wooldridge M. 2003. Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM)12(3), 317–370.