Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
DOI10.1023/B:AMAI.0000034527.45635.e5zbMath1059.68126MaRDI QIDQ702110
Rafael H. Bordini, Álvaro F. Moreira
Publication date: 17 January 2005
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
structural operational semanticsagent-oriented programmingasymmetry thesis principlesBDI logicsdistributed artificial intelligence
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (1)
Uses Software
This page was built for publication: Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
