Open multi-agent systems: Agent communication and integration

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1757, Issue , 2000, Pages 218-232

  van Eijk, Rogier M ^a   de Boer, Frank S ^a   van der Hoek, Wiebe ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATION; INTELLIGENT AGENTS;

AGENT COMMUNICATIONS; COMMUNICATION MECHANISMS; CONCURRENCY THEORY; EXCHANGE OF INFORMATION; FORMAL DERIVATION; OPEN MULTI-AGENT SYSTEM; OPERATIONAL MODEL; TRANSITION SYSTEM;

MULTI AGENT SYSTEMS;

EID: 84942924512     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10719619_16     Document Type: Conference Paper

References (25)

1. P.H.M. America, J. de Bakker, J.N. Kok, and J. Rutten. Operational semantics of a parallel object-oriented language. In Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, pages 194–208, St. Petersburg Beach, Florida, 1986.
2. P.H.M. America and F.S. de Boer. Reasoning about dynamically evolving process structures. Formal Aspects of Computing, 6:269–316, 1994.
3. F. Brazier, B. Dunin-Keplicz, N. Jennings, and J. Treur. Formal specification of multi-agent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS’95), pages 25–32. MIT Press, 1995.
4. K. Clark and S. Gregory. Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1):1–49, 1986.
5. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Systems of communicating agents. In Henri Prade, editor, Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI-98), pages 293–297, Brighton, UK, 1998. John Wiley & Sons, Ltd.
6. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Information-passing and belief revision in multi-agent systems. In J. P. M. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of 5th InternationalWorkshop on Agent Theories, Architectures, and Languages (ATAL’98), volume 1555 of Lecture Notes in Artificial Intelligence, pages 29–45. Springer-Verlag, Heidelberg, 1999.
7. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Operational semantics for agent communication languages. In Proceedings of FirstWorkshop on Agent Communication Languages, Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 2000.
8. Jacques Ferber and Olivier Gutknecht. Operational semantics of a role-based agent architecture. In N.R. Jennings andY. Lespérance, editors, Intelligent Agents VI — Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2000. In this volume.
9. T. Finin, D. McKay, R. Fritzson, and R. McEntire. KQML: An Information and Knowledge Exchange Protocol. In Kazuhiro Fuchi and Toshio Yokoi, editors, Knowledge Building and Knowledge Sharing. Ohmsha and IOS Press, 1994.
10. P. Gärdenfors. Knowledge in flux: Modelling the dynamics of epistemic states. Bradford books, MIT, Cambridge, 1988.
11. J. Groenendijk and M. Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14(1):39–100, 1991.
12. J. Groenendijk and M. Stokhof. Questions. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 1055–1124. Elsevier and MIT Pess, Amsterdam and Cambridge, Mass., 1997.
13. T. R. Gruber. Toward principles for the design of ontologies used for knowledge sharing. In N. Guarino and R. Poli, editors, Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, 1993.
14. C. Hewitt and P. de Jong. Analyzing the roles of descriptions and actions in open systems. In Proceedings of 3rd National Conference on Artificial Intelligence (AAAI-83), pages 162–167, Washington, D.C., 1983.
15. K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A formal semantics for an abstract agent programming language. In M.P. Singh, A. Rao, and M.J. Wooldridge, editors, Proceedings of Fourth InternationalWorkshop on Agent Theories, Architectures and Languages (ATAL’97), volume 1365 of LNAI, pages 215–229. Springer-Verlag, 1998.
16. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, 1978.
17. H. Kamp. A theory of truth and semantic interpretation. In J. Groenendijk, T. Janssen, and M. Stokhof, editors, Formal Methods in the Study of Language, pages 277–322. Mathematical Centre, Amsterdam, 1981.
18. R. Milner, J. Parrow, and D. Walke. A calculus of mobile processes. Information and Computation, 100:1–77, 1992.
19. M.H. Nodine and A. Unruh. Facilitating open communication in agent systems: The infosleuth infrastructure. In M.P. Singh, A.S. Rao, and M.J. Wooldridge, editors, Intelligent Agents IV - Agent Theories, Architectures, and Languages (ATAL’97), volume 1365 of Lecture Notes in Artificial Intelligence, pages 281–295. Springer-Verlag, 1998.
20. G. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
21. A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pages 473–484, Cambridge, Massachusettes, 1991.
22. V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, pages 232–245, 1990.
23. O. Shehory, K. Sycara, P. Chalasani, and S. Jha. Agent cloning. In Proceedings 3rd International Conference on Multi-Agent Systems (ICMAS’98), pages 463–464. IEEE Computer Society, 1998.
24. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.
25. M. Wooldridge and N. Jennings. Intelligent agents: theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.