{"type":"ScholarlyArticle","title":"Reasoning About Agents That May Know Other Agents’ Strategies","authors":[{"name":"Francesco Belardinelli","slug":"francesco-belardinelli","given":"Francesco","family":"Belardinelli","affiliation":""},{"name":"Sophia Knight","slug":"sophia-knight","given":"Sophia","family":"Knight","affiliation":""},{"name":"Alessio Lomuscio","slug":"alessio-lomuscio","given":"Alessio","family":"Lomuscio","affiliation":""},{"name":"Bastien Maubert","slug":"bastien-maubert","given":"Bastien","family":"Maubert","affiliation":""},{"name":"Aniello Murano","slug":"aniello-murano","given":"Aniello","family":"Murano","affiliation":""},{"name":"Sasha Rubin","slug":"sasha-rubin","given":"Sasha","family":"Rubin","affiliation":""}],"abstract":"We study the semantics of knowledge in strategic reasoning. Most existing works either implicitly assume that agents do not know one another’s strategies, or that all strategies are known to all; and some works present inconsistent mixes of both features. We put forward a novel semantics for Strategy Logic with Knowledge that cleanly models whose strategies each agent knows. We study how adopting this semantics impacts agents’ knowledge and strategic ability, as well as the complexity of the model-checking problem.","doi":"10.24963/ijcai.2021/246","url":"https://ijcai.org/proceedings/2021/246","pdf":"https://ijcai.org/proceedings/2021/0246.pdf","markdown":"https://ijcai.org/proceedings/2021/246.md","bibtex":"https://ijcai.org/proceedings/2021/bibtex/246","volume":{"slug":"2021","title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2021","url":"https://ijcai.org/proceedings/2021/","year":2021,"location":"Montreal","dates":"19-27 August 2021","editors":"Prof. Zhi-Hua Zhou","isbn":"978-0-9992411-9-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2021"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":246,"pages":{"first":1787,"last":1793},"keywords":["Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief","Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis","Agent-based and Multi-agent Systems: Multi-agent Planning"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}