Atnaujinkite slapukų nuostatas

Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings 1st ed. 2023 [Minkštas viršelis]

Edited by , Edited by , Edited by
  • Formatas: Paperback / softback, 225 pages, aukštis x plotis: 235x155 mm, weight: 385 g, 14 Illustrations, color; 24 Illustrations, black and white; XX, 225 p. 38 illus., 14 illus. in color., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 14156
  • Išleidimo metai: 02-Aug-2023
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3031408748
  • ISBN-13: 9783031408748
Kitos knygos pagal šią temą:
Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings 1st ed. 2023Didesnis paveikslėlis
  • Formatas: Paperback / softback, 225 pages, aukštis x plotis: 235x155 mm, weight: 385 g, 14 Illustrations, color; 24 Illustrations, black and white; XX, 225 p. 38 illus., 14 illus. in color., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 14156
  • Išleidimo metai: 02-Aug-2023
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3031408748
  • ISBN-13: 9783031408748
Kitos knygos pagal šią temą:
Pastovi nuoroda: https://www.kriso.lt/db/9783031408748.html
Raktažodžiai:
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.