李向阳 刘军 张增军 张亚非 陈波 肖军模 郑君杰 刘晶

路径表达式 引理推理 数据的可用性 网络取证 推理控制 代理 规则优化 信息抽取

江苏南京 南京师范大学 解放军理工大学训练部 解放军理工大学通信工程学院