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,...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| 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 |
Tabla de Contenidos:
- 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.