Logic and Argumentation  5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /  [electronic resource] : 
edited by Andreas Herzig, Jieting Luo, Pere Pardo. 
 - 1st ed. 2023. 
 - XX, 225 p. 38 illus., 14 illus. in color.  online resource. 
 - Lecture Notes in Artificial Intelligence,  14156  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  14156 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031408755 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-40875-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Computer programming.<br/>Compilers (Computer programs).<br/>Algorithms.<br/>Computer science.<br/>Machine theory.<br/>Artificial Intelligence.<br/>Programming Techniques.<br/>Compilers and Interpreters.<br/>Design and Analysis of Algorithms.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3