-
1مؤتمر
المؤلفون: Yi Liu, Xiaoyan Qin, Yang Xu
المصدر: Uncertainty Modeling in Knowledge Engineering & Decision Making - Proceedings of the 10th International Flins Conference; 2012, p696-701, 6p
مصطلحات موضوعية: SEMANTICS, TECHNOLOGY, GENERALIZATION, REASONING, MATHEMATICAL logic
-
2مؤتمر
المؤلفون: XIAOYAN QIN, YI LIU, YANG XU, JIAFENG ZHANG
المصدر: Computational Intelligence: Foundations & Applications - Proceedings of the 9th International Flins Conference; 2010, p547-552, 6p
مصطلحات موضوعية: PREDICATE (Logic), MATHEMATICAL logic, FIRST-order logic, REASONING, METRIC spaces
-
3مؤتمر
المؤلفون: YI LIU, YANG XU, XIAOYAN QIN, YA QIN, JIAFENG ZHANG
المصدر: Computational Intelligence: Foundations & Applications - Proceedings of the 9th International Flins Conference; 2010, p93-98, 6p
مصطلحات موضوعية: IMPLICATION (Logic), FILTERS (Mathematics), LATTICE theory, ALGEBRAIC logic, FUZZY logic
-
4مؤتمر
المؤلفون: JIAFENG ZHANG, YANG XU, YI LIU, XIAOYAN QIN
المصدر: Computational Intelligence: Foundations & Applications - Proceedings of the 9th International Flins Conference; 2010, p99-104, 6p
مصطلحات موضوعية: LATTICE theory, IMPLICATION (Logic), REASONING, FIRST-order logic, ALGEBRAIC logic