{"id":1076,"date":"2011-10-31T21:34:00","date_gmt":"2011-10-31T21:34:00","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1076"},"modified":"2011-11-21T17:43:31","modified_gmt":"2011-11-21T17:43:31","slug":"sminar-session-on-november-24th","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/10\/sminar-session-on-november-24th\/","title":{"rendered":"Seminar Session on November 24th"},"content":{"rendered":"<p><strong>Thursday, November 24th<\/strong> at <strong>15:00<\/strong> hrs we will have another session of our seminar: <a href=\"http:\/\/homepages.cwi.nl\/~jve\/\"><strong>Jan van  Eijck<\/strong><\/a> and <a href=\"http:\/\/homepages.cwi.nl\/~sietsma\/\"><strong>Floor  Sietsma<\/strong><\/a> (CWI) will present their work entitled <em><strong>Action Emulation Revisited<\/strong><\/em> with the below abstract.<\/p>\n<p>The meeting will take place in room <strong>D1.113<\/strong> in <strong>Science Park 904<\/strong>.<\/p>\n<p>Further interaction and discussions will take place with <strong>drinks <\/strong>afterward.<\/p>\n<h3>Abstract<\/h3>\n<div>It is well-known that a large class of communicative updates of Kripke models can be represented as action models (Kripke models with valuations on worlds replaced by precondition formulas). \u00a0Two action models are equivalent if they have the same update effect (modulo bisimulation) on all Kripke models. The talk will first summarize previous results (by Ji Ruan, Tomasz Sadzik and JvE) on how to characterize action model equivalence, and next extend these results.<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Thursday, November 24th at 15:00 hrs we will have another session of our seminar: Jan van  Eijck and Floor  Sietsma (CWI) will present their work entitled Action Emulation Revisited with the below abstract.<br \/>\nThe meeting will take place in room D1.113 in Science Park 904.<br \/>\nFurther interaction and discussions will take place with drinks afterward.<br \/>\nAbstract<br \/>\nIt [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1076","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\/1076","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=1076"}],"version-history":[{"count":16,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1076\/revisions"}],"predecessor-version":[{"id":1184,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1076\/revisions\/1184"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1076"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1076"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1076"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}