Modelling agents as observable sources

Journal of Universal Computer Science

Volumn 8, Issue 4, 2002, Pages 423-452

  Viroli, Mirko ^a   Omicini, Andrea ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Coordination patterns; Formal models; Multi agent systems

Indexed keywords

EID: 0010220748     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. Gui Agha. Actors: A Model for Concurrent Computation in Distributed Systems. MIT Press, 1986.
2. Jan A. Bergstra, Alban Ponse, and Scott A. Smolka, editors. Handbook of Process Algebra. North-Holland, 2001.
3. Gérard Berry and Gérard Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217-248, 1992.
4. Gérard Boudol. Asynchrony and the π-calculus. Rapport de Researche, INRIA, Sophia Antipolis, Number 1702, May 1992.
5. FIPA. FIPA2000 specification. Foundation for Intelligent Physical Agents, http://www.fipa.org, 2000.
6. R.J. van Glabbeek. The linear time - branching time spectrum I. The semantics of concrete, sequential processes. In Bergstra et al. [Bergstra et al., 2001], chapter 1, pages 3-100.
7. Carl Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323-364, 1977.
8. M.A. Reniers J.F.Groote. Algebraic process verification. In Bergstra et al. [Bergstra et al., 2001], chapter 17, pages 1151-1208.
9. Robin Milner. Communication and Concurrency. Prentice Hall, 1989.
10. Robin Milner. Communicating and Mobile Systems: The π-calculus. Cambridge University Pres, 1999.
11. Andrea Omicini and Enrico Denti. From tuple spaces to tuple centres. Science of Computer Programming, 41(3):277-294, November 2001.
12. Andrea Omicini, Franco Zambonelli, Matthias Klusch, and Robert Tolksdorf, editors. Coordination of Internet Agents: Models, Technologies, and Applications. Springer-Verlag, March 2001.
13. J. Parrow. An introduction to the π-calculus. In Bergstra, et al. [Bergstra et al., 2001], chapter 8, pages 479-544.
14. J. Parrow. Partial order process algebra (and its relation to Petri nets). In Bergstra et al. [Bergstra et al., 2001], chapter 13, pages 769-873.
15. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Open multi-agent systems: Agent communication and integration. In Nicholas R. Jennings and Yves Lespérance, editors, Intelligent Agents VI, volume 1757 of LNAI, pages 218-232. Springer-Verlag, 2000.
16. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Operational semantics for agent communication languages. In Frank Dignum and Mark Greaves, editors, Issues in Agent Communication, volume 1916 of LNAI, pages 80-95. Springer-Verlag, 2000.
17. Mirko Viroli and Andrea Omicini. Multi-agent systems as composition of observable systems. In WOA 2001 - Dagli oggetti agli agenti: tendenze evolutive dei sistemi software, Modena, Italy, 4-5 September 2001. Pitagora Editrice Bologna.
18. Mirko Viroli and Andrea Omicini. Specifying agents' observable behaviour. In 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 15-19 July 2002. ACM.
19. Mirko Viroli and Andrea Omicini. Towards an alternative semantics for FIPA ACL. In 16th European Meeting on Cybernetics and Systems Research (EMCRS 2002), 3rd International Symposium "From Agent Theory to Agent Implementation" (AT2AI-3), Vienna, Austria, 3-5 April 2002.
20. Mirko Viroli and Andrea Omicini. Tuple-based models in the observation framework. In Farhad Arbab and Carolyn Talcott, editors, Coordination Languages and Models, volume 2315 of LNCS, pages 364-379. Springer-Verlag, 2002. 5th International Conference (COORDINATION 2002), 8-11 April 2002, York, UK, Proceedings.
21. Mirko Viroli, Gianluca Moro, and Andrea Omicini. On observation as a coordination pattern: An ontology and a formal framework. In 16th ACM Symposium on Applied Computing (SAC 2001), pages 166-175, Las Vegas (NV), 11-14 March 2001. ACM. Track on Coordination Models, Languages and Applications.
22. Peter Wegner. Why interaction is more powerful than computing. Communications of the ACM, 40(5):80-91, May 1997.
23. Michael Wooldridge. Reasoning about Rational Agents. The MIT Press, 2000.