HOME Invited Speakers Program Committee Accepted Papers Program IfCoLog 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 – 16:00 Tea Break
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)
17:00 – 17:25 Getting Consensus Through a Context-Based Argumentation Framework (Zhe Yu and Shier Ju) (Chair: Emil Weydert)
17:25 – 17:50 Arguing Coalitions in Abstract Argumentation (Lisha Qiao, et al.) (Chair: Emil Weydert)
19:00 – 19:30 Formal Argumentation and Nonmonotonic Reasoning (WP2, Bin Wei) (Chair: Zachiri McKenzie)
19:30 – 19:55 Intrinsic and Extrinsic Argument Strengths in Collective Argumentation (Chonghui Li & Beishui Liao) (Chair: Bin Wei)
19:55 – 20:20 A Flexible Approach to Argumentation Framework Analysis using Theorem Proving (David Fuenmayor & Alexander Steen) (Chair: Bin Wei)
20:20 – 20:35 Tea Break
20:35 – 21:20 Keynote: Assumption-Based Reasoning for the Next Generation (Alexander Bochman) (Chair: Leon van der Torre)
June 19
15:00 – 15:30 New Developments of Traditional Non-monotonic Logics (WP1, Yi N. Wang) (Chair: Zachiri McKenzie)
15:30 – 15:55 A Logical Description of Strategizing in Social Network Games (Ramit Das & R. Ramanujam) (Chair: Yi Wang)
15:55 – 16:10 Tea Break
16:10 – 16:55 Keynote: Spaces of Argumentation and Their Interaction (Gabriella Pigozzi) (Chair: Dov Gabbay)
17:10 – 17:35 Modal Logic of Defeasible Reasoning (Huimin Dong and Yì Nicholas Wáng) (Chair: Dov Gabbay)
19:00 – 19:45 Keynote: Causal Inference in Observational Studies (Kun Kuang) (Chair: Mehdi Dastini)
20:00 – 20:25 Experiments in Causality and STIT (David Streit) (Chair: Kaibo Xie)
20:25 – 20:35 Tea Break
20:35 – 20:50 Analysing Plausible Reasoning with a Gradual Argumentation Model (Bin Wei)(short) (Chair: Kaibo Xie)
20:50 – 21:05 Formalizing the Right to Know: Epistemic Rights as Normative Positions (Réka Markovich and Olivier Roy) (short) (Chair: Kaibo Xie)
June 20
15:00 – 15:30 Reasoning about Knowledge Graphs (WP5, Jianhua Dai) (Chair: Huimin Dong)
15:30 – 15:55 On Link Deletion and Point Deletion in Games on Graphs (Sujata Ghosh, Shreyas Gupta & Lei Li) (Chair: Daojian Zeng)
15:55 – 16:10 Tea Break
16:10 – 16:55 Keynote: Reasoning in Knowledge Graphs (Guilin Qi) (Chair: R Ramanujam)
17:10 – 17:25 A Formal Approach to Case Comparison in Case-based Reasoning (Heng Zheng, Davide Grossi & Bart Verheij) (short) (Chair: R Ramanujam)
19:00 – 19:30 Reasoning about Norms and Values (WP4, Leon van der Torre) (Chair: Zachiri McKenzie)
19:30 – 19:55 Automated Translation of Contract Texts into Defeasible Deontic Logic (Luca Pasetto & Matteo Cristani) (Chair: Leon van der Torre)
19:55 – 20:10 Tea Break
20:10 – 20:55 Keynote: Reasoning about Moral Conflicts in AI (Marija Slavkovik) (Chair: Beishui Liao)
21:10 – 21:20 Closing