王俊丽 潘美芹 郑江群 韩耀军 章昭辉 张金泉 王永丽 蒋昌俊 杜晓丽 闫春钢 孙萍 王硕明

Petri网 最短路径 交通信息网格 任务调度 存在量词 显微夹杂物 Q195 体积率 异构计算环境 规则系统 Horn子句 全称量词 并行算法 松弛标记 本体学习 谓词逻辑 验证 概念分类规则 任务交互图 命题逻辑 遗传算法 示踪法

山东科技大学信息科学与工程学院 山东青岛 同济大学电子与信息工程学院 同济大学计算机科学与工程系 安徽师范大学计算机科学与技术系 国家高性能计算机工程技术研究中心同济分中... 安徽芜湖 同济大学计算机科学与技术系