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
- Title:
- 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)
- Main Title:
- Logic and argumentation Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, proceedings
- 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 -- 2Intro -- 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 … (more)
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.508434
- Ingest File:
- 03_085.xml