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
pp.420–426
2006
Springer Verlag
Abstract

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
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.