Operational semantics for BDI modules in multi-agent programming

DOI10.1007/978-3-642-16867-3_5MaRDI QIDQ3055673zbMATH OpenOpenAlexFDO

Authors Mehdi Dastani, Bas R. Steunebrink

Publication date 9 November 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16867-3_5

Mathematics Subject Classification ID

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

Recommendations

• Language Constructs for Multi-agent Programming
• scientific article; zbMATH DE number 1234566
• scientific article; zbMATH DE number 1931644
• BDI Agent Programming in AgentSpeak Using Jason
• Normative Multi-agent Programs and Their Logics

Cited in

(4)

• A formal semantics for agent distribution and fault tolerance in Jason
• Proving the asymmetry thesis principles for a BDI agent-oriented programming language
• A formal approach to embedding first-principles planning in BDI agent systems
• Towards multi-level semantics for multi-agent systems

Describes a project that uses

Uses Software

• Jadex

This page was built for publication: Operational semantics for BDI modules in multi-agent programming

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