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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Leite, João (Editor), Torroni, Paolo (Editor), Ågotnes, Thomas (Editor), Boella, Guido (Editor), Torre, Leon van der (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
• Series: Lecture Notes in Computer Science, 6814
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.

This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provid...