3765 search results - page 308 / 753 » Qualitative Action Systems |
185
click to vote
POLICY
2005
Springer
16 years 27 days ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
249
click to vote
MAAMAW
1999
Springer
15 years 11 months ago
1999
Springer
Cooperation plays a fundamental role in multi-agent systems in which individual agents must interact for the overall system to function effectively. However, cooperation inherently...
207
click to vote
AAAI
2008
15 years 9 months ago
2008
What local action can agents take, without the benefit of global knowledge, to produce the best global solution? Many dynamic distributed systems can be modeled using techniques f...
210
click to vote
FMOODS
2003
15 years 8 months ago
2003
In this paper an extension of a behavioural subset of UML Statecharts for modeling mobility issues is proposed. In this extension we relax the unique association between each State...
197
click to vote
LOGCOM
2006
15 years 7 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...