{"id":6881,"date":"2021-01-13T14:59:26","date_gmt":"2021-01-13T06:59:26","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?page_id=6881"},"modified":"2021-06-18T20:44:01","modified_gmt":"2021-06-18T12:44:01","slug":"program","status":"publish","type":"page","link":"https:\/\/www.zlaire.net\/events\/previous\/lngai2021\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

HOME<\/a><\/span>\u00a0 Invited Speakers<\/a><\/span>\u00a0 Program Committee<\/a><\/span>\u00a0 Accepted Papers<\/a><\/span>\u00a0\u00a0Program<\/a><\/span>\u00a0\u00a0IfCoLog Speakers<\/a><\/span><\/p>\n

\n
<\/div>\n<\/div>\n

 <\/p>\n

** Time indicated is Beijing Time (UTC +8) **<\/p>\n

 <\/p>\n

June 18<\/p>\n

15:00 – 15:45 Logic in New Generation AI: A research roadmap (Project leader, Beishui Liao) (Chair: Zachiri McKenzie)<\/p>\n

15:45 – 16:00 Tea Break<\/p>\n

16:00 – 16:45 IfCoLog Speech: A Brief Introduction to the Shkop Approach to Conflict Resolution in Formal Argumentation (Dov Gabbay and Timotheus Kampik) (Chair: Emil Weydert)<\/p>\n

17:00 \u2013 17:25 Getting Consensus Through a Context-Based Argumentation Framework (Zhe Yu and Shier Ju) (Chair: Emil Weydert)<\/p>\n

17:25 \u2013 17:50 Arguing Coalitions in Abstract Argumentation (Lisha Qiao, et al.) (Chair: Emil Weydert)<\/p>\n

 <\/p>\n

19:00 – 19:30 Formal Argumentation and Nonmonotonic Reasoning (WP2, Bin Wei) (Chair: Zachiri McKenzie)<\/p>\n

19:30 – 19:55 Intrinsic and Extrinsic Argument Strengths in Collective Argumentation (Chonghui Li & Beishui Liao) (Chair: Bin Wei)<\/p>\n

19:55 – 20:20 A Flexible Approach to Argumentation Framework Analysis using Theorem Proving (David Fuenmayor & Alexander Steen) (Chair: Bin Wei)<\/p>\n

20:20 – 20:35 Tea Break<\/p>\n

20:35 – 21:20 Keynote: Assumption-Based Reasoning for the Next Generation (Alexander Bochman) (Chair: Leon van der Torre)<\/p>\n

 <\/p>\n

June 19<\/p>\n

15:00 – 15:30 New Developments of Traditional Non-monotonic Logics (WP1, Yi N. Wang) (Chair: Zachiri McKenzie)<\/p>\n

15:30 – 15:55 A Logical Description of Strategizing in Social Network Games (Ramit Das & R. Ramanujam) (Chair: Yi Wang)<\/p>\n

15:55 – 16:10 Tea Break<\/p>\n

16:10 – 16:55 Keynote: Spaces of Argumentation and Their Interaction (Gabriella Pigozzi) (Chair: Dov Gabbay)<\/p>\n

17:10 – 17:35 Modal Logic of Defeasible Reasoning (Huimin Dong and Y\u00ec Nicholas W\u00e1ng) (Chair: Dov Gabbay)<\/p>\n

 <\/p>\n

19:00 – 19:45 Keynote: Causal Inference in Observational Studies (Kun Kuang) (Chair: Mehdi Dastini)<\/p>\n

20:00 – 20:25 Experiments in Causality and STIT (David Streit) (Chair: Kaibo Xie)<\/p>\n

20:25 – 20:35 Tea Break<\/p>\n

20:35 \u2013 20:50 Analysing Plausible Reasoning with a Gradual Argumentation Model (Bin Wei)(short) (Chair: Kaibo Xie)<\/p>\n

20:50 \u2013 21:05 Formalizing the Right to Know: Epistemic Rights as Normative Positions (R\u00e9ka Markovich and Olivier Roy) (short) (Chair: Kaibo Xie)<\/p>\n

 <\/p>\n

June 20<\/p>\n

15:00 – 15:30 Reasoning about Knowledge Graphs (WP5, Jianhua Dai) (Chair: Huimin Dong)<\/p>\n

15:30 \u2013 15:55 On Link Deletion and Point Deletion in Games on Graphs (Sujata Ghosh, Shreyas Gupta & Lei Li) (Chair: Daojian Zeng)<\/p>\n

15:55 – 16:10 Tea Break<\/p>\n

16:10 – 16:55 Keynote: Reasoning in Knowledge Graphs (Guilin Qi) (Chair: R Ramanujam)<\/p>\n

17:10 – 17:25 A Formal Approach to Case Comparison in Case-based Reasoning (Heng Zheng, Davide Grossi & Bart Verheij) (short) (Chair: R Ramanujam)<\/p>\n

 <\/p>\n

19:00 – 19:30 Reasoning about Norms and Values (WP4, Leon van der Torre) (Chair: Zachiri McKenzie)<\/p>\n

19:30 – 19:55 Automated Translation of Contract Texts into Defeasible Deontic Logic (Luca Pasetto & Matteo Cristani) (Chair: Leon van der Torre)<\/p>\n

19:55 – 20:10 Tea Break<\/p>\n

20:10 – 20:55 Keynote: Reasoning about Moral Conflicts in AI (Marija Slavkovik) (Chair: Beishui Liao)<\/p>\n

21:10 \u2013 21:20 Closing<\/p>\n","protected":false},"excerpt":{"rendered":"

HOME\u00a0 Invited Speakers\u00a0 Program Committee\u00a0 Accepted Papers\u00a0\u00a0Program\u00a0\u00a0IfCoLog Speakers   ** Time indicated is Beijing Time (UTC +8) **   June 18 15:00 – 15:45 Logic in New Generation AI: A research roadmap (Project leader, Beishui Liao) (Chair: Zachiri McKenzie) 15:45 …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":7021,"parent":6845,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-6881","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/6881","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=6881"}],"version-history":[{"count":10,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/6881\/revisions"}],"predecessor-version":[{"id":7400,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/6881\/revisions\/7400"}],"up":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/6845"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/7021"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=6881"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}