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 book contains the informal proceedings of the workshop. CLIMA VI web site: http://clima.deis.unibo.it/
Francesca Toni, Paolo Torroni (2005). Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. LONDON : City University London.
Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
TORRONI, PAOLO
2005
Abstract
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 book contains the informal proceedings of the workshop. CLIMA VI web site: http://clima.deis.unibo.it/I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
