Logic and Argumentation
Springer International Publishing (Verlag)
978-3-031-40874-8 (ISBN)
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.
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.
Erscheinungsdatum | 03.08.2023 |
---|---|
Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
Zusatzinfo | XX, 225 p. 38 illus., 14 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 385 g |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Schlagworte | abstract argumentation • Argumentation • argumentation frameworks • Artificial Intelligence • Belief Revision • Deontic Logic • dynamic logic • epistemic logic • Formal Languages • Formal Logic • Game Theory • Knowledge Representation and Reasoning • Linguistics • Logic Programming • Mathematics • Modal Logic • Multi-agent Systems • Nonmonotonic Logic • Ontologies • Preferences • Reasoning • Uncertainty |
ISBN-10 | 3-031-40874-8 / 3031408748 |
ISBN-13 | 978-3-031-40874-8 / 9783031408748 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich