{"id":5043,"date":"2023-10-13T14:09:48","date_gmt":"2023-10-13T12:09:48","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5043"},"modified":"2023-10-31T09:33:50","modified_gmt":"2023-10-31T08:33:50","slug":"lira-session-natasha-alechina-2","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2023\/10\/lira-session-natasha-alechina-2\/","title":{"rendered":"LIRa session: Natasha Alechina"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/www.uu.nl\/staff\/NAAlechina\">Natasha Alechina<\/a> (Utrecht University)<\/p>\n<p>Date and Time: Thursday, November&nbsp;9th 2023, 16:30-18:00<\/p>\n<p>Venue: ILLC seminar room F1.15 in Science Park 107 and <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/p>\n<p>Title: <strong>Norms in multi-agent systems<br \/>\n<\/strong><\/p>\n<p><em>Abstract.<\/em> Norms have been widely proposed to coordinate and regulate behaviour in multi-agent systems (MAS). I will briefly describe logical approaches to verifying effects of introducing norms, and concentrate on the problem of synthesising a set of norms which ensures that MAS satisfies a design objective expressed in Alternating Time Temporal Logic ATL*. I will focus on dynamic norms, that allow us to place different constraints on the agents&#8217; behaviour depending on the state of the norm automaton and the state of the underlying MAS.<br \/>\nThe talk will be based on joint work with Giuseppe Perelli, Giuseppe De Giacomo and Brian Logan published in KR 2022.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Natasha Alechina (Utrecht University)<br \/>\nDate and Time: Thursday, November&nbsp;9th 2023, 16:30-18:00<br \/>\nVenue: ILLC seminar room F1.15 in Science Park 107 and online<br \/>\nTitle: Norms in multi-agent systems<\/p>\n<p>Abstract. Norms have been widely proposed to coordinate and regulate behaviour in multi-agent systems (MAS). I will briefly describe logical approaches to verifying effects of introducing norms, and concentrate on the [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-5043","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5043","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\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=5043"}],"version-history":[{"count":2,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5043\/revisions"}],"predecessor-version":[{"id":5055,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5043\/revisions\/5055"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5043"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5043"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5043"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}