A first order theory of planning, knowledge, and action
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Logics of time and computation
Logics of time and computation
Handbook of theoretical computer science (vol. B)
Model checking vs. theorem proving: a manifesto
Artificial intelligence and mathematical theory of computation
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Modal logic
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Agents and Roles: Refinement in Alternating-Time Temporal Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Satisfiability in Alternating-time Temporal Logic
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Coalition games and alternating temporal logics
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the dynamics of delegation, cooperation, and control: a logical account
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
From social power to social importance
Web Intelligence and Agent Systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Understanding organizational congruence: formal model and simulation framework
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Compact preference representation and Boolean games
Autonomous Agents and Multi-Agent Systems
A logic of games and propositional control
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A logic of propositional control for truthful implementations
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Social Responsibility among deliberative agents
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the Logic of Cellular Reactive Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
| Hi-index | 0.00 |
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the strategic powers of agents and coalitions of agents in game-like multi-agent systems. These powers are generally assumed to be implicitly defined within the structure of the environment, and their origin is rarely discussed. In this paper, we study a cooperation logic in which agents are each assumed to control a set of propositional variables--the powers of agents and coalitions then derive from the allocation of propositions to agents. The basic modal constructs in this Coalition Logic of Propositional Control (CL-PC) allow us to express the fact that a group of agents can cooperate to bring about a certain state of affairs. After motivating and introducing CL-PC, we provide a complete axiom system for the logic, investigate the issue of characterising control in CL-PC with respect to the underlying power structures of the logic, and formally investigate the relationship between CL-PC and Pauly's Coalition Logic. We then show that the model checking and satisfiability problems for CL-PC are both PSPACE-complete, and conclude by discussing our results and how CL-PC sits in relation to other logics of cooperation.