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

zbMATH Open1270.68328MaRDI QIDQ2844923

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

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

Recommendations

• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L) 👍 👎
• Operational Semantics for BDI Modules in Multi-agent Programming 👍 👎
• Using Theorem Proving to Verify Properties of Agent Programs 👍 👎
• A Declarative Agent Programming Language Based on Action Theories 👍 👎
• A language for the execution of graded BDI agents 👍 👎

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)