2404 search results - page 69 / 481 » Benevolent Agents in Multiagent Systems |
170
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Conviviality is a mechanism to reinforce social cohesion and a tool to reduce mis-coordination between individuals, groups and institutions in web communities, for example in digit...
157
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
204
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
205
click to vote
ICMAS
2000
15 years 7 months ago
2000
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
162
click to vote
AIIA
2005
Springer
15 years 12 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...