description logics; fuzzy product logic; SMT solvers;
机译:MNiBLoS:基于SMT的求解器,用于基于t范数的连续逻辑及其某些模态展开
机译:R_0-typd模糊逻辑度量空间和一种求解模糊模态的算法
机译:分布式SMT求解环境的实现与实验
机译:用SMT求解器实现无限值无限产品逻辑的模糊DL求解器
机译:在计算机程序中用于计算裂变产物释放分数的热力学求解器的实现。
机译:模糊逻辑在WSANS中的actor节点选择中的应用 - 基于模糊的系统和试验用的应用
机译:SMT求解器在无穷乘积逻辑上实现模糊DL求解器的研究