Abstract
This is a short report about the first contest of Multi-Agent Systems (MASs) that are based on computational logic. The CLIMA workshop series (which started in 1999) is a forum to discuss techniques, based on computational logic, for representing, programming, and reasoning about Multi-Agent Systems in a formal way. Now in its seventh year, it was felt that organising a competition for evaluating MASs based on computational logic was appropriate. The authors took on this task, which turned out to be quite difficult under the given time frame. We believe that this competition is a first (modest) step towards (1) collecting important benchmarks, (2) identifying advantages/shortcomings and, finally, (3) advertising the use of Computational Logic to the broader MAS audience, and foster integration of Computational Logic into existing agent-oriented software engineering frameworks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bordini, R., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Multi-Agent Programming: Languages, Platforms, and Applications. MASA, vol. 15. Springer, Berlin (2005)
Bordini, R., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Programming Multi- Agent Systems. LNCS (LNAI), vol. 3346. Springer, Heidelberg (2005)
Brooks, R.: How to build complete creatures rather than isolated cognitive simulators. In: Architectures for Intelligence, pp. 225–239. Lawrence Erlbaum Assosiates, Hillsdale (1991)
Cares, C., Franch, X., Mayol, E.: Extending tropos for a prolog implementation: A case study using the food collecting agent problem. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 396–405. Springer, Heidelberg (2006)
Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: the TROPOS project. Information Systems 27, 365–389 (2002)
Coffey, S., Gaertner, D.: Implementing pheromone-based, negotiating forager agents. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 385–395. Springer, Heidelberg (2006)
Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Programming Multi-Agent Systems. LNCS (LNAI), vol. 3067. Springer, Heidelberg (2004)
Logie, R., Hall, J.G., Waugh, K.G.: Reactive food gathering. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 406–413. Springer, Heidelberg (2006)
Gonçalves, E.M.N., Bittencourt, G.: Strategies for multi-agent coordination in a grid world using petri nets. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 414–419. Springer, Heidelberg (2006)
Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 174–185. Springer, Heidelberg (2003)
Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3), 317–370 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dastani, M., Dix, J., Novak, P. (2006). The First Contest on Multi-agent Systems Based on Computational Logic. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_21
Download citation
DOI: https://doi.org/10.1007/11750734_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33996-0
Online ISBN: 978-3-540-33997-7
eBook Packages: Computer ScienceComputer Science (R0)