LEADER 04127nam 22007335 450 001 996546855103316 005 20230801194115.0 010 $a3-031-40875-6 024 7 $a10.1007/978-3-031-40875-5 035 $a(MiAaPQ)EBC30672181 035 $a(Au-PeEL)EBL30672181 035 $a(DE-He213)978-3-031-40875-5 035 $a(PPN)272260134 035 $a(EXLCZ)9927906628800041 100 $a20230801d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic and Argumentation$b[electronic resource] $e5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /$fedited by Andreas Herzig, Jieting Luo, Pere Pardo 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (233 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14156 311 08$aPrint version: Herzig, Andreas Logic and Argumentation Cham : Springer International Publishing AG,c2023 9783031408748 327 $aLogic 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. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14156 606 $aArtificial intelligence 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aAlgorithms 606 $aComputer science 606 $aMachine theory 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aDesign and Analysis of Algorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aDesign and Analysis of Algorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a006.3 700 $aHerzig$b Andreas$01383199 701 $aLuo$b Jieting$01383200 701 $aPardo$b Pere$01383201 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996546855103316 996 $aLogic and Argumentation$93427776 997 $aUNISA