Logics for Reasoning about Agents' Attitudes in Strategic Contexts

Emiliano Lorini. Logics for Reasoning about Agents' Attitudes in Strategic Contexts. In Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori, editors, Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Volume 7486 of Lecture Notes in Computer Science, pages 26, Springer, 2012. [doi]

Abstract

Abstract is missing.