The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...