547 search results - page 4 / 110 » Holonic Multiagent Systems - Theory and Applications |
127
click to vote
TASE
2010
IEEE
14 years 6 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
105
click to vote
ESAW
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
109
click to vote
DFG
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
DALT
2008
Springer
15 years 23 days ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
ATAL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...