贵州大学计算机科学与信息学院导师介绍:王以松
王以松,男,副教授,硕士研究生导师。主要研究方向:人工智能(知识表示与推理、逻辑程序设计),语义网络等。 Email: ys_wang168@sina.com
主讲课程
最近授课《人工智能》、《数理逻辑》(硕士研究生)、《非经典逻辑》(硕士研究生)、《高级语言程序设计》、《Linux系统》等
科研项目
1) The study and implementation of Ansewr set programming with functions, NSF60963009, 2010.1~2012.12, (Yisong Wang, Mingyi Zhang, Fangzhen Lin, Mingsheng Zhang, Ying Zhang, Bo Yang, Gang Xie, Xiaoying Tu, Ying Zhan, Kunpeng Wei)
2) The study of Answer Set Programming, The Natural Science Foundation of Educational Commission of Guizhou Province (2008)011, 2009.1~2011.12, (Yisong Wang, Bo Yang, Gang Xie, Kunpeng Wei, Gongge Gao, Yanfang Ren)
3) The study and application of Answer Set Programming, Science and Technology Foundation of Guizhou Province [2008]2119, 2008.6~2010.7, (Yisong Wang, Mingyi Zhang, Fangzhen Lin, Wu Chen)
4) The study and implement of answer set programming with functions, Scientific Research Fund for talents recruiting of Guizhou University (2007)042, 2009.1~2011.12, (Yisong Wang, Jing Yang, Wu Chen, Maonian Wu,Mingsheng Zhang, Bo Yang, Gongge Gao, Yanfang Ren)
发表论文
1) Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. Normal Description Logic Programs as Default Theories. NonMon@30 .
2) Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. Loop Formulas for Description Logic Programs. Theory and Practice of Logic Programming. Volume 10, special issue (4-6):531-545. The full version.
3) Yisong Wang, Mingyi Zhang, Jia-Huai You. Logic Programs, Compatibility and Forward Chaining Construction. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 24(6): 1125-1137 Nov. 2009
4) Yisong Wang, Jia-Huai You and Mingyi Zhang. Embeding Functions into Disjunctive Logic Programms. ASPOCP09, 46-60
5) Yisong Wang, Jia-Huai You, Li-Yan Yuan, and Mingyi Zhang. Weight Constraint Programs with Functions. LPNMR 2009, LNCS 5753, 329-341
6) Yisong Wang and Xinqiang Ma. Some Results on Order-Consistent Logic Programs. FSKD 2008: 557-561
7) Fangzhen Lin and Yisong Wang. Answer Set Programming with Functions. KR 2008: 454-464
8) Yisong Wang, Mingyi Zhang and Yuping Shen. Consistency Property of Finite FC-Normal Logic Programs. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 22(4):559-566 July 2007
9) Yin Chen, Fangzhen Lin, Yisong Wang and Mingyi Zhang. First-Order Loop Formulas for Normal Logic Programs. KR 2006: 298-307.
10) Mingyi Zhang, Ying Zhang, Yisong Wang. On Compatibility and Forward Chaining Normality, NMR2006,163-171.
【贵州大学计算机科学与信息学院导师介绍:王以松】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】2015年重庆大学人文社会科学高等研究院考研复试
- 【导师介绍】海南师范大学2012年硕士复试预通知及复试须知
- 【导师介绍】海南师范大学2012年硕士研究生复试考生须知
- 【导师介绍】海南师范大学2013年硕士研究生招生复试名单
- 【导师介绍】海南师范大学2012年硕士研究生招生复试通知
- 【导师介绍】2015年重庆大学建筑城规学院考研复试安排
- 【导师介绍】2014年琼州学院旅游管理硕士专业学位(MTA)复试安排
- 【导师介绍】海南师范大学2012年硕士学位研究生复试录取办法
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比