2812 search results - page 25 / 563 » Secrecy in Multiagent Systems |
ATAL
2004
Springer
14 years 6 days 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 ...
SIMPRA
2008
13 years 8 months ago
2008
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
ESAW
2009
Springer
14 years 3 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 2 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...
RIVF
2003
13 years 9 months ago
2003
— Game theory models and analyzes the situations of conflict and cooperation among independent decision-makers. We can view the runs of a multi-agent system as a game where the ...