Description |
1 online resource (xx, 225 pages) : illustrations (some color) |
Series |
Lecture notes in artificial intelligence |
|
Lecture notes in computer science ; 14156 |
|
LNCS sublibrary, SL 7, Artificial intelligence |
|
Lecture notes in computer science. Lecture notes in artificial intelligence.
|
|
Lecture notes in computer science ; 14156.
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
Contents |
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 -- Fuzzy Labeling Semantics for Quantitative Argumentation -- A Logic for Preference Lifting under Uncertainty and its Decidability |
Summary |
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 |
Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed August 9, 2023) |
Subject |
Logic, Symbolic and mathematical -- Congresses
|
|
Reasoning -- Congresses
|
|
Uncertainty (Information theory) -- Congresses
|
|
Logic, Symbolic and mathematical
|
|
Reasoning
|
|
Uncertainty (Information theory)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Herzig, Andreas, editor.
|
|
Luo, Jieting, editor.
|
|
Pardo, Pere, editor.
|
ISBN |
9783031408755 |
|
3031408756 |
|