Skip to main content
SpringerLink
Log in

Logic and Argumentation

Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

  • Conference proceedings
  • © 2020

Access provided by Autonomous University of Puebla

Download book PDF
Download book EPUB

Overview

Editors:
  1. Mehdi Dastani

    1. Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Huimin Dong

    1. Zhejiang University, Hangzhou, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Leon van der Torre

    1. University of Luxembourg, Luxembourg, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12061)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CLAR 2020.

Buy print copy

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (21 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Long Presentations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Group Belief

      • Thomas Ågotnes, Yì N. Wáng
      Pages 3-21
      Download chapter PDF

    3. Broadening Label-Based Argumentation Semantics with May-Must Scales

      • Ryuta Arisaka, Takayuki Ito
      Pages 22-41
      Download chapter PDF

    4. Semirings of Evidence

      • Michael Baur, Thomas Studer
      Pages 42-57
      Download chapter PDF

    5. Logic Programming, Argumentation and Human Reasoning

      • Marcos Cramer, Emmanuelle-Anna Dietz Saldanha
      Pages 58-79
      Download chapter PDF

    6. Reasoning About Degrees of Confirmation

      • Šejla Dautović, Dragan Doder, Zoran Ognjanović
      Pages 80-95
      Download chapter PDF

    7. Ideal Related Algebras and Their Logics Extended Abstract

      • Ivo Düntsch, Wojciech Dzik
      Pages 96-103
      Download chapter PDF

    8. Computer-Supported Analysis of Arguments in Climate Engineering

      • David Fuenmayor, Christoph Benzmüller
      Pages 104-115
      Download chapter PDF

    9. A Logic of Knowledge and Belief Based on Abstract Arguments

      • Xu Li, Yì N. Wáng
      Pages 116-130
      Download chapter PDF

    10. A Meta-level Annotation Language for Legal Texts

      • Tomer Libal
      Pages 131-150
      Download chapter PDF

    11. Towards an Executable Methodology for the Formalization of Legal Texts

      • Tomer Libal, Alexander Steen
      Pages 151-165
      Download chapter PDF

    12. Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting

      • Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais
      Pages 166-183
      Download chapter PDF

    13. Intuitionistic-Bayesian Semantics of First-Order Logic for Generics

      • Satoru Suzuki
      Pages 184-200
      Download chapter PDF

    14. Ambiguity Preference and Context Learning in Uncertain Signaling

      • Liping Tang
      Pages 201-218
      Download chapter PDF

    15. A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms

      • Kees van Berkel, Tim Lyon, Francesco Olivieri
      Pages 219-241
      Download chapter PDF
Back to top

Other volumes

  1. Logic and Argumentation

Editors and Affiliations

  • Utrecht University, Utrecht, The Netherlands

    Mehdi Dastani

  • Zhejiang University, Hangzhou, China

    Huimin Dong

  • University of Luxembourg, Luxembourg, Luxembourg

    Leon van der Torre

Bibliographic Information

  • Book Title: Logic and Argumentation

  • Book Subtitle: Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

  • Editors: Mehdi Dastani, Huimin Dong, Leon van der Torre

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-44638-3

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2020

  • Softcover ISBN: 978-3-030-44637-6Published: 28 March 2020

  • eBook ISBN: 978-3-030-44638-3Published: 27 March 2020

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 363

  • Number of Illustrations: 229 b/w illustrations, 15 illustrations in colour

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation