Sciweavers

89
Voted
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 11 days ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck