Sciweavers

331 search results - page 2 / 67
» Quantified coalition logic
Sort
View
ATAL
2006
Springer
13 years 9 months ago
On the logic of coalitional games
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
JOLLI
2010
171views more  JOLLI 2010»
13 years 3 days ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
Andreas Herzig, Emiliano Lorini
CSFW
2006
IEEE
13 years 11 months ago
A Framework for Establishing Decentralized Secure Coalitions
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
Hongbin Zhou, Simon N. Foley
ATAL
2006
Springer
13 years 9 months ago
Temporal qualitative coalitional games
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
SRDS
2007
IEEE
13 years 11 months ago
Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...
Song Fu, Cheng-Zhong Xu