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
A first order theory of planning, knowledge, and action
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Reasoning about knowledge and action
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Knowledge preconditions for actions and plans
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Advances in Web Semantics I
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Representing and verifying temporal epistemic properties in multi-agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
A cooperation logic for declaration structures
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory
Journal of Logic, Language and Information
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
The MACODO organization model for context-driven dynamic agent organizations
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Autonomous Agents and Multi-Agent Systems
Designing incentives for Boolean games
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A framework for coalitional normative systems
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Tractable model checking for fragments of higher-order coalition logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A dynamic logic of institutional actions
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Permissions and uncontrollable propositions in DSDL3: non-monotonicity and algorithms
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
A dynamic logic of normative systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Incentive engineering for Boolean games
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Calculus of cooperation and game-based reasoning about protocol privacy
ACM Transactions on Computational Logic (TOCL)
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Incentive engineering for Boolean games
Artificial Intelligence
AT'13 Proceedings of the Second international conference on Agreement Technologies
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Verifiable equilibria in boolean games
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
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.