Computational Logic in Multi-Agent Systems

This volume gathers the papers presented at CLIMA XV, the fifteenth International Workshop on Computational Logic in Multi-Agent Systems, which took place in Prague in August 2014. Twelve regular papers were chosen from twenty submissions after careful peer review.

The CLIMA workshop series offers researchers a place to discuss logic-based methods for specifying, programming and reasoning formally about autonomous agents and the systems they form. This edition highlights two areas: logics designed for agreement technologies, and logics applied to games, strategic reasoning and social choice.