Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environments to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Agent-related concepts have recently increased their influence in the research and development of Computational Logic based systems. Computational Logic provides a plethora of well-defined, general, and rigorous frameworks for studying syntax, semantics and operational models for individual agents and multi-agent systems, for attending implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. Since its first edition in 2000, CLIMA has been a forum to discuss techniques for representing, programming, and reasoning formally about agents and multi-agent systems, by means of Computational Logic-based techniques. This volume contains an invited contribution by Robert Kowalski, and it collects a selection of revised papers from the CLIMA VI workshop, a report about the final SOCS dissemination event, a selection of articles about the first CLIMA tutorial programme and the first CLIMA contest. CLIMA VI home page: http://clima.deis.unibo.it/
Computational Logics in Multi-Agent Systems VI
TORRONI, PAOLO
2006
Abstract
Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environments to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Agent-related concepts have recently increased their influence in the research and development of Computational Logic based systems. Computational Logic provides a plethora of well-defined, general, and rigorous frameworks for studying syntax, semantics and operational models for individual agents and multi-agent systems, for attending implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. Since its first edition in 2000, CLIMA has been a forum to discuss techniques for representing, programming, and reasoning formally about agents and multi-agent systems, by means of Computational Logic-based techniques. This volume contains an invited contribution by Robert Kowalski, and it collects a selection of revised papers from the CLIMA VI workshop, a report about the final SOCS dissemination event, a selection of articles about the first CLIMA tutorial programme and the first CLIMA contest. CLIMA VI home page: http://clima.deis.unibo.it/I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.