Invited Talk: Formal Aspects of Strategic Reasoning AnielloMurano aniello.murano@unina.it University of Naples "Federico II"
Italy
Department of Electrical Engineering and Information Technology University of Naples Federico II Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology International Conference on Principles of Knowledge Representation and Reasoning (KR2024)
November 2-8 2024 Hanoi Vietnam
Invited Talk: Formal Aspects of Strategic Reasoning 1613-0073 1CF4121403CFD18BF4B491C3B2D8E972 GROBID - A machine learning software for extracting information from scholarly documents Knowledge Representation and Reasoning Formal Methods Strategy Logics Strategic Reasoning Reactive Synthesis

Strategic reasoning is essential in numerous fields, including game theory, artificial intelligence, economics, and cybersecurity, as it involves devising and analyzing strategies to achieve goals in both competitive and cooperative settings. This talk will explore the formal aspects of strategic reasoning, focusing on the mathematical and logical underpinnings that enable precise and effective strategy formulation. Key model frameworks, such as Alternating-time Temporal Logic (ATL) and Strategy Logic, one of the most powerful logic for strategic reasoning, will be discussed to illustrate their roles in understanding and predicting strategic interactions.