|
个人信息：Personal Information
副教授 研究生导师
主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2018-03-09
学科：计算机软件与理论
办公地点：西安电子科技大学南校区网安大楼A308
电子邮箱：
扫描关注
Planning with Spatio-Temporal Search Control Knowledge
点击次数：
所属单位：西安电子科技大学，哈尔滨工业大学深圳研究生院
教研室：计算理论与技术研究所
发表刊物：IEEE Transactions on Knowledge and Data Engineering (TKDE，CCF A类，中科院二区)
刊物所在地：IEEE Xplore Digital Library
项目来源：NSFC Grant No. 61751207, 61732013 and 61420106004
关键字：Planning, spatio-temporal logic, separation logic, search control knowledge
全部作者：堵宏伟
第一作者：陆旭
论文类型：期刊论文
通讯作者：田聪,段振华
论文编号：6
学科门类：工学
一级学科：计算机科学与技术
文献类型：J
卷号：30
期号：10
页面范围：1915-1928
ISSN号：1041-4347
是否译文：否
发表时间：2018-10-01
收录刊物：EI、SCI、SCI、EI