Muutke küpsiste eelistusi

Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings 1st ed. 2023 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 225 pages, kõrgus x laius: 235x155 mm, kaal: 385 g, 14 Illustrations, color; 24 Illustrations, black and white; XX, 225 p. 38 illus., 14 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14156
  • Ilmumisaeg: 02-Aug-2023
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031408748
  • ISBN-13: 9783031408748
  • Pehme köide
  • Hind: 62,59 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 73,64 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 225 pages, kõrgus x laius: 235x155 mm, kaal: 385 g, 14 Illustrations, color; 24 Illustrations, black and white; XX, 225 p. 38 illus., 14 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14156
  • Ilmumisaeg: 02-Aug-2023
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031408748
  • ISBN-13: 9783031408748
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.