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]

@inproceedings{Guerra-HernandezCF08-0,
  title = {CTL AgentSpeak(L): a specification language for agent programs},
  author = {Alejandro Guerra-Hernández and José Martín Castro-Manzano and Amal El Fallah-Seghrouchni},
  year = {2008},
  url = {http://ceur-ws.org/Vol-408/Paper09.pdf},
  researchr = {https://researchr.org/publication/Guerra-HernandezCF08-0},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  editor = {Mauricio Osorio and Ivan Olmos},
  volume = {408},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}