Full Papers
- Solving Modal Logic Problems by Translation to Higher-order Logic
- Alexander Steen, Geoff Sutcliffe, Tobias Scholl and Christoph Benzmüller
- Weakest link in formal argumentation: lookahead and principle-based analysis
- Chen Chen, Pere Pardo, Leendert van der Torre and Liuwen Yu
- Fuzzy Labeling Semantics for Quantitative Argumentation
- Zongshun Wang and Yuping Shen
- Audience irrelevance in Strategic Argumentation Games
- Liping Tang and Ryuichiro Ishikawa
- A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs
- Xiao Chi
- A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation
- Jean-Guy Mailly
- Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail
- Xiaoxuan Fu and Zhiguang Zhao
- Formalizing the Unexpected Hanging Paradox: a classical surprise
- Polina Vinogradova
- Topological Conditions and Solutions for Repairing Argumentation Frameworks
- Kazuko Takahashi and Hiroyoshi Miwa
- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning
- Zhe Yu and Yiwei Lu
- Providing personalized Explanations: a Conversational Approach
- Jieting Luo, Thomas Studer and Mehdi Dastani
Short Papers
- A Logic for Preference Lifting under Uncertainty and its Decidability
- Xiaoxuan Fu and Zhiguang Zhao