Advertisement

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
    2. Guo-Wu Wang, Ying-Xiong Shen, Hai-Yu Pan
      Pages 159-169
    3. Jian-Hua Jin, Dong-Xue Li, Chun-Quan Li
      Pages 193-201
    4. Yan-Fang Ma, Liang Chen
      Pages 213-223
  5. Fuzzy Connectives and Fuzzy Reasoning

    1. Front Matter
      Pages 237-237
    2. Yue Zhu, Dao-Wu Pei
      Pages 239-249
    3. Gang Li, Hua-Wen Liu
      Pages 251-259
    4. Yan Liu, Mu-Cong Zheng
      Pages 293-300
    5. Wen-Wen Zhang, Dao-Wu Pei
      Pages 301-310
    6. Ya-Ming Wang, Feng Qin
      Pages 311-325
    7. Yuan Wang, Ke-Ming Tang, Zhu-Deng Wang
      Pages 327-334
  6. Fuzzy Logical Algebras

    1. Front Matter
      Pages 335-335
    2. Wen-Juan Chen
      Pages 349-359
    3. Hua-Rong Zhang
      Pages 361-371
    4. Lian-Zhen Liu, Xiang-Yang Zhang
      Pages 373-384
    5. Wen-Jun Liu, Wen-Juan Chen
      Pages 385-395
    6. Qing-Jun Luo
      Pages 407-414
    7. Xiao-Yun Cheng, Xiao-Long Xin, Young-Bae Jun
      Pages 415-428
    8. Fang-An Deng, Lu Chen, Shou-Heng Tuo, Sheng-Zhang Ren
      Pages 429-437
    9. Long-Chun Wang, Xiang-Nan Zhou, Hua-Rong Zhang
      Pages 439-450
    10. Yu-Xi Zou, Xiao-Long Xin, Young-Bae Jun
      Pages 451-461
  7. Fuzzy Set Theory and Applications

    1. Front Matter
      Pages 463-463

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering