Quantitative logic and soft computing: proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific
2012
|
| Schriftenreihe: | World Scientific proceedings series on computer engineering and information science
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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 Includes bibliographical references and index 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 |
| Beschreibung: | 1 Online-Ressource (xvii, 705 pages) |
| ISBN: | 9789814401531 9814401536 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042961110 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151030s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814401531 |c electronic bk. |9 978-981-4401-53-1 | ||
| 020 | |a 9814401536 |c electronic bk. |9 981-4401-53-6 | ||
| 020 | |a 9814401536 |9 981-4401-53-6 | ||
| 035 | |a (OCoLC)794328444 | ||
| 035 | |a (DE-599)BVBBV042961110 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 110 | 2 | |a International Conference on Quantitative Logic and Soft Computing < 2012, Xi'an, China> |e Verfasser |4 aut | |
| 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 |
| 264 | 1 | |a Singapore |b World Scientific |c 2012 | |
| 300 | |a 1 Online-Ressource (xvii, 705 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a World Scientific proceedings series on computer engineering and information science | |
| 500 | |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 | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |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 -- | ||
| 500 | |a - 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 -- | ||
| 500 | |a - 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 | ||
| 650 | 4 | |a Intelligent control systems | |
| 650 | 4 | |a Soft computing | |
| 650 | 4 | |a Computer science | |
| 650 | 7 | |a COMPUTERS / Enterprise Applications / Business Intelligence Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Intelligence (AI) & Semantics |2 bisacsh | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 7 | |a Soft computing |2 fast | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 4 | |a Soft computing |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Wang, Guojun |e Sonstige |4 oth | |
| 700 | 1 | |a Li, Yongming |e Sonstige |4 oth | |
| 700 | 1 | |a Zhao, Bin |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457259 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA |a ZDB-4-EBU | ||
| 940 | 1 | |q FAW_PDA_EBA | |
| 940 | 1 | |q FLA_PDA_EBU | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028386978 | ||
Datensatz im Suchindex
| _version_ | 1804175282499747840 |
|---|---|
| any_adam_object | |
| author_corporate | International Conference on Quantitative Logic and Soft Computing < 2012, Xi'an, China> |
| author_corporate_role | aut |
| author_facet | International Conference on Quantitative Logic and Soft Computing < 2012, Xi'an, China> |
| author_sort | International Conference on Quantitative Logic and Soft Computing < 2012, Xi'an, China> |
| building | Verbundindex |
| bvnumber | BV042961110 |
| collection | ZDB-4-EBA ZDB-4-EBU |
| ctrlnum | (OCoLC)794328444 (DE-599)BVBBV042961110 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05542nmm a2200577zc 4500</leader><controlfield tag="001">BV042961110</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151030s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814401531</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4401-53-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814401536</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-4401-53-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814401536</subfield><subfield code="9">981-4401-53-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)794328444</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042961110</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">International Conference on Quantitative Logic and Soft Computing < 2012, Xi'an, China></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Quantitative logic and soft computing</subfield><subfield code="b">proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012</subfield><subfield code="c">editors, Guojun Wang, Bin Zhao, Yongming Li</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvii, 705 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">World Scientific proceedings series on computer engineering and information science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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 -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 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 -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligent control systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Soft computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Enterprise Applications / Business Intelligence Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Intelligence (AI) & Semantics</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Soft computing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Soft computing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wang, Guojun</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Yongming</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhao, Bin</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457259</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield><subfield code="a">ZDB-4-EBU</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_EBA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_EBU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028386978</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042961110 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:13:49Z |
| institution | BVB |
| isbn | 9789814401531 9814401536 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028386978 |
| oclc_num | 794328444 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xvii, 705 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBU FAW_PDA_EBA FLA_PDA_EBU |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | World Scientific |
| record_format | marc |
| series2 | World Scientific proceedings series on computer engineering and information science |
| spelling | International Conference on Quantitative Logic and Soft Computing < 2012, Xi'an, China> Verfasser aut Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 editors, Guojun Wang, Bin Zhao, Yongming Li Singapore World Scientific 2012 1 Online-Ressource (xvii, 705 pages) txt rdacontent c rdamedia cr rdacarrier World Scientific proceedings series on computer engineering and information science 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 Includes bibliographical references and index 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 Intelligent control systems Soft computing Computer science COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Logic programming fast Soft computing fast Informatik Logic programming Congresses Soft computing Congresses (DE-588)1071861417 Konferenzschrift gnd-content Wang, Guojun Sonstige oth Li, Yongming Sonstige oth Zhao, Bin Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457259 Aggregator Volltext |
| spellingShingle | Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 Intelligent control systems Soft computing Computer science COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Logic programming fast Soft computing fast Informatik Logic programming Congresses Soft computing Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 |
| title_auth | Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 |
| title_exact_search | Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 |
| title_full | Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 editors, Guojun Wang, Bin Zhao, Yongming Li |
| title_fullStr | Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 editors, Guojun Wang, Bin Zhao, Yongming Li |
| title_full_unstemmed | Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 editors, Guojun Wang, Bin Zhao, Yongming Li |
| title_short | Quantitative logic and soft computing |
| title_sort | quantitative logic and soft computing proceedings of the ql sc 2012 xi an china 12 15 may 2012 |
| title_sub | proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 |
| topic | Intelligent control systems Soft computing Computer science COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Logic programming fast Soft computing fast Informatik Logic programming Congresses Soft computing Congresses |
| topic_facet | Intelligent control systems Soft computing Computer science COMPUTERS / Enterprise Applications / Business Intelligence Tools COMPUTERS / Intelligence (AI) & Semantics Logic programming Informatik Logic programming Congresses Soft computing Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457259 |
| work_keys_str_mv | AT internationalconferenceonquantitativelogicandsoftcomputing2012xianchina quantitativelogicandsoftcomputingproceedingsoftheqlsc2012xianchina1215may2012 AT wangguojun quantitativelogicandsoftcomputingproceedingsoftheqlsc2012xianchina1215may2012 AT liyongming quantitativelogicandsoftcomputingproceedingsoftheqlsc2012xianchina1215may2012 AT zhaobin quantitativelogicandsoftcomputingproceedingsoftheqlsc2012xianchina1215may2012 |