A formal semantics for agent distribution and fault tolerance in Jason

DOI10.1016/J.JLAMP.2023.100874zbMATH Open1512.68054MaRDI QIDQ6156941FDOQ6156941

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)

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

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)

Cites Work

• Programming Multi-Agent Systems in AgentSpeak usingJason
• Reasoning about rational agents
• Title not available (Why is that?)
• BDI Agent Programming in AgentSpeak Using Jason
• Title not available (Why is that?)

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)