Taming the complexity of linear time BDI logics

Nils Bulling, Koen V. Hindriks. Taming the complexity of linear time BDI logics. In Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, editors, 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3. pages 275-282, IFAAMAS, 2011. [doi]

Abstract

Abstract is missing.