TITLE: Logics with Explicit or Specific Strategies. SPEAKER: Wiebe van der Hoek ABSTRACT: Alternating-time Temporal Logic is a well-accepted formalism to reason about non-cooperative scenario's in multi-agent systems. A salient aspect of this logic is that the language does not cater for strategies, whereas the semantics clearly does. We therefore look at ATLES -- ALT with Explicit Strategies -- and show that strategies can be added to the language of ATL with little additional cost. Then, we move to Boolean Cooperative Games. Here, strategies are straightforward: they are just valuations for subsets of the atomic propositions. Adding a notion of goal to a simple propositional logic, we then define our games, and look at the complexity of notions like the Core and Stable Sets.