The 6th International Conference on Logic and Argumentation (CLAR 2025) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2025 will be held 14th-16th June 2025 at Shanxi University in Taiyuan.

CLAR 2025 aims to highlight recent advances in logic and argumentation and foster interaction in these two areas between researchers within and outside China.

The interplay between logic and argumentation spans different disciplines and historical eras: from ancient philosophy (Socrates' dialectics, Aristotle's logic) to contemporary computer science (dialogues, multiagent systems). Research in logic and argumentation offers formal or semi-formal models that capture reasoning patterns and dialogue activities of diverse kinds. Their applications in artificial intelligence range from law and ethics to linguistics. CLAR 2025 will focus on a variety of topics and formalisms, including formal models of argumentation (abstract or structured), preference and support, but also dispute and dialogue systems for online argumentation or the processing of legal texts.

Established in 2016 as a workshop hosted by Zhejiang University, the CLAR series has been increasingly successful and become an international event and discussion forum in the two areas of logic and argumentation. Our aim for CLAR 2025 is to be a platform for the advancement of the existing discussions within each of the areas above, to span bridges between their different traditions, and finally to open argumentation to new applications and other areas in artificial intelligence, such as legal reasoning, explainable AI, ethical dilemmas, reasoning about uncertainty and knowledge representation, etc. Previous conferences can be accessed via: https://www.zlaire.net/clar/.


Topics

Suggested topics include, but are not limited to, the following:
  • Abstract argumentation
  • Applications of logic and/or argumentation
  • Applied logic
  • Argumentation and game theory
  • Argumentation and law
  • Argumentation and linguistics
  • Argumentation and medical reasoning
  • Argumentation and causal reasoning
  • Argumentation and explainable AI
  • Argumentation and ethical AI
  • Argumentation and knowledge graph reasoning
  • Argumentation and modal logics
  • Argument mining
  • Argumentation schemes
  • BDI logic
  • Computational argumentation
  • Deontic logic
  • Dynamic epistemic logic
  • Belief revision
  • Formal models for dialog and argumentation
  • Informal logic
  • Judgment aggregation
  • Knowledge representation and reasoning
  • Logic for game theory
  • Logic for multi-agent systems
  • Logic for semantic web
  • Logic for social networks
  • Mathematical logic
  • Modal logic
  • Nonmonotonic logics
  • Numerical and uncertainty reasoning
  • Philosophical logic
  • Pragma-Dialectics
  • Preference logic
  • Probabilistic argumentation
  • Quantitative argumentation
  • Structured (i.e. logic-based) argumentation
  • Uncertain argumentation