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

发布时间：2021-10-28 编辑：考研派小莉推荐访问：

贵州大学计算机科学与信息学院导师：王以松内容如下，更多考研资讯请关注我们网站的更新！敬请收藏本站，或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取，有各种考研问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位考研一臂之力，争取早日考上理想中的研究生院校。）

+贵州大学研究生
微信,为你答疑,送资源

贵州大学法学院导师：方印贵州大学法学院导师：张林鸿贵州大学法学院导师：魏红贵州大学法学院导师：李卫国贵州大学法学院导师：李建军贵州大学法学院导师：安和平 95%的同学还阅读了： 贵州大学研究生招生目录贵州大学研究生分数线贵州大学王牌专业排名贵州大学考研难吗贵州大学考研调剂信息贵州大学研究生导师名单贵州大学研究生学费贵州大学研究生奖学金

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

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

　

以上老师的信息来源于学校网站，如有错误，可联系我们进行免费更新或删除。建议导师将更新的简历尤其对研究生招生的要求发送给我们，以便考研学子了解导师的情况。（导师建议加QQ-1933508706，以便后续随时更新网页或发布调剂信息。考研派网站和APP流量巨大）联系方式

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