2712 search results - page 15 / 543 » Multiagent Systems |
ATAL
2006
Springer
14 years 1 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...
DSRT
2005
IEEE
14 years 3 months ago
2005
IEEE
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...
ATAL
2004
Springer
14 years 1 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 ...
ESAW
2009
Springer
14 years 4 months ago
2009
Springer
In sociology, the role concept is deeply researched to predict activities of human organizations and theorized with many sub-theories. In the same direction, multi-agent system res...
AIIA
2005
Springer
14 years 3 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...