A formal semantics for agent distribution and fault tolerance in Jason

DOI10.1016/J.JLAMP.2023.100874MaRDI QIDQ6156941zbMATH OpenFDO

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

Publication date 19 June 2023

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/J.JLAMP.2023.100874

zbMATH Keywords

distributionfault-tolerancesemanticsmultiagent systemsJason

Mathematics Subject Classification ID

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

Recommendations

• BDI Agent Programming in AgentSpeak Using Jason
• Logic-based specification languages for intelligent software agents
• scientific article; zbMATH DE number 1931644
• Operational semantics for BDI modules in multi-agent programming
• scientific article; zbMATH DE number 2087361

Cites work

• scientific article; zbMATH DE number 5547888 (Why is no real title available?)
• scientific article; zbMATH DE number 2243088 (Why is no real title available?)
• BDI Agent Programming in AgentSpeak Using Jason
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Reasoning about rational agents

Cited in

(2)

• Preface to selected papers from 20th workshop on programming and languages (PROLE 2021)
• Formalization of semantics of systems with unreliable agents by means of nets of active resources

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156941)