{"id":4234,"date":"2021-01-18T18:21:30","date_gmt":"2021-01-18T17:21:30","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4234"},"modified":"2021-02-07T16:40:32","modified_gmt":"2021-02-07T15:40:32","slug":"lira-session-sophia-knight","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2021\/01\/lira-session-sophia-knight\/","title":{"rendered":"LIRa Session: Sophia Knight"},"content":{"rendered":"<p>Speaker: <a href=\"http:\/\/www.lix.polytechnique.fr\/~sophia\/\">Sophia Knight<\/a><\/p>\n<p>Date and Time: Thursday, February&nbsp;4th 2021, 16:30-18:00, <a href=\"https:\/\/www.timeanddate.com\/time\/zone\/netherlands\/amsterdam\" target=\"_blank\" rel=\"noopener noreferrer\">Amsterdam time<\/a>.<\/p>\n<p>Venue: <strong><a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/strong>.<\/p>\n<p><strong>Title: Reasoning about agents who may know other agents\u2019 strategies in Strategy Logic<b>.<\/b><br \/>\n<\/strong><\/p>\n<p><em>Abstract. <\/em>In this talk I will discuss some new developments in Strategy Logic with imperfect information. Strategy Logic is concerned with agents&#8217; strategic abilities in multi-agent systems, and unlike ATL, treats strategies as first-class objects in the logic, independent from the agents. Thus, in imperfect information settings, Strategy Logic raises delicate issues, such as what agents know about one another&#8217;s strategies. I will describe a new version of Strategy Logic that ensures that agents&#8217; strategies are uniform, and allows a formal description of their knowledge about each other&#8217;s strategies.<\/p>\n<p>See <a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2021-02-04+by+Sophia+Knight\/0_ubw37x55\">here<\/a> for the recording of the talk.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Sophia Knight<br \/>\nDate and Time: Thursday, February&nbsp;4th 2021, 16:30-18:00, Amsterdam time.<br \/>\nVenue: online.<br \/>\nTitle: Reasoning about agents who may know other agents\u2019 strategies in Strategy Logic.<\/p>\n<p>Abstract. In this talk I will discuss some new developments in Strategy Logic with imperfect information. Strategy Logic is concerned with agents&#8217; strategic abilities in multi-agent systems, and unlike ATL, treats strategies [&#8230;]<\/p>\n","protected":false},"author":12,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14,4],"tags":[],"class_list":["post-4234","post","type-post","status-publish","format-standard","hentry","category-all","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4234","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4234"}],"version-history":[{"count":4,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4234\/revisions"}],"predecessor-version":[{"id":4285,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4234\/revisions\/4285"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4234"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4234"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4234"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}