Proving BDI Properties of Agent-Oriented Programming Languages

• 1 September 2004
• journal article
• Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
• Vol. 42  (1-3) , 197-226
• https://doi.org/10.1023/b:amai.0000034527.45635.e5

Abstract

Keywords

• DISTRIBUTED ARTIFICIAL INTELLIGENCE
• BDI LOGICS
• AGENT-ORIENTED PROGRAMMING
• STRUCTURAL OPERATIONAL SEMANTICS
• ASYMMETRY THESIS PRINCIPLES