Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dix, J<U+00fc>rgen. (Editor), Fisher, Michael. (Editor), Novk̀, Peter. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6214
• Subjects: Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Information systems.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Software Engineering.; Information Systems Applications (incl.Internet).; Logics and Meanings of Programs.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-16867-3
• Physical Description: IX, 197p. 40 illus. online resource.
• ISBN: 9783642168673
• ISSN: 0302-9743

This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg, Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi-)agent systems, and coordination and deliberation.