660 search results - page 42 / 132 » Reasoning about Dynamic Policies |
ATAL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
126
click to vote
EUROSSC
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
109
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
108
click to vote
IAT
2009
IEEE
14 years 9 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
118
click to vote
AAMAS
2005
Springer
14 years 11 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...