A formal semantics for agent distribution and fault tolerance in Jason

DOI10.1016/j.jlamp.2023.100874zbMath1512.68054MaRDI QIDQ6156941

Julio Mariño, Clara Benac Earle, Álvaro Fernández Díaz, Lars-åke Fredlund

Publication date: 19 June 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

distributionsemanticsmultiagent systemsfault-toleranceJason

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Agent technology and artificial intelligence (68T42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• BDI Agent Programming in AgentSpeak Using Jason
• Programming Multi-Agent Systems in AgentSpeak usingJason

This page was built for publication: A formal semantics for agent distribution and fault tolerance in Jason