Isaac Pinyol. A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents. 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 27-42, Springer, 2012. [doi]
Abstract is missing.