Abstract is missing.
- Modal and Justification Logics for Multi-agent Systems (Invited Talk)Christian Cachin, David Lehnherr, Thomas Studer. 3-8 [doi]
- Dynamic Modal Logic with Counting: When Reduction Axioms Work and FailXiaoxuan Fu, Zhiguang Zhao. 11-24 [doi]
- Solving Modal Logic Problems by Translation to Higher-Order LogicAlexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller. 25-43 [doi]
- Formalizing the Unexpected Hanging Paradox: A Classical SurprisePolina Vinogradova. 44-58 [doi]
- Weakest Link in Formal Argumentation: Lookahead and Principle-Based AnalysisChen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu. 61-83 [doi]
- A Logical Encoding for k-m-Realization of Extensions in Abstract ArgumentationJean-Guy Mailly. 84-100 [doi]
- Topological Conditions and Solutions for Repairing Argumentation FrameworksKazuko Takahashi, Hiroyoshi Miwa. 101-118 [doi]
- Providing Personalized Explanations: A Conversational ApproachJieting Luo, Thomas Studer, Mehdi Dastani. 121-137 [doi]
- Audience Irrelevance in Strategic Argumentation GamesLiping Tang, Ryuichiro Ishikawa. 138-156 [doi]
- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical ReasoningZhe Yu, Yiwei Lu. 157-171 [doi]
- A Filtering-Based General Approach to Learning Rational Constraints of Epistemic GraphsXiao Chi. 175-192 [doi]
- Fuzzy Labeling Semantics for Quantitative ArgumentationZongshun Wang, Yuping Shen. 193-210 [doi]
- A Logic for Preference Lifting Under Uncertainty and Its DecidabilityXiaoxuan Fu, Zhiguang Zhao. 213-223 [doi]