郭瑞景 陶先平 李新 陈红强 韩婷婷 苏敏 何雪松 吕建国

半结构化数据 固化剂 运行时错误 模态逻辑 智能空间 模型检测 同步控制线索 agent理论

计算机软件研究所 南京大学软件研究所 南京大学计算机软件研究所 南京大学计算机软件新技术国 扬州大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室南... 南京大学计算机软件研究所南京大学软件新技...