=Paper=
{{Paper
|id=Vol-3876/invited2
|storemode=property
|title=Formal Aspects of Strategic Reasoning
|pdfUrl=https://ceur-ws.org/Vol-3876/invited2.pdf
|volume=Vol-3876
|authors=Aniello Murano
|dblpUrl=https://dblp.org/rec/conf/kodis/Murano24
}}
==Formal Aspects of Strategic Reasoning==
<pdf width="1500px">https://ceur-ws.org/Vol-3876/invited2.pdf</pdf>
<pre>
                         Invited Talk: Formal Aspects of Strategic Reasoning
                         Aniello Murano
                         University of Naples “Federico II”, Italy


                                      Abstract
                                      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.

                                      Keywords
                                      Knowledge Representation and Reasoning, Formal Methods, Strategy Logics, Strategic Reasoning, Reactive
                                      Synthesis




                         1. Author Biography
                         Aniello Murano is a Full Professor in Computer Science and Artificial Intelligence at the Department of
                         Electrical Engineering and Information Technology of the University of Naples Federico II. He is an
                         EurAI Fellow and an AAIA Fellow. He joined the University Federico II in 2005 as a Researcher and was
                         promoted to Professor in 2010. He earned a Laurea degree (summa cum laude) in Computer Science in
                         1997 and a PhD in Computer Science in 2003 (with honors) from the University of Salerno. His PhD
                         studies included a one year at Rice University in Houston, where he worked under the supervision of
                         Moshe Y. Vardi. From 2002 to 2005, he was research fellow, at the University of Salerno and the Hebrew
                         University of Jerusalem, working with Orna Kupferman.




                          Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY) co-located with the
                          21st International Conference on Principles of Knowledge Representation and Reasoning (KR2024), November 2–8, 2024, Hanoi,
                          Vietnam.
                          $ aniello.murano@unina.it (A. Murano)
                          € https://people.na.infn.it/~murano/ (A. Murano)
                           0000-0003-4876-3448 (A. Murano)
                                   © 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).


CEUR
                  ceur-ws.org
Workshop      ISSN 1613-0073
Proceedings

</pre>