default search action

combined dblp search
author search
venue search
publication search

ask others

5th CLAR 2023: Hangzhou, China

> Home > Conferences and Workshops > CLAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/clar/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/2023
Andreas Herzig, Jieting Luo, Pere Pardo:
Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings. Lecture Notes in Computer Science 14156, Springer 2023, ISBN 978-3-031-40874-8

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/clar/CachinLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/CachinLS23
Christian Cachin, David Lehnherr, Thomas Studer:
Modal and Justification Logics for Multi-agent Systems (Invited Talk). 3-8

Logic and Automated Deduction

- view
  authority control:
- export record
  dblp key:
  - conf/clar/FuZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/FuZ23
Xiaoxuan Fu, Zhiguang Zhao:
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. 11-24
- view
  authority control:
- export record
  dblp key:
  - conf/clar/SteenSSB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/SteenSSB23
Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller:
Solving Modal Logic Problems by Translation to Higher-Order Logic. 25-43
- view
  authority control:
- export record
  dblp key:
  - conf/clar/Vinogradova23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/Vinogradova23
Polina Vinogradova:
Formalizing the Unexpected Hanging Paradox: A Classical Surprise. 44-58

Abstract and Structured Argumentation

- view
  authority control:
- export record
  dblp key:
  - conf/clar/ChenPTY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/ChenPTY23
Chen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu:
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis. 61-83
- view
  authority control:
- export record
  dblp key:
  - conf/clar/Mailly23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/Mailly23
Jean-Guy Mailly:
A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation. 84-100
- view
  authority control:
- export record
  dblp key:
  - conf/clar/TakahashiM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/TakahashiM23
Kazuko Takahashi, Hiroyoshi Miwa:
Topological Conditions and Solutions for Repairing Argumentation Frameworks. 101-118

Dialogues, Games and Practical Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/clar/LuoSD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/LuoSD23
Jieting Luo, Thomas Studer, Mehdi Dastani:
Providing Personalized Explanations: A Conversational Approach. 121-137
- view
  authority control:
- export record
  dblp key:
  - conf/clar/TangI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/TangI23
Liping Tang, Ryuichiro Ishikawa:
Audience Irrelevance in Strategic Argumentation Games. 138-156
- view
  authority control:
- export record
  dblp key:
  - conf/clar/YuL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/YuL23
Zhe Yu, Yiwei Lu:
A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning. 157-171

Quantitative Argumentation

- view
  authority control:
- export record
  dblp key:
  - conf/clar/Chi23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/Chi23
Xiao Chi:
A Filtering-Based General Approach to Learning Rational Constraints of Epistemic Graphs. 175-192
- view
  authority control:
- export record
  dblp key:
  - conf/clar/WangS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/WangS23
Zongshun Wang, Yuping Shen:
Fuzzy Labeling Semantics for Quantitative Argumentation. 193-210

Short Paper

- view
  authority control:
- export record
  dblp key:
  - conf/clar/FuZ23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/FuZ23a
Xiaoxuan Fu, Zhiguang Zhao:
A Logic for Preference Lifting Under Uncertainty and Its Decidability. 213-223

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.