{"id":60,"date":"2014-12-03T15:16:57","date_gmt":"2014-12-03T07:16:57","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=60"},"modified":"2014-12-29T16:03:06","modified_gmt":"2014-12-29T08:03:06","slug":"su-kaile-%e8%8b%8f%e5%bc%80%e4%b9%90","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/people\/research-associates\/su-kaile-%e8%8b%8f%e5%bc%80%e4%b9%90\/","title":{"rendered":"Su Kaile \u82cf\u5f00\u4e50"},"content":{"rendered":"<p><img decoding=\"async\" loading=\"lazy\" class=\"size-medium wp-image-43 alignleft\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/1kaile-137x200.jpg\" alt=\"1kaile\" width=\"137\" height=\"200\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/1kaile-137x200.jpg 137w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/1kaile.jpg 186w\" sizes=\"(max-width: 137px) 100vw, 137px\" \/><\/p>\n<p><strong>\u82cf\u5f00\u4e50 Su Kaile<\/strong>\u00a0(Griffith University)<\/p>\n<p>\u2013 <strong>Home page<\/strong>:\u00a0<a href=\"http:\/\/www.kailesu.net\/\" target=\"_blank\">www.kailesu.net<\/a><\/p>\n<p><strong>\u2013 Project involved<\/strong>:\u00a0Logic and Agency.<\/p>\n<p>\u2013\u00a0<strong>Interests<\/strong>: Modal logic, Model checking multi-agent systems, Experimental algorithms for SAT problems.<\/p>\n<p>\u2013\u00a0<strong>Most relevant publication<\/strong>:<\/p>\n<ol>\n<li>Kaile Su, Abdul Sattar, Xiangyu Luo: Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007)<\/li>\n<li>Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang: Variable Forgetting in Reasoning about Knowledge. CoRR abs\/1401.3472 (2014)<\/li>\n<li>Chanjuan Liu, Enqiang Zhu, Fenrong Liu, Kaile Su: Preference dynamics in games with short sight. Applied Mathematics and Computation 244: 493-501 (2014)<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>\u82cf\u5f00\u4e50 Su Kaile\u00a0(Griffith University) \u2013 Home page:\u00a0www.kai [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":38,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/60"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=60"}],"version-history":[{"count":6,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/60\/revisions"}],"predecessor-version":[{"id":401,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/60\/revisions\/401"}],"up":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/38"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=60"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}