高济 王勋 程昱 吴海燕 凌云 傅朝阳 夏卓群 邓广慧

合取子句 增强Tableau Tableau 时态序 粒度转换 部分周期 遗传算法 析取范式 描述逻辑推理 协商决策模型 SHOIND) 自动协商 多粒度时间 数据挖掘 可满足性 周期模式 支持向量回归 电子商务

浙江工商大学信息学院 浙江工商大学计算机与信息工程学院 长沙理工大学计算机与通信工程学院 浙江大学计算机学院 浙江杭州 浙江大学计算机科学与技术学院 湖南长沙 浙江大学人工智能研究所