Advertisement

© 2020

Logic and Argumentation

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

  • Mehdi Dastani
  • Huimin Dong
  • Leon van der Torre
Conference proceedings CLAR 2020

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 12061)

Table of contents

  1. Front Matter
    Pages i-x
  2. Long Presentations

    1. Front Matter
      Pages 1-1
    2. Thomas Ågotnes, Yì N. Wáng
      Pages 3-21
    3. Michael Baur, Thomas Studer
      Pages 42-57
    4. Marcos Cramer, Emmanuelle-Anna Dietz Saldanha
      Pages 58-79
    5. Šejla Dautović, Dragan Doder, Zoran Ognjanović
      Pages 80-95
    6. Ivo Düntsch, Wojciech Dzik
      Pages 96-103
    7. David Fuenmayor, Christoph Benzmüller
      Pages 104-115
    8. Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais
      Pages 166-183
    9. Kees van Berkel, Tim Lyon, Francesco Olivieri
      Pages 219-241
  3. Short Presentations

    1. Front Matter
      Pages 243-243
    2. Chinghui Su, Liwu Rong, Fei Liang
      Pages 279-286

About these proceedings

Introduction

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.

Keywords

argumentation artificial intelligence autonomous agents computer programming computer science computer systems formal languages formal logic fuzzy logic fuzzy sets knowledge-based system linguistics logic programming mathematics modal logic multiagent system ontologies programming languages reasoning semantics

Editors and affiliations

  1. 1.Utrecht UniversityUtrechtThe Netherlands
  2. 2.Zhejiang UniversityHangzhouChina
  3. 3.University of LuxembourgLuxembourgLuxembourg

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
  • Series Abbreviated Title Lect.Notes Computer
  • DOI https://doi.org/10.1007/978-3-030-44638-3
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-030-44637-6
  • eBook ISBN 978-3-030-44638-3
  • 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
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering