660 search results - page 5 / 132 » Reasoning about Dynamic Policies |
ATAL
2003
Springer
14 years 17 days ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
RR
2007
Springer
14 years 1 months ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
ICFEM
2009
Springer
14 years 1 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
ATAL
2005
Springer
14 years 27 days ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...