Computational Logic in Multi-Agent Systems
Subtitle: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
By: edited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori
Contributors: Torre, Leon; Dastani, Mehdi; Governatori, Guido; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7486
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642328978
Subjects: Mathematical Logic and Formal Languages; Software engineering; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Artificial intelligence; Artificial Intelligence (incl. Robotics)