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
    PDF

  2. Long Presentations

    1. Front Matter
      Pages 1-1
      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
      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

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