These are the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), held during July 17–18, 2011 in Barcelona, and co-located with the 22nd International Joint Conference on Artificial Intelligence. Multi-agent systems are systems of interacting autonomous agents or components that can perceive and act upon their environment to achieve their individual goals as well as joint goals. Research on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to mention only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multi-agent systems, for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, and for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

TORRONI, PAOLO;
2011

Abstract

These are the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), held during July 17–18, 2011 in Barcelona, and co-located with the 22nd International Joint Conference on Artificial Intelligence. Multi-agent systems are systems of interacting autonomous agents or components that can perceive and act upon their environment to achieve their individual goals as well as joint goals. Research on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to mention only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multi-agent systems, for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, and for representing, programming and reasoning about agents and multi-agent systems in a formal way.
398
9783642223587
J. Leite; P. Torroni; T. Agotnes; G. Boella; L. van der Torre
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11585/108729
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact