Cargando…

Quantitative logic and soft computing : proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 /

The QL & SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic, quantification of software, artificial intelligence,...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: International Conference on Quantitative Logic and Soft Computing Xi'an, China
Otros Autores: Wang, Guojun, Li, Yongming, Zhao, Bin
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Singapore : World Scientific, 2012.
Colección:World Scientific proceedings series on computer engineering and information science.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ia 4500
001 EBSCO_ocn794328444
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 120528s2012 si ob 101 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d OCLCQ  |d N$T  |d OCLCO  |d YDXCP  |d I9W  |d OCLCQ  |d OCLCF  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCL  |d OCLCO  |d OCLCQ  |d AGLDB  |d OCLCQ  |d VTS  |d AU@  |d STF  |d M8D  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 9789814401531  |q (electronic bk.) 
020 |a 9814401536  |q (electronic bk.) 
020 |z 9814401536 
029 1 |a AU@  |b 000055216732 
029 1 |a DEBBG  |b BV042961110 
029 1 |a DEBSZ  |b 423765477 
035 |a (OCoLC)794328444 
050 4 |a QA76.9.S63 Q36 2012 
072 7 |a COM  |x 005030  |2 bisacsh 
072 7 |a COM  |x 004000  |2 bisacsh 
082 0 4 |a 006.3  |2 22 
049 |a UAMI 
111 2 |a International Conference on Quantitative Logic and Soft Computing  |n (3rd :  |d 2012 :  |c Xi'an, China) 
245 1 0 |a Quantitative logic and soft computing :  |b proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 /  |c editors, Guojun Wang, Bin Zhao, Yongming Li. 
260 |a Singapore :  |b World Scientific,  |c 2012. 
300 |a 1 online resource (xvii, 705 pages). 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a World Scientific proceedings series on computer engineering and information science ;  |v v. 5 
520 |a The QL & SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic, quantification of software, artificial intelligence, fuzzy sets and systems and soft computing. This invaluable book provides a broad introduction to the fuzzy reasoning and soft computing. It is certain one should not go too far in approximation and optimization, and a certain degree must be kept in mind. This is the essential idea of quantitative logic a. 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
505 0 |a Weighted automata and quantitative logics / M. Droste -- On the role of [symbol]-groups and Po-groups for algebraic and quantum structures / A. Dvurecenskij -- Personalised recommender systems for e-business intelligence with soft computing / J. Lu -- Types of bipolarity and bipolar structures / J. Montero [and others] -- Granular logic systems and their development in the setting of granular fuzzy relational equations / W. Pedrycz -- An axiomatic method for evaluating goodness of closed predicate propositions containing no function letters / G.-J. Wang -- Intelligent learning systems for soft information / R.R. Yager -- Semantic resolution principle in propositional valuation algebra / B.H. Han and X.N. Li -- Logical properties of the system L[symbol] and their applications / L. Zhang and D.W. Pei -- Continuity of fuzzy peasoning in several metrics / S.S. Dai, D.W. Pei and L. Li -- Falsity accumulation theory in multi-valued Godel logic system / X.J. Hui -- The affine transformation in quantitative logic / Q.P. Wang and G.-J. Wang -- Accuracy and roughness measures for formulae in rough logic / Y.H. She and X.L. He -- Many-valued modal logic metric spaces based on frames / H.X. Shi and G.-J. Wang -- Riecan and Bosbach states on Glivenko residuated lattices / H.-J. Zhou -- Matching function-based fully implicational methods for fuzzy reasoning / H.W. Liu and P.J. Xue -- Fuzzy preunivex functions / L.F. Li, S.Y. Liu and J.K. Zhang -- Sunstructiral fuzzy logics with N-contraction / S.M. Wang -- The semantics theory for multi-valued reasoning about knowledge / L.N. Ma and S. Liu -- The probability-truth degree of uncertain propositional formula / X.F. Zhang and G.W. Meng -- The approximate reduction in many-valued propositional logic systema L[symbol] / P. Yu -- Cirquent calculus system CL8S versus calculus of structures systems SKSG for propositional logic / W.Y. Xu and S.Y. Liu -- Truth degree of formulas and state theory / D.W. Pei, L. Li and L.L. Xie -- Theory of [symbol]-fuzzy truth degree relative to finite theory in logic system R[symbol] / G.N. Xu and Y.M. Li -- Truth degree and nearness on fuzzy sets based on Lukasiewicz implication / D.-X. Zhang and S.-L. Chen -- The classical symmetrical logic metric sub-space / M.D. Hu -- Generalized R-calculus / Q.-Y. He, J. Ding and L.-S. Xu -- Universal triple I method and its application to textual emotion polarity recognition / Y.M. Tang, F.J. Ren and Y.X. Chen -- A quantitative relation model between trustworthy attributes / H.W. Tao and Y.X. Chen -- Bisimilarity for fuzzy doubly labeled transition systems / H.Y. Pan, M. Zhang and Y.X. Chen -- Fuzzy random expected value model based multi-objective optimization routing for wireless sensor networks / J.L. Lu and X.M. Wang. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Logic programming  |v Congresses. 
650 0 |a Soft computing  |v Congresses. 
650 6 |a Programmation logique  |v Congrès. 
650 6 |a Informatique douce  |v Congrès. 
650 7 |a COMPUTERS  |x Enterprise Applications  |x Business Intelligence Tools.  |2 bisacsh 
650 7 |a COMPUTERS  |x Intelligence (AI) & Semantics.  |2 bisacsh 
650 7 |a Logic programming  |2 fast 
650 7 |a Soft computing  |2 fast 
650 7 |a Engineering & Applied Sciences.  |2 hilcc 
650 7 |a Computer Science.  |2 hilcc 
655 7 |a Conference papers and proceedings  |2 fast 
700 1 |a Wang, Guojun. 
700 1 |a Li, Yongming. 
700 1 |a Zhao, Bin. 
776 0 8 |i Print version:  |a International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China).  |t Quantitative logic and soft computing.  |d Singapore : World Scientific, 2012  |z 9789814401524  |w (OCoLC)780478441 
830 0 |a World Scientific proceedings series on computer engineering and information science. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=457259  |z Texto completo 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL919160 
938 |a EBSCOhost  |b EBSC  |n 457259 
938 |a YBP Library Services  |b YANK  |n 7640097 
994 |a 92  |b IZTAP