|
个人信息：Personal Information
副教授 研究生导师
主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2018-03-09
学科：计算机软件与理论
办公地点：西安电子科技大学南校区网安大楼A308
电子邮箱：
扫描关注
Temporalising Separation Logic for Planning with Search Control Knowledge
点击次数：
所属单位：西安电子科技大学
教研室：计算理论与技术研究所
发表刊物：The 26th International Joint Conferences on Artificial Intelligence (IJCAI 2017，CCF A类、人工智能领域顶级会议)
项目来源：NSFC Grant Nos. 61420106004 and 91418201
第一作者：陆旭
论文类型：Proceedings Paper
通讯作者：田聪,段振华
论文编号：4
学科门类：工学
一级学科：计算机科学与技术
文献类型：C
页面范围：1167-1173
ISSN号：10450823
是否译文：否
发表时间：2017-08-04
收录刊物：EI、EI