Proving the asymmetry thesis principles for a BDI agent-oriented programming language

MaRDI QIDQ2844923zbMATH OpenFDO

Authors Rafael H. Bordini, Álvaro F. Moreira

Publication date 20 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104805917

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
• Using theorem proving to verify properties of agent programs
• Operational semantics for BDI modules in multi-agent programming
• A language for the execution of graded BDI agents
• A declarative agent programming language based on action theories

Cited in

(1)

• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)

This page was built for publication: Proving the asymmetry thesis principles for a BDI agent-oriented programming language

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