A formal semantics for agent distribution and fault tolerance in Jason
Authors:
- Álvaro Fernández DíazÁDÁlvaro Fernández Díaz
- Lars-Åke FredlundLFLars-Åke Fredlund
- Clara Benac-EarleCBClara Benac-Earle
- Julio MariñoJMJulio Mariño
Open Access
- 20 April 2023
- journal article
- research article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 133
Abstract
No abstract availableKeywords
Funding Information
- Ministerio de Ciencia e Innovación
- Comunidad de Madrid
- European Commission
- Universidad Politécnica de Madrid (PID2019-104735RB-C44, S2018/TCS-4339)
This publication has 7 references indexed in Scilit:
- Adding distribution and fault tolerance to JasonScience of Computer Programming, 2015
- Robust artificial life via artificial programmed deathArtificial Intelligence, 2008
- On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming LanguageJournal of Artificial Intelligence Research, 2007
- Developing Multi‐Agent Systems with JADE2007
- Using Domain-Independent Exception Handling Services to Enable Robust Open Multi-Agent Systems: The Case of Agent DeathAutonomous Agents and Multi-Agent Systems, 2003
- Plans and resource‐bounded practical reasoningComputational Intelligence, 1988
- Procedural knowledgeProceedings of the IEEE, 1986