About us

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/.


List of 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

Important Dates

    Submission deadline: 15th Feb 2025

    AoE timezone (Anywhere on Earth timezone)

    Notification: 29th March 2025

    Camera Ready: 13th April 2025

    Conference dates: 14th - 16th June 2025

Program Chairs

        Thomas Ågotnes
        (University of Bergen, Norway;
        Shanxi University, China)

        Dragan Doder
        (Utrecht University, The Netherlands)


Copyright Shanxi University All Rights Reserved. All rights reserved: Shanxi University