CTL AgentSpeak(L): a specification language for agent programs

Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah-Seghrouchni. CTL AgentSpeak(L): a specification language for agent programs. In Mauricio Osorio, Ivan Olmos, editors, Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008. Volume 408 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

Abstract

Abstract is missing.