Image from Google Jackets

Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo.

Contributor(s): Material type: TextTextLanguage: English Series: Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.Edition: 1st ed. 2023Description: XX, 225 p. 38 illus., 14 illus. in color. online resourceISBN:
  • 9783031408755
Subject(s): DDC classification:
  • 006.3 23
Online resources:
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Status Date due Barcode Item holds
E-Books E-Books National Library of India Online Resource 006.3 (Browse shelf(Opens below)) Available EBK000046484ENG
Total holds: 0

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.

There are no comments on this title.

to post a comment.
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India