LIP6 events (SMA)

• 12/14/2023 - Logics for Strategic Reasoning: Recent Developments and Application to Mechanism Design
  Schedule : 13:00
  Speaker(s) : Munyque Mittelmann (Univ. of Naples Frederico II)
  In recent years a wealth of logic-based languages have been introduced to reason about the strategic abilities of autonomous agents in multi-agent systems. This talk presents some of these important logical formalisms, namely, the Alternating-time Temporal Logic and Strategy Logi...
  Campus Pierre et Marie Curie, Salle 24(25/405