CLAR

Keyphrases

Publications

2023

Xiaoxuan Fu, Zhiguang Zhao
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. CLAR (2023)
Polina Vinogradova
Formalizing the Unexpected Hanging Paradox: A Classical Surprise. CLAR (2023)
Liping Tang, Ryuichiro Ishikawa
Audience Irrelevance in Strategic Argumentation Games. CLAR (2023)
Christian Cachin, David Lehnherr, Thomas Studer
Modal and Justification Logics for Multi-agent Systems (Invited Talk). CLAR (2023)
Chen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis. CLAR (2023)
Xiao Chi
A Filtering-Based General Approach to Learning Rational Constraints of Epistemic Graphs. CLAR (2023)
Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller
Solving Modal Logic Problems by Translation to Higher-Order Logic. CLAR (2023)
Zongshun Wang, Yuping Shen
Fuzzy Labeling Semantics for Quantitative Argumentation. CLAR (2023)
Zhe Yu, Yiwei Lu
A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning. CLAR (2023)
Jean-Guy Mailly
A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation. CLAR (2023)
Jieting Luo, Thomas Studer, Mehdi Dastani
Providing Personalized Explanations: A Conversational Approach. CLAR (2023)
Xiaoxuan Fu, Zhiguang Zhao
A Logic for Preference Lifting Under Uncertainty and Its Decidability. CLAR (2023)
Kazuko Takahashi, Hiroyoshi Miwa
Topological Conditions and Solutions for Repairing Argumentation Frameworks. CLAR (2023)

volume 14156, 2023

Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings CLAR 14156 (2023)

2021

volume 13040, 2021

Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings CLAR 13040 (2021)

volume 12061, 2020

Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings CLAR 12061 (2020)