|
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.
Google 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.
Google 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 Science15(13), 2629–2652.
Google Scholar
|
|
Bacchus F. & Kabanza F. 1998. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence22(1–2), 5–27.
Google 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.
Google 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.
Google Scholar
|
|
Boella G. & van der Torre L. 2008. Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic6, 152–171.
Google Scholar
|
|
Boissier O., Bordini R., Hbner J. F., Ricci A. & Santi A. 2013. Multi-agent oriented programming with JaCaMo. Science of Computer Programming78, 747–761.
Google 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.
Google Scholar
|
|
Bratman M. E., Israel D. J. & Pollack M. E. 1988. Plans and resource-bounded practical reasoning. Computational Intelligence4(3), 349–355.
Google 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).
Google 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 Systems8(3), 203–236.
Google 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.
Google Scholar
|
|
Cohen P. R. & Levesque H. J. 1990. Intention is choice with commitment. Artificial Intelligence42(2–3), 213–261.
Google 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.
Google Scholar
|
|
Dastani M. 2008. 2APL: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems16(3), 214–248.
Google 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.
Google Scholar
|
|
Dastani M. & Gomez-Sanz J. 2006. Programming multi-agent systems. The Knowledge Engineering Review20(2), 151–164.
Google 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.
Google Scholar
|
|
Dastani M. & Meyer J.-J. C. 2010. Agents with emotions. International Journal of Intelligent Systems25(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.
Google 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).
Google 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 Intelligence121(1–2), 109–169.
Google 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.
Google 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.
Google 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.
Google Scholar
|
|
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.
Google 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.
Google 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.
Google 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 Engineering1(3/4), 370–395.
Google 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 Systems20, 369–400.
Google 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 Intelligence113, 1–40.
Google Scholar
|
|
Miiller J. P. 1996. The Design 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.
Google Scholar
|
|
Nair R. & Tambe M. 2005. Hybrid BDI-POMDP framework for multiagent teaming. Journal of Artificial Intelligence Research23(1), 367–420.
Google 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).
Google Scholar
|
|
Omicini A. 2007. Formal ReSpecT in the A&A perspective. Electronic Notes Theoretical Computer Science175(2), 97–117.
Google Scholar
|
|
Padgham L. & Winikoff M. 2003. Prometheus: a methodology for developing intelligent agents. In Lecture Notes in Artificial Intelligence, 2585, 174–185. Springer.
Google 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.
Google Scholar
|
|
Prakken H. & Sergot M. 1996. Contrary-to-duty obligations. Studia Logica57, 91–115.
Google 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.
Google 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 Intelligence41(2–4), 259–299.
Google 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 Intelligence60, 51–92.
Google 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.
Google 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/ACM2, 169–175.
Google 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.
Google Scholar
|
|
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.
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.
Google 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 Multiagent Systems State-of-the-Art and Research Challenges, LNCS, 3374, 1–47. Springer.
Google 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.
Google 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.
Google Scholar
|