{"id":5033,"date":"2023-10-05T12:44:22","date_gmt":"2023-10-05T10:44:22","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5033"},"modified":"2023-12-14T18:13:43","modified_gmt":"2023-12-14T17:13:43","slug":"lira-session-andreas-herzig","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2023\/10\/lira-session-andreas-herzig\/","title":{"rendered":"LIRa session: Andreas Herzig"},"content":{"rendered":"<p>Note: for the recording of this talk, <a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2023-12-14+by+Andreas+Herzig\/0_wlpf94bj\">click here<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<p>Speaker: <a href=\"https:\/\/www.irit.fr\/~Andreas.Herzig\/\">Andreas Herzig<\/a> (LILaC, IRIT, Universit\u00e9 Paul Sabatier, Toulouse)<\/p>\n<p>Date and Time: Thursday, December&nbsp;14th 2023, 16:30-18:00<\/p>\n<p>Venue: <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">Online<\/a> only (not hybrid)<\/p>\n<p>Title: <strong>Dynamic Logic of Propositional Assignments and its Properties<br \/>\n<\/strong><\/p>\n<p><em>Abstract.<\/em> Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. It provides an interesting framework for knowledge representation. Its mathematical properties differ from PDL: satisfiability and model checking are both PSPACE-complete. These results follow from the close relation of DL-PA with quantified boolean formulas, coming with expressivity and succinctness results.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Note: for the recording of this talk, click here.<br \/>\n&nbsp;<br \/>\nSpeaker: Andreas Herzig (LILaC, IRIT, Universit\u00e9 Paul Sabatier, Toulouse)<br \/>\nDate and Time: Thursday, December&nbsp;14th 2023, 16:30-18:00<br \/>\nVenue: Online only (not hybrid)<br \/>\nTitle: Dynamic Logic of Propositional Assignments and its Properties<\/p>\n<p>Abstract. Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. It [&#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-5033","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\/5033","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=5033"}],"version-history":[{"count":8,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5033\/revisions"}],"predecessor-version":[{"id":5076,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5033\/revisions\/5076"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5033"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5033"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5033"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}