04127nam 22007335 450 99654685510331620230801194115.03-031-40875-610.1007/978-3-031-40875-5(MiAaPQ)EBC30672181(Au-PeEL)EBL30672181(DE-He213)978-3-031-40875-5(PPN)272260134(EXLCZ)992790662880004120230801d2023 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic and Argumentation[electronic resource] 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /edited by Andreas Herzig, Jieting Luo, Pere Pardo1st ed. 2023.Cham :Springer Nature Switzerland :Imprint: Springer,2023.1 online resource (233 pages)Lecture Notes in Artificial Intelligence,2945-9141 ;14156Print version: Herzig, Andreas Logic and Argumentation Cham : Springer International Publishing AG,c2023 9783031408748 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.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.Lecture Notes in Artificial Intelligence,2945-9141 ;14156Artificial intelligenceComputer programmingCompilers (Computer programs)AlgorithmsComputer scienceMachine theoryArtificial IntelligenceProgramming TechniquesCompilers and InterpretersDesign and Analysis of AlgorithmsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryArtificial intelligence.Computer programming.Compilers (Computer programs).Algorithms.Computer science.Machine theory.Artificial Intelligence.Programming Techniques.Compilers and Interpreters.Design and Analysis of Algorithms.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.006.3Herzig Andreas1383199Luo Jieting1383200Pardo Pere1383201MiAaPQMiAaPQMiAaPQBOOK996546855103316Logic and Argumentation3427776UNISA