Logic and Argumentation
5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Published on 2. August 2023
Book
Paperback/Softback
XX, 225 pages
978-3-031-40874-8 (ISBN)
Description
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.
The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.
The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.
More details
Series
Edition
1st ed. 2023
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
24 s/w Abbildungen, 14 farbige Abbildungen
XX, 225 p. 38 illus., 14 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 14 mm
Weight
382 gr
ISBN-13
978-3-031-40874-8 (9783031408748)
DOI
10.1007/978-3-031-40875-5
Schweitzer Classification
Content
Logic and Automated Deduction
.- Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail.- Solving Modal Logic Problems by Translation to Higher-order Logic.- Formalizing the Unexpected Hanging Paradox: a Classical Surprise.-
Abstract and Structured Argumentation
.- Weakest Link in Formal Argumentation: Lookahead and Principle-based Analysis.- A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation.- Topological Conditions and Solutions for Repairing Argumentation Frameworks.-
Dialogues, Games and Practical Reasoning
.- Providing personalized Explanations: a Conversational Approach.- Audience irrelevance in Strategic Argumentation Games.- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning.-
Quantitative Argumentation
.- A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs.- FuzzyLabeling Semantics for Quantitative Argumentation.- A Logic for Preference Lifting under Uncertainty and its Decidability.