Quantitative Logic and Soft Computing 2016

Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016

  • Tai-He Fan
  • Shui-Li Chen
  • San-Min Wang
  • Yong-Ming Li

Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 510)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Keynote Speakers

  3. Quantitative Logic and Uncertainty Logic

    1. Front Matter
      Pages 47-47
    2. Cheng Chen, Li-Juan Zhang, Zheng-Hua Pan
      Pages 101-111
    3. Li Li, Hong-Juan Yuan, Hai-Yu Pan
      Pages 113-121
    4. Fang-Fang Pan, Sheng-Wei Han
      Pages 123-129
    5. Xing-Fang Zhang, Feng-Xia Zhang
      Pages 131-136
    6. Hua-Li Liu, Yan-Hong She
      Pages 137-145
    7. Jia-Qi Dang, Yong-Ming Li
      Pages 147-155
  4. Automata and Quantification of Software

    1. Front Matter
      Pages 157-157

About these proceedings

Introduction

This book is the proceedings of the Fourth International Conference on Quantitative Logic and Soft Computing (QLSC2016) held 14-17, October, 2016 in Zhejiang Sci-Tech University, Hangzhou, China. It includes 61 papers, of which 5 are plenary talks( 3 abstracts and 2 full length talks). QLSC2016 was the fourth in a series of conferences on Quantitative Logic and Soft Computing. This conference was a major symposium for scientists, engineers and practitioners to present their updated results, ideas, developments and applications in all areas of quantitative logic and soft computing. The book aims to strengthen relations between industry research laboratories and universities in fields such as quantitative logic and soft computing worldwide as follows:

(1) Quantitative Logic and Uncertainty Logic;

(2) Automata and Quantification of Software;

(3) Fuzzy Connectives and Fuzzy Reasoning;

(4) Fuzzy Logical Algebras;

(5) Artificial Intelligence and Soft Computing;

(6) Fuzzy Sets Theory and Applications.

Keywords

Quantitative Logic Uncertainty Logic Soft Computing Intelligent Systems QLSC 2016

Editors and affiliations

  • Tai-He Fan
    • 1
  • Shui-Li Chen
    • 2
  • San-Min Wang
    • 3
  • Yong-Ming Li
    • 4
  1. 1.ZhejiangZhejiang Sci-Tech University ZhejiangHangzhouChina
  2. 2.FujianJimei University FujianXiamenChina
  3. 3.ZhejiangZhejiang Sci-Tech University ZhejiangHangzhouChina
  4. 4.YantaShaanxi Normal University YantaXi’anChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-46206-6
  • Copyright Information Springer International Publishing Switzerland 2017
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-46205-9
  • Online ISBN 978-3-319-46206-6
  • Series Print ISSN 2194-5357
  • Series Online ISSN 2194-5365
  • About this book