129 search results - page 11 / 26 » Normative KGP agents |
DEON
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
56
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
AICOM
2005
14 years 9 months ago
2005
72
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
DAGSTUHL
2007
14 years 11 months ago
2007
Organisational structures for multi-agent systems are usually defined independently of any spatial and temporal structure. Therefore, when the multi-agent system is situated in a ...