To participate online, please join in via Zoom:
June 10th (Friday)
Zoom ID: 863 795 64368
Passcode: 971715
June 11th (Saturday)
Zoom ID: 831 953 12855
Passcode: 131763
June 12th (Sunday)
Zoom ID: 884 301 06786
Passcode: 530375
The digital proceedings can be downloaded via the webpage of collegue publication. Please click here.
This is a preliminary program. Time listed is in China time (GMT+8).
| Friday 10 June | Saturday 11 June | Sunday 12 June | |
|---|---|---|---|
| 14:50 ~ 15:00 | Openning | ||
| Chair: Bin Wei | Chair: Xuefeng Wen | Chair: Beishui Liao | |
| 15:00 ~ 16:00 | Henry Prakken Principle-Based and Principled Formal Studies of Argumentation: The Case of Gradual Semantics | Yongmei Liu Multi-Agent Epistemic Planning based on Higher-Order Belief Change | Huajun Chen Neural Symbolic Computing with Knowledge Graph |
| Break | |||
| Chair: Bruno Bentzen | Chair: Chenwei Shi | Chair: Kaibo Xie | |
| 16:15 ~ 16:45 | Puyin Li, Dov Gabbay, Xiao Chi & You Cheng Decision Making with Weighted Quantitative Argumentation Based on Regression | David Fuenmayor & Christoph Benzmüller Higher-order Logic as a Lingua Franca for Logico-Pluralist Argumentation | Chen Chen & Beishui Liao Evidence Accumulating Arguments in Evidence-Based Argumentation Frameworks |
| Chair: Réka Markovich | |||
| 16:45 ~ 17:15 | J.-Martín Castro-Manzano Mixing Term Logics | Xuefeng Wen New Axiomatization of Lewis’ Conditional Logics | Christian Straßer Some recent developments in the argumentative unification of defeasible reasoning |
| 17:15 ~ 17:45 | Xiaolong Liang & Yì N. Wáng Epistemic Logics over Weighted Graphs | Ali Farjami Experiments in Kratzer Modal Semantics Using Isabelle/HOL (short talk, 15 mins) Muyun Shao & Beishui Liao Using ATS to Model Control Argumentation in Multi-agent Settings (short talk, 15 mins) |
|
| 17:45 ~ 18:15 | Alexander Sakharov Calculi and Models for Non-Horn Knowledge Bases Containing Neural and Evaluable Predicates |