Programming multi-agent systems

Knowledge Engineering Review

Volumn 20, Issue 2, 2005, Pages 151-164

  Dastani, Mehdi ^a   Gomez Sanz, Jorge J ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING; PROBLEM SOLVING; TECHNICAL PRESENTATIONS;

AGENT-ORIENTED PROGRAMMING LANGUAGES; PROGRAMMING MULTI-AGENT SYSTEMS; PROMAS TECHNICAL FORUM;

MULTI AGENT SYSTEMS;

EID: 33646595961     PISSN: 02698889     EISSN: 14698005     Source Type: Journal    
DOI: 10.1017/S0269888905000482     Document Type: Review

References (52)

1. Arbab, F, 2004, Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329-366.
2. Arbab, F, Herman, I and Spilling, P, 1993, An overview of manifold and its implementation. Concurrency: Practice and Experience 5(1), 23-70.
3. Baldoni, M, Boella, G and van der Torre, L, 2005, Bridging agent theory and object orientation: importing social roles in object oriented languages. In Programming Multi-Agent Systems, Third International Workshop ProMAS 2005.
4. Baldoni, M, Giordano, L, Martelli, A and Patti, V, 2000, Modeling agents in a logic action language. In Proceeding of the Workshop on Practical Reasoning Agents, International Conference on Formal and Applied Practical Reasoning.
5. Bordini, RH, Dastani, M, Dix, J and Fallah-Seghrouchni, AE (eds.), 2005a, Programming Multi-Agent Systems, Second International Workshop Pro MAS 2004 (Lecture Notes in Computer Science, 3346). Berlin: Springer.
6. Bordini, RH, Dastani, M, Dix, J and Fallah-Seghrouchni, AE (eds.), 2005b, Multi-Agent Programming: Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations, 15). Berlin: Springer.
7. Bordini, RH, Häubner, JF and Vieira, R, 2005c, Jason and the Golden Fleece of agent-oriented programming. In Bordini, RH, Dastani, M, Dix, J and Fallah-Seghrouchni, AE (eds.), Multi-Agent Programming: Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations, 15), ch. 1. Berlin: Springer, pp. 3-37.
8. Bresciani, P, Giorgini, P, Giunchiglia, F, Mylopoulos, J and Perini, A, 2003, TROPOS: an agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8(3), 203-236.
9. Brooks, RA, 1991, How to build complete creatures rather than isolated cognitive simulators. In VanLehn, K (ed.), Architectures for Intelligence. Hillsdale, NJ: Lawrence Erlbaum Associates, pp. 225-239.
10. Castelfranchi, C, 1990, Social power: a missed point in DAI, MAS and HCI. In Demazeau, Y and Muller, JP (eds.), Decentralized A. I.: Proceedings of the First European Workshop on Modelling Autonomous Agents in a Multi- Agent World. Amsterdam: North-Holland, pp. 49-62.
11. Ciampolini, A, Lamma, E, Mello, P, Toni, F and Torroni, P, 2003, Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence 37(1-2), 65-91.
12. Costantini, S and Tocchio, A, 2002, A logic programming language for multi-agent systems (Lecture Notes in Artificial Intelligence, 2424). Berlin: Springer, pp. 1-13.
13. Dastani, M, Hulstijn, J, Dignum, F and Meyer, J-JCh, 2004a, Issues in multiagent system development. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04).
14. Dastani, M, van Riemsdijk, MB, Dignum, F and Meyer, JJCh, 2004b, A Programming Language for Cognitive Agents: Goal Directed 3APL (Lecture Notes in Artificial Intelligence, 3067). Berlin: Springer, pp. 111-130.
15. Dastani, M, Dix, J and Fallah-Seghrouchni, AE (eds.), 2003, Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, (Lecture Notes in Computer Science, 3067). Berlin: Springer.
16. De Giacomo, G, Lesperance, Y and Levesque, H, 2000, ConGolog 2000, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2), 109-169.
17. Ferber, J and Gutknecht, O, 1998, A meta-model for the analysis and design of organizations in multi-agent systems. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS98).
18. Ferber, J, Gutknecht, O and Michel, F, 2003, From Agents to Organizations: An Organizational View of Multi-agent Systems (Lecture Notes in Computer Science, 3067). Berlin: Springer, pp. 214-230.
19. Fisher, M, 1993, Concurrent METATEM - A Language for Modelling Reactive Systems (Lecture Notes in Computer Science, 694). Berlin: Springer, pp. 185-196.
20. García-Serrano, A, Martinez, P and Teruel, D, 2001, Knowledge-modelling techniques in the e-commerce scenario. In Proceedings of the Workshop on E-Business and the Intelligent Web, International Joint Conference on Artificial Intelligence.
21. Gelernter, D, 1985, Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80-112.
22. Gomez-Sanz, J, Pavon, J and Garijo, F, 2005, Estimating costs for agent oriented software. In Proceedings of the Sixth International Workshop on Agent-Oriented Software Engineering.
23. Gomez-Sanz, J and Pavon, J, 2003, Agent Oriented Software Engineering with INGENIAS (Lecture Notes in Computer Science, 2691). Berlin: Springer, pp. 394-403.
24. Grossi, D, Dignum, F, Dastani, M and Royakkers, L, 2005, Foundations of organizational structures in multi-agent systems. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05), Utrecht. New York: ACM Press, pp. 690-697.
25. Iglesias, CA, Garijo, M, Centeno-Gonzalez, J and Velasco, JR, 1998, Analysis and Design of Multiagent Systems Using MAS-Common KADS (Lecture Notes in Computer Science, 1365). London: Springer, pp. 313-327.
26. Ingrand, FF, Georgeff, MP and Rao, AS, 1992, An architecture for real-time reasoning and system control. IEEE Expert, Knowledge-Based Diagnosis in Process Engineering 7(6), 34-44.
27. Jayatilleke, G, Padgham, L and Winikoff, M, 2005, Component agent framework for non-experts (CAFnE) toolkit. Software Agent-Based Applications, Platforms and Development Kits (Whitestein Series in Software Agent Technologies). Birkhäuser Publishing Company.
28. Jennings, NR, 2000, On agent-based software engineering. Artificial Intelligence 117(2), 277-296.
29. Jonker, CM and Treur, J, 1998, Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. International Journal of Cooperative Information Systems 11(1-2), 51-92.
30. Kolp, M, Castro, J and Mylopoulos, J, 2002, Towards requirements-driven information systems engineering: the tropos project. Information Systems 27(6), 365-389.
31. Laird, JE, Newell, A and Rosenbloom, PS, 1987, SOAR: an architecture for general intelligence. Artificial Intelligence 33(1), 1-64.
32. Leite, JA, Alferes, JJ and Pereira, LM, 2002, MINERVA: A Dynamic Logic Programming Agent Architecture (Lecture Notes in Artificial Intelligence, 2333). Berlin: Springer, pp. 141-157.
33. Luck, M, McBurney, P and Preist, C, 2003, Agent technology: enabling next generation computing (a roadmap for agent based computing). Technical report, http://www.agentlink.org/roadmap/index.html.
34. Omicini, A, 2000, SODA. Societies and Infrastructures in the Analysis and Design of Agent-based Systems (Lecture Notes in Computer Science, 1957). Berlin: Springer, pp. 185-193.
35. Ossowski, S, Hernández, JZ, Belmonte, MV, Maseda, J, Fernández, A, García-Serrano, A, Triguero, F, Serrano, JM and Péerez-de-la-Cruz, JL, 2004, Multi-agent systems for decision support: a case study in the transportation management domain. Applied Artificial Intelligence 18(9-10), 779-795.
36. Padgham, L and Winikoff, M, 2003, Prometheus: A Methodology for Developing Intelligent Agents (Lecture Notes in Artificial Intelligence. 2585), Berlin: Springer, pp. 174-185.
37. Penczek, W and Lomuscio, A, 2003, Verifying epistemic properties of multi-agent systems via bounded model checking. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems. New York: ACM Press, pp. 209-216.
38. Plotkin, GD, 1981, A structural approach to operational semantics. Technical report DAIMI FN-19, University of Aarhus.
39. Pokahr, A, Braubach, L and Lamersdorf, W, 2005, Jadex: a BDI reasoning engine. In Bordini, RH, Dastani, M, Dix, J and Fallah-Seghrouchni, AE (eds.), Multi-Agent Programming: Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations, 15), Berlin: Springer, ch. 6, pp. 149-174.
40. Ricci, A, Omicini, A and Denti, E, 2001, Enlightened agents in TuCSoN. AI*IA Notizie XIV, 48-49.
41. Ross, R, Collier, R and O'Hare G, 2005, AF-APL: Bridging Principles and Practices in Agent Oriented Languages (Lecture Notes in Computer Science, 3346). New York: Springer, pp. 66-88.
42. Serrano, JM and Ossowski, S, 2004, On the Impact of Agent Communication Languages on the Implementation of Agent Systems (Lecture Notes in Computer Science, 3191). Berlin: Springer, pp. 92-106.
43. Shoham, Y, 1993, Agent-oriented programming. Artificial Intelligence 60, 51-92.
44. Sichman, JS, Conte, R, Castelfranchi, C and Demazeau, Y, 1994, A social reasoning mechanism based on dependence networks. Proceedings of the Eleventh European Conference on Artificial Intelligence. Chichester: John Wiley & Sons, pp. 188-192.
45. Stathis, K, Kakas, A, Lu, W, Demetriou, N, Endriss, U and Bracciali, A, 2004, PROSOCS: a platform for programming software agents in computational logic. In Proceedings of the 4th International Symposium From Agent Theory to Agent Implementation (AT2AI-2004).
46. Thielscher, M, 2005, FLUX: a logic programming method for reasoning agents. Journal of Theory and Practice of Logic Programming 5(4), 533-565.
47. van Aart, CJ, Van Marcke, K, Pels, RF and Smulders, JLFC, 2002, International insurance traffic with software agents. In Proceedings of the Fifteenth European Conference on Artificial Intelligence (EACI2002).
48. van Aart, CJ, Wielinga, B and Schreiber, G, 2004, Organizational building blocks for design of distributed intelligent system. International Journal of Human-Computer Studies 61(5), 567-599.
49. Winikoff, M, 2005, JACKtm intelligent agents: an industrial strength platform. In Bordini, RH, Dastani, M, Dix, J and Fallah-Seghrouchni, AE (eds.), Multi-Agent Programming: Languages. Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations, 15), Berlin: Springer, ch. 7, pp. 175-193.
50. Wooldridge, M, Fisher, M, Huget, MP and Parsons, S, 2002, Model checking multi-agent systems with Mable. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems. New York: ACM Press, pp. 952-959.
51. Wooldridge, M and Jennings, NR, 1995, Intelligent agents: theory and practice. Knowledge Engineering Review 10(2), 115-152.
52. Zambonelli, F, Jennings, NR. &Wooldridge, M, 2003, Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3), 317-370.