Logic and argumentation Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, proceedings /: Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, proceedings. (©2020)

• Record Type: Book
• Further Information: Note: Mehdi Dastani, Huimin Dong, Leon van der Torre (eds.).
• Other Names: Dastani, Mehdi; (Researcher on logic), Dong, Huimin; Torre, Leon van der; International Conference on Logic and Argumentation, 3rd
• 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
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource (369 p.)
• Subjects: 511.3; Logic, Symbolic and mathematical -- Congresses; Reasoning -- Congresses; Uncertainty (Information theory) -- Congresses; Logic, Symbolic and mathematical; Reasoning; Uncertainty (Information theory); Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030446383; 3030446387
• Notes: Note: Includes bibliographical references and author index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.