[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Logic and Argumentation

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

  • Conference proceedings
  • © 2020

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.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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

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

      • Ryuta Arisaka, Takayuki Ito
      Pages 22-41

    4. Semirings of Evidence

      • Michael Baur, Thomas Studer
      Pages 42-57

    5. Logic Programming, Argumentation and Human Reasoning

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

    6. Reasoning About Degrees of Confirmation

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

    7. Ideal Related Algebras and Their Logics Extended Abstract

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

    8. Computer-Supported Analysis of Arguments in Climate Engineering

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

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

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

    10. A Meta-level Annotation Language for Legal Texts

      • Tomer Libal
      Pages 131-150

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

      • Tomer Libal, Alexander Steen
      Pages 151-165

    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

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

      • Satoru Suzuki
      Pages 184-200

    14. Ambiguity Preference and Context Learning in Uncertain Signaling

      • Liping Tang
      Pages 201-218

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

      • Kees van Berkel, Tim Lyon, Francesco Olivieri
      Pages 219-241

  3. Short Presentations

    1. Front Matter

      Pages 243-243
      Download chapter PDF

    2. Preservation of Admissibility with Rationality and Feasibility Constraints

      • Weiwei Chen
      Pages 245-258

    3. Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope

      • Davide Liga, Monica Palmirani
      Pages 259-278

    4. Reasoning as Speech Acts

      • Chinghui Su, Liwu Rong, Fei Liang
      Pages 279-286
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