Fuzzy logic; Conferences; Semantics; Fuzzy set theory; Standards; Fuzzy systems;
机译:逼近定点理论和高阶逻辑程序的可靠语义
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:线性逻辑的关系语义与高阶模型检验
机译:一阶类型的模糊逻辑及其分类语义:线性完备性和基于Lawvere超学说的Baaz翻译
机译:广义高阶统计量(GHOS)和广义高阶循环统计量(GHOCS):理论与应用。
机译:高阶CRF集成位置-上下文-语义线索的大规模ALS数据语义分类
机译:线性逻辑的关系语义与高阶模型检验