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

DOI10.1016/J.JALGOR.2009.02.003zbMath1167.68012OpenAlexW2091880769MaRDI QIDQ3631320

J. Martín Castro-Manzano, Amal El Fallah Seghrouchni, Alejandro Guerra-Hernández

Publication date: 8 June 2009

Published in: Journal of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgor.2009.02.003

zbMATH Keywords

specificationcommitmentAgentSpeak(L)reconsideration

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• AgentSpeak

This page was built for publication: CTL AgentSpeak(L): A specification language for agent programs