Author:
Slavkovik Marija,Dennis Louise A.,Fisher Michael
Publisher
Springer Science and Business Media LLC
Subject
Information Systems and Management,Hardware and Architecture,Information Systems,Software
Reference53 articles.
1. Barbuceanu, M., Fox, M.S.: COOL: A Language for Describing Coordination in Multi Agent Systems. In: ICMAS, pp. 17–24. The MIT Press, San Francisco (1995)
2. Belnap, N., Perloff, M.: Seeing to it that: a Canonical form for agentives. Theoria 54(3), 175–199 (1988)
3. Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 3–37. Springer (2005)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
5. de Boer, F., van Eijk, R., van der Hoek, J.-J., Meyer, W.: A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3), 1753–1773 (2003)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献