Computational Logic in Multi-Agent Systems

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Nils Bulling Leendert Torre Serena Villata Wojtek Jamroga Wamberto Vasconcelos 

I S B N：(纸本) 9783319097633 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XVI, 199页

主 题 词：Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) 

摘      要：This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.;The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.