Title Logic and argumentation : Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, proceedings / Mehdi Dastani, Huimin Dong, Leon van der Torre (eds.)

Published Cham : Springer, ©2020

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (369 pages) Series Lecture notes in artificial intelligence. Subseries of Lecture notes in computer science, 1611-3349 ; 12061 LNCS sublibrary: SL7 - artificial intelligence Lecture notes in computer science ; 12061. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. Contents Intro -- Preface -- Organization -- Contents -- Long Presentations -- Group Belief -- 1 Introduction -- 2 Background -- 3 Group Belief in Different Logics -- 4 Axiomatization of KD45D -- 4.1 Pseudo Soundness and Completeness -- 4.2 Translating a Pseudo Model to a Model -- 4.3 Truth Preservation of the Translation -- 5 Discussion -- References -- Broadening Label-Based Argumentation Semantics with May-Must Scales -- 1 Introduction -- 1.1 Labelling-Approach with May-Must Scales -- 1.2 Motivation for May-Must scales -- 1.3 Related Work 1.4 Summary of Contribution and the Structure of the Paper -- 2 Technical Preliminaries -- 3 Label-Based Argumentation Semantics with May-Must Scales -- 3.1 Maximally Designating Labellings -- 4 Conclusion with Technical Comparisons -- References -- Semirings of Evidence -- 1 Introduction -- 1.1 Related Work -- 2 The Syntax of SE -- 3 The Semantics of SE -- 4 Realization -- 5 Applications -- References -- Logic Programming, Argumentation and Human Reasoning -- 1 Introduction -- 2 Formal Preliminaries -- 2.1 Abstract Argumentation -- 2.2 Logic Programming 2.3 Correspondence of Argumentation and Logic Programming -- 3 The Suppression Task -- 4 Translation, Correspondence and New LP Semantics -- 5 Discussion on Cognitive Plausibility of New Semantics -- 5.1 Differences Among the Semantics -- 5.2 Empirical Studies on Argumentation -- 6 Conclusion -- A Proof of Theorem 34 -- References -- Reasoning About Degrees of Confirmation -- 1 Introduction -- 2 Preliminaries -- 3 The Logic LPP2conf: Syntax and Semantics -- 3.1 Syntax -- 3.2 Semantics of LPP2conf -- 4 Axiomatization of LPP2conf -- 5 Completeness of Ax(LPP2conf) -- 5.1 Lindenbaum's Theorem 5.2 Canonical Model -- 6 Decidability -- 7 Conclusion -- References -- Ideal Related Algebras and Their Logics Extended Abstract -- 1 Introduction -- 2 Ideal Related Algebras and Their Logics -- 3 Unification and Admissible Rules in Logics of Ideal Related Algebras -- 4 Summary and Outlook -- References -- Computer-Supported Analysis of Arguments in Climate Engineering -- 1 Introduction -- 2 Framework -- 3 Case Study -- 3.1 Individual (Component) Arguments -- 3.2 Reconstructing the Argument Graph -- 4 Challenges and Prospects -- References A Logic of Knowledge and Belief Based on Abstract Arguments -- 1 Introduction -- 2 The Logic LKB -- 3 Axiomatization -- 4 Extending to Multiple Agents -- 5 Related Work -- 6 Conclusion -- References -- A Meta-level Annotation Language for Legal Texts -- 1 Introduction -- 2 The NAI Suite -- 2.1 The Underlining Logic -- 2.2 The Reasoning Module -- 2.3 The Annotation Editor -- 2.4 The Abstract Programming Interface (API) -- 3 A Meta-level Annotation Language -- 4 Example: Automated Reasoning over GDPR Article 13 -- 4.1 Annotating Paragraph 1 -- 4.2 Annotating Paragraph 3 Summary This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering Bibliography Includes bibliographical references and author index Notes 4.3 Annotating Paragraph 4 Print version record Subject Logic, Symbolic and mathematical -- Congresses Reasoning -- Congresses Uncertainty (Information theory) -- Congresses Logic, Symbolic and mathematical Reasoning Uncertainty (Information theory) Genre/Form Electronic books proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Dastani, Mehdi. Dong, Huimin Torre, Leon van der. ISBN 9783030446383 3030446387

  Permalink