default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th CLAR 2023: Hangzhou, China
- 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
- Christian Cachin, David Lehnherr, Thomas Studer:
Modal and Justification Logics for Multi-agent Systems (Invited Talk). 3-8
Logic and Automated Deduction
- Xiaoxuan Fu, Zhiguang Zhao:
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. 11-24 - Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller:
Solving Modal Logic Problems by Translation to Higher-Order Logic. 25-43 - Polina Vinogradova:
Formalizing the Unexpected Hanging Paradox: A Classical Surprise. 44-58
Abstract and Structured Argumentation
- Chen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu:
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis. 61-83 - Jean-Guy Mailly:
A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation. 84-100 - Kazuko Takahashi, Hiroyoshi Miwa:
Topological Conditions and Solutions for Repairing Argumentation Frameworks. 101-118
Dialogues, Games and Practical Reasoning
- Jieting Luo, Thomas Studer, Mehdi Dastani:
Providing Personalized Explanations: A Conversational Approach. 121-137 - Liping Tang, Ryuichiro Ishikawa:
Audience Irrelevance in Strategic Argumentation Games. 138-156 - Zhe Yu, Yiwei Lu:
A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning. 157-171
Quantitative Argumentation
- Xiao Chi:
A Filtering-Based General Approach to Learning Rational Constraints of Epistemic Graphs. 175-192 - Zongshun Wang, Yuping Shen:
Fuzzy Labeling Semantics for Quantitative Argumentation. 193-210
Short Paper
- 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.
last updated on 2024-11-13 23:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
