{"id":5439,"date":"2019-05-22T12:57:06","date_gmt":"2019-05-22T04:57:06","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?page_id=5439"},"modified":"2020-05-20T09:06:49","modified_gmt":"2020-05-20T01:06:49","slug":"programme","status":"publish","type":"page","link":"https:\/\/www.zlaire.net\/events\/previous\/3rd-chinese-polish-workshop\/programme\/","title":{"rendered":"Programme"},"content":{"rendered":"
\"\"<\/a>

Simple Map of Venue and Hotel<\/p><\/div>\n

Home<\/span><\/a>  Deontic Logic for Autonomous Cars<\/a><\/span>  Programme<\/a><\/span>  Special Issue<\/a><\/span>  Travel Information<\/a><\/span>  Newsletter<\/a><\/span><\/p>\n

Dates: <\/strong>7-8 September 2019<\/p>\n

Venue:<\/strong> \u53e4\u7c4d\u6240\u4f1a\u8bae\u5ba4\uff08\u884c\u653f\u697c229\u5ba4\uff09Room 229, Administrative Building, Xixi Campus, Zhejiang University. <\/p>\n

 <\/p>\n

SATURDAY SEPT. 7th<\/span><\/p>\n

 <\/p>\n

8:45 opening<\/span><\/p>\n

 <\/p>\n

session 1. <\/span>Logic in China and logic in Poland<\/span><\/i> 9:00 – 10:20<\/span><\/p>\n

9:00 – 9:40 <\/span>Fenrong Liu<\/b>, Do We Reason Alike? Difference and Similarities between Chinese and Western Logical Traditions<\/span><\/p>\n

9:40 – 10:20 <\/span> Tomasz Jarmu\u017cek, Piotr Kulicki<\/b>, Mateusz Klonowski, Jacek Malinowski, Polish logic: past, present and future<\/span><\/p>\n

 <\/p>\n

10:20 – 10:50 coffee break<\/span><\/p>\n

 <\/p>\n

session 2. 10:50 – 12:10<\/span><\/p>\n

 <\/p>\n

10:50 – 11:30<\/span> Kai Li<\/b>, Formalizing Legal Reasoning Based on Answer Set Programming<\/span><\/p>\n

11:30 – 12:10 Fengkui Ju<\/strong><\/span>, Subset Neighborhood Semantics for Coalition Logic<\/span><\/p>\n

 <\/p>\n

session 3. <\/span>Deontic logic for autonomous cars<\/span><\/i> 13:40 – 18:00 <\/span><\/p>\n

13:30 – 14:10<\/span> Piotr Kulicki<\/b>, Why we try to develop deontic logic for autonomous cars?<\/span><\/p>\n

14:10 – 14:50 <\/span>Ryutaro Ichise<\/b>, Ontology-based Advanced Driver-Assistance Systems<\/span><\/p>\n

14:50 – 15:30 <\/span>Robert Trypuz<\/b>, (teleconference mode)  How do autonomous cars learn and what does it mean for their ethics and logic?<\/span><\/p>\n

 <\/p>\n

15:30 – 16:00 coffee break<\/span><\/p>\n

 <\/p>\n

16:00-18:00<\/span><\/p>\n

16:00 – 16:40 R\u00e9ka Markovich<\/strong><\/span>, From Applied Logic and Legal Theory to Applied Ethics<\/span><\/p>\n

16:40 – 17:20 <\/span>Tomasz Kwarci\u0144ski<\/b>, Autonomous cars and the possibility of ethical imperialism<\/span><\/p>\n

 <\/p>\n

SUNDAY SEPT. 8th<\/span><\/p>\n

 <\/p>\n

Session 1. 9:00 – 12:10<\/span><\/p>\n

9:00 – 9:40  <\/span>Leon van der Torre<\/b>, Huimin Dong, Beishui Liao, Reka Markovich, From Classical to Non-Monotonic Deontic Logic using ASPIC+<\/span><\/p>\n

9:40 -10:20 <\/span>Mehdi Dastani<\/b>, Norm Enforcement in Multiagent Systems<\/span><\/p>\n

 <\/p>\n

10:20 – 10:50 coffee break<\/span><\/p>\n

 <\/p>\n

10:50 – 11:30 <\/span>Marek Sergot<\/b>, On the underlying assumptions of STIT logics<\/span><\/p>\n

11:30 – 12:10<\/span> Jiahong Guo<\/b>, Analysis on Two Kinds of Classical Paradoxes from the Perspective of ‘Levels of Truth’<\/span><\/p>\n

 <\/p>\n

12:10 – 13:30 lunch break<\/span><\/p>\n

 <\/p>\n

Session 2. 13:30 – 15:30 <\/span><\/p>\n

 <\/p>\n

13:30  – 14:10 <\/span>Tomasz Jarmu\u017cek, <\/b>Krzysztof Pietrowicz, Joanna Szalacha-Jarmu\u017cek, Jacek Malinowski, Social Ontologies in a Language of Positional Logic<\/span><\/p>\n

14:10 – 14:50 <\/span> Beishui Liao<\/b>, Interdisciplinary Research in AI, Logic and Cognition at Zhejiang University<\/span><\/p>\n

14:50 – 15:30<\/span> Xin Sun<\/b>, Logic for smart contracts on quantum blockchain<\/span><\/p>\n

15:30 – 16:10 <\/span>Nov Gabby<\/b>  (+co-authors), Machine Argumentation: Can We Replace Taxi Drivers by Robots?<\/span><\/p>\n

 <\/p>\n

16:10 Closing<\/span><\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Home  Deontic Logic for Autonomous Cars  Programme  Special Issue  Travel Information  Newsletter Dates: 7-8 September 2019 Venue: \u53e4\u7c4d\u6240\u4f1a\u8bae\u5ba4\uff08\u884c\u653f\u697c229\u5ba4\uff09Room 229, Administrative Building, Xixi Campus, Zhejiang University.    SATURDAY SEPT. 7th   8:45 opening   session 1. Logic in China and logic in …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":5423,"parent":5421,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-5439","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5439","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=5439"}],"version-history":[{"count":10,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5439\/revisions"}],"predecessor-version":[{"id":6498,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5439\/revisions\/6498"}],"up":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5421"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/5423"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=5439"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}