TY  - BOOK
AU  - Herzig,Andreas
AU  - Luo,Jieting
AU  - Pardo,Pere
ED  - SpringerLink (Online service)
TI  - Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings 
T2  - Lecture Notes in Artificial Intelligence,
SN  - 9783031408755
AV  - Q334-342 
U1  - 006.3 23
PY  - 2023///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Artificial intelligence
KW  - Computer programming
KW  - Compilers (Computer programs)
KW  - Algorithms
KW  - Computer science
KW  - Machine theory
KW  - Artificial Intelligence
KW  - Programming Techniques
KW  - Compilers and Interpreters
KW  - Design and Analysis of Algorithms
KW  - Computer Science Logic and Foundations of Programming
KW  - Formal Languages and Automata Theory
N1  - Acceso multiusuario; 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
N2  - 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
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-40875-5
ER  -