贵州大学计算机科学与信息学院导师：王以松

贵州大学计算机科学与信息学院导师：王以松的内容如下，更多考研资讯请关注我们考研派网站的更新！敬请收藏本站。或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取哦）[贵州大学法学院导师：方印] [贵州大学法学院导师：张林鸿] [贵州大学法学院导师：魏红] [贵州大学法学院导师：李卫国] [贵州大学法学院导师：李建军] [贵州大学法学院导师：安和平]

贵州大学学姐微信
为你答疑,送资源

95%的同学还阅读了： [2022贵州大学研究生招生目录] [贵州大学研究生分数线[2013-2021]] [贵州大学王牌专业排名] [贵州大学考研难吗] [贵州大学研究生院] [贵州大学考研群] [贵州大学研究生学费] 贵州大学保研夏令营 贵州大学考研调剂2022最新信息 [贵州大学研究生辅导] [考研国家线[2006-2021]] [2022年考研时间：报名日期和考试时间]

贵州大学计算机科学与信息学院导师：王以松正文

　　王以松，男，副教授，硕士研究生导师。主要研究方向：人工智能(知识表示与推理、逻辑程序设计)，语义网络等。 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.

　

添加贵州大学学姐微信，或微信搜索公众号“考研派之家”，关注【考研派之家】微信公众号，在考研派之家微信号输入【贵州大学考研分数线、贵州大学报录比、贵州大学考研群、贵州大学学姐微信、贵州大学考研真题、贵州大学专业目录、贵州大学排名、贵州大学保研、贵州大学公众号、贵州大学研究生招生）】即可在手机上查看相对应贵州大学考研信息或资源。