• 第一考试网微信公众号第一考试网微信公众号
贵州大学校徽

贵州大学 王以松

211 双一流

  • 贵州省贵阳市花溪区贵州大学普通本科招生办公室
  • http://www.gzu.edu.cn http://rso.gzu.edu.cn/
  • 0851-88305150,0851-88305151,0851-88292075
  • rso@gzu.edu.cn

  1. 院校大全
  2. 贵州大学
  3. 计算机科学与技术学院
  4. 王以松

王以松

姓名： 王以松
学校： 贵州大学
学院： 计算机科学与技术学院
职称：  

王以松老师的简介

<div class> <p> <br/> 　　王以松，男，副教授，硕士研究生导师。主要研究方向：人工智能(知识表示与推理、逻辑程序设计)，语义网络等。 Email: ys_wang168@sina.com<br/> <br/> 　　主讲课程</strong><br/> 　　最近授课《人工智能》、《数理逻辑》（硕士研究生）、《非经典逻辑》（硕士研究生）、《高级语言程序设计》、《Linux系统》等<br/> <br/> 　　科研项目</strong><br/> 　　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)<br/> 　　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)<br/> 　　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)<br/> 　　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)<br/> <br/> 　　发表论文</strong><br/> 　　1) Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. Normal Description Logic Programs as Default Theories. NonMon@30 .<br/> 　　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.<br/> 　　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<br/> 　　4) Yisong Wang, Jia-Huai You and Mingyi Zhang. Embeding Functions into Disjunctive Logic Programms. ASPOCP09, 46-60<br/> 　　5) Yisong Wang, Jia-Huai You, Li-Yan Yuan, and Mingyi Zhang. Weight Constraint Programs with Functions. LPNMR 2009, LNCS 5753, 329-341<br/> 　　6) Yisong Wang and Xinqiang Ma. Some Results on Order-Consistent Logic Programs. FSKD 2008: 557-561<br/> 　　7) Fangzhen Lin and Yisong Wang. Answer Set Programming with Functions. KR 2008: 454-464<br/> 　　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<br/> 　　9) Yin Chen, Fangzhen Lin, Yisong Wang and Mingyi Zhang. First-Order Loop Formulas for Normal Logic Programs. KR 2006: 298-307.<br/> 　　10) Mingyi Zhang, Ying Zhang, Yisong Wang. On Compatibility and Forward Chaining Normality, NMR2006,163-171.<br/> <br/> 　</p> </div>

王以松老师的课程

  • 暂时还没有收录王以松老师的课程列表，我们将尽快添加。

    • 王以松老师的论文

    • 暂时还没有收录王以松老师的论文，我们将尽快添加。

    王以松老师参与的论文

    • 暂时还没有收录王以松老师参与的论文，我们将尽快添加。

    计算机科学与技术学院 其他教师

    关于王以松老师的相关提示：以上内容并非是王以松老师的最新情况，请以王以松老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com