Hostname: page-component-89b8bd64d-dvtzq Total loading time: 0 Render date: 2026-05-08T02:44:08.807Z Has data issue: false hasContentIssue false
  • English
  • Français

Programming multi-agent systems

Published online by Cambridge University Press:  03 September 2015

Mehdi Dastani
Get access Rights & Permissions [Opens in a new window]

Abstract

With the significant advances in the area of autonomous agents and multi-agent systems in the last decade, promising technologies for the development and engineering of multi-agent systems have emerged. The result is a variety of agent-oriented programming languages, development frameworks, execution platforms, and tools that facilitate building and engineering of multi-agent systems. This paper provides an overview of the multi-agent programming research field and explains the aim and characteristics of various multi-agent programming languages and development frameworks. This overview is complemented with a discussion on the current trends and challenges in this research community.

Information

Type
Articles
Information
The Knowledge Engineering Review , Volume 30 , Special Issue 4: Challenges in Agent-Oriented Software Engineering , September 2015 , pp. 394 - 418
Copyright
© Cambridge University Press, 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Adal, A. 2010. An Interpreter for Organization Oriented Programming Language. Master’s thesis, Utrecht University.Google Scholar
Å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.CrossRefGoogle Scholar
Arbab, F. 1998. What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), 11–22.Google Scholar
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.CrossRefGoogle Scholar
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 Science 15(13), 2629–2652.Google Scholar
Bacchus, F. & Kabanza, F. 1998. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22(1–2), 5–27.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
Baral, C. & Zhao, J. 2007. Non-monotonic temporal logics for goal specification. In International Joint Conference on Artificial Intelligence (IJCAI), 236–242.Google Scholar
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.Google Scholar
Bellifemine, F., Bergenti, F., Caire, G. & Poggi, A. 2005. JADE—a Java agent development framework. In Multi-Agent Programming: Languages, Platforms and Applications. Kluwer.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
Boella, G. & van der Torre, L. 2008. Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic 6, 152–171.CrossRefGoogle Scholar
Boissier, O., Bordini, R., Hbner, J. F., Ricci, A. & Santi, A. 2013. Multi-agent oriented programming with JaCaMo. Science of Computer Programming 78, 747–761.CrossRefGoogle Scholar
Bordini, R., Huubner, J. & Wooldridge, M. 2007. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology, John Wiley & Sons.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
Bratman, M. E., Israel, D. J. & Pollack, M. E. 1988. Plans and resource-bounded practical reasoning. Computational Intelligence 4(3), 349–355.CrossRefGoogle Scholar
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).CrossRefGoogle Scholar
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.Google Scholar
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 Systems 8(3), 203–236.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
Cohen, P. R. & Levesque, H. J. 1990. Intention is choice with commitment. Artificial Intelligence 42(2–3), 213–261.CrossRefGoogle Scholar
Collier, R. 2007. Debugging agents in agent factory. In Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (ProMAS’06), 229–248.Google Scholar
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.CrossRefGoogle Scholar
Dastani, M. 2008. 2APL: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems 16(3), 214–248.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
Dastani, M. & Gomez-Sanz, J. 2006. Programming multi-agent systems. The Knowledge Engineering Review 20(2), 151–164.CrossRefGoogle Scholar
Dastani, M. & Gomez-Sanz, J. J. 2005. AgentLink III Technical Forum Group, programming multiagent systems. http://people.cs.uu.nl/mehdi/al3promas.html.Google Scholar
Dastani, M., Hindriks, K. & Meyer, J.-J. C. 2010. Specification and Verification of Multi-Agent Systems, Springer, ISBN 978-1-4419-6983-5.CrossRefGoogle Scholar
Dastani, M. & Meyer, J.-J. C. 2010. Agents with emotions. International Journal of Intelligent Systems 25(7), 636–654.Google Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
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).CrossRefGoogle Scholar
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).Google Scholar
De Giacomo, G., Lesperance, Y. & Levesque, H. J. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1–2), 109–169.CrossRefGoogle Scholar
Dignum, V. 2004. A Model for Organizational Interaction. PhD thesis, Utrecht University, SIKS.Google Scholar
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.Google Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
Ferber, J. 1999. Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, Addison-Wesley Longman Publishing, ISBN: 0201360489.Google Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
Gomez-Sanz, J. & Pavon, J. 2003. Agent oriented software engineering with INGENIAS. In LNCS, 2691, 394–403. Springer.Google Scholar
Grossi, D. 2007. Designing Invisible Handcuffs. PhD thesis, Utrecht University, SIKS.Google Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
Hindriks, K., De Boer, F., Van der Hoek, W. & Meyer, J.-J. C. 1999. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401.CrossRefGoogle Scholar
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.Google Scholar
Hindriks, K. & van Riemsdijk, M. B. 2008. Satisfying maintenance goals. In Declarative Agent Languages and Technologies (DALT 07), LNAI, 4897, 86–103. Springer.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
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 Engineering 1(3/4), 370–395.CrossRefGoogle Scholar
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 Systems 20, 369–400.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Meyer, J.-J. C., van der Hoek, W. & van Linder, B. 1999. A logical approach to the dynamics of commitments. Arificial Intelligence 113, 1–40.CrossRefGoogle Scholar
Miiller, J. P. 1996. The De sign of Autonomous Agents A Layered Approach, LNAI, 1177. Springer-Verlag.Google Scholar
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.CrossRefGoogle Scholar
Nair, R. & Tambe, M. 2005. Hybrid BDI-POMDP framework for multiagent teaming. Journal of Artificial Intelligence Research 23(1), 367–420.CrossRefGoogle Scholar
Novaik, P. & Dix, J. 2006. Modular BDI architecture. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06).CrossRefGoogle Scholar
Omicini, A. 2007. Formal ReSpecT in the A&A perspective. Electronic Notes Theoretical Computer Science 175(2), 97–117.CrossRefGoogle Scholar
Padgham, L. & Winikoff, M. 2003. Prometheus: a methodology for developing intelligent agents. In Lecture Notes in Artificial Intelligence, 2585, 174–185. Springer.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
Prakken, H. & Sergot, M. 1996. Contrary-to-duty obligations. Studia Logica 57, 91–115.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Ricci, A., Viroli, M. & Omicini, A. 2006. Cartago: a framework for prototyping artifact-based environments in MAS. In E4MAS, 67–86.Google Scholar
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.CrossRefGoogle Scholar
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 Intelligence 41(2–4), 259–299.CrossRefGoogle Scholar
Shapiro, S. & Brewka, G. 2007. Dynamic interactions between goals and beliefs. In International Joint Conference on Artificial Intelligence (IJCAI’07), 2625–2630.Google Scholar
Shoham, Y. 1993. Agent-oriented programming. Artificial Intelligence 60, 51–92.CrossRefGoogle Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
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/ACM 2, 169–175.CrossRefGoogle Scholar
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).Google Scholar
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.Google Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
Van Dyke Parunak, H. & Weyns, D. (eds) 2007. Introduction, special issue on environments for multi-agent systems. Autonomous Agents and Multi-Agent Systems 14(1), 1–4.Google Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
Weiss, G. 1999. Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence, The MIT Press, ISBN: 0-262-23203-0.Google Scholar
Weyns, D., Van Dyke Parunak, H., Michel, F., Holvoet, T. & Ferber, J. (eds) 2005. Environments for Multi agent Systems State-of-the-Art and Research Challenges, LNCS, 3374, 1–47. Springer.CrossRefGoogle Scholar
Winikoff, M. 2005. JACK™ intelligent agents: an industrial strength platform. In Multi-Agent Programming: Languages, Platforms and Applications, 175–193. Kluwer.Google Scholar
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.CrossRefGoogle Scholar
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).Google Scholar
Woolridge, M. 2002. Introduction to Multiagent Systems, John Wiley & Sons, Inc.Google Scholar
Wooldridge, M. 2009. An Introduction to MultiAgent Systems, 2nd edition. Wiley, ISBN: 978-0-470-51946-2.Google Scholar
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.CrossRefGoogle Scholar