Program

June 14th

08:20-09:00: Opening, speeches and group photo session.
09:00-10:00: Invited talk: Nicholas Asher, Investigating reasoning in language models.
10:00-10:15: Short break
10:15-11:05: Session.

  • Yanjun Li, Jie Ren and Thomas Ågotnes. The Surprise Exam in Full Modal Fixed-Point Logic
  • Yulin Chen, Beishui Liao, Bruno Bentzen, Bo Yuan, Zelai Yao, Haixiao Chi and Dov Gabbay. Interpretable Biomedical Named Entity Recognition via BLSTM with Talmudic Public Announcement Logic
11:05-11:20: Short break
11:20-12:10: Session.
  • Lehuai Jiang and Wei Chen. Argumentation Framework with Attitude Classification: A New Approach to Handle Controversial Arguments, Defeat cycles and Self-defeating Arguments
  • Nguyen Duy Hung and Van Nam Huynh. Preference-based enforcement in argumentation
12:10-14:30: Lunch
14:30-15:30: Invited talk: Ryuta Arisaka, Argumentation and Logic: A Modern and Natural Connection.
15:30-16:00: Coffee break
16:00-16:50: Session.
  • Ryo Takemura. A dialogical interpretation of cut-elimination and its application to argumentation theory
  • John Lindqvist and Chenwei Shi. Argument-based belief and the evidence topology
16:50-17:05: Short break
17:05-17:55: Session.
  • Liuwen Yu and Leendert van der Torre. The A-BDI Metamodel for Human-Level AI: Argumentation as Balancing, Dialogue and Inference
  • Runcheng Liang. Which One Takes Priority?—Reflections on the Concept of Argument

June 15th

08:30-09:30: Invited talk: Nico Potyka, Logic and Argumentation for Explainable AI.
09:30-09:45: Short break
09:45-11:00: Session.

  • Siyi Liu, Ziyi Gao, Beishui Liao and Chen Chen. On Pluralistic Methods for Explaining Argument Acceptance in Abstract Argumentation
  • Zongshun Wang and Yuping Shen. On SCC-recursiveness in Quantitative Argumentation
  • Xiaolong Liu and Weiwei Chen. Proportional Acceptability of Arguments
11:00-11:15: Short break
11:15-12:05: Session.
  • Xuefeng Wen. Six Faces of Or-to-If
  • Teeradaj Racharak, Watanee Jearanaiwongkul, Jiraporn Pooksook and Kazuki Takashima. Towards Assumption-based Argumentation Mining in Hotel Reviews
12:05-14:30: Lunch
14:30-15:30 Invited talk: Zoe Christoff, Majority illusions in social networks.
15:30-16:00: Coffee break
16:00-16:50: Session.
  • Xiaoxuan Fu and Zhiguang Zhao. A Model Comparison Game for Basic Neighbourhood Logic
  • Xu Li. Deontic Sufficiency in Dyadic Deontic Logic
16:50-17:05: Short break
17:05-17:55: Session.
  • Piotr Kulicki and Robert Trypuz. Ontology of Autonomous Driving as a tool for argumentation on responsibility
  • Jianying Cui and Ting Lan. A Proposal for the Reconstruction and Evaluation of Multimodal Argumentation in Print Advertisements

June 16th

08:30-09:30: Invited talk: Emiliano Lorrini, Preferences in concurrent games.
09:30-09:45 Short break
09:45-10:35: Session.

  • Zixuan Chen and Fengkui Ju. Each of those eight coalition logics is also determined by four other kinds of models
  • Yanjun Li. Reasoning in Coalition Planning
10:35-10:50: Short break
10:50-12:05: Session.
  • Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly and Antonio Yuste-Ginel. Incomplete Higher-Order Abstract Argumentation Frameworks
  • Anshu Xiong and Songmao Zhang. Relevance for Stability of Verification Status of a Set of Arguments in Incomplete Argumentation Frameworks
  • Hengfei Li and Jiachao Wu. Validity of attacks related to argument set in higher-order argumentation frameworks