53 search results - page 2 / 11 » Model Checking for Multiagent Systems: the Mable Language an... |
ATAL
2003
Springer
13 years 9 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
CLIMA
2011
12 years 4 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
ICEIS
2008
IEEE
13 years 11 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
ESAW
2008
Springer
13 years 6 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
CLIMA
2007
13 years 6 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...