Computing Publications

Publications Home » Multi-agent systems in computatio...

Multi-agent systems in computational logic: challenges and outcomes ofthe SOCS project

Francesca Toni

Book Chapter
CLIMA VI: Computational Logic in Multi-Agent Systems - Revised Selected and Invited Papers, CLIMA VI, London, UK, June 2005
Volume 3900
Springer Verlag

The SOCS project (A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS), funded by the European Commission under the Fifth Framework, Future and Emerging Technologies programme, has been one of the main sponsors of CLIMA VI. This short article outlines the project's main challenges and its main outcomes.

PDF of full publication (111 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.