貴州大學計算機科學與信息學院導師介紹：王以松

王以松，男，副教授，碩士研究生導師。主要研究方向：人工智能(知識表示與推理、邏輯程序設計)，語義網絡等。 Em

作者

佚名

次閱讀

2012-01-04

王以松，男，副教授，碩士研究生導師。主要研究方向：人工智能(知識表示與推理、邏輯程序設計)，語義網絡等。 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.

總結

以上是生活随笔為你收集整理的贵州大学计算机专业的导师是谁,贵州大学计算机科学与信息学院导师介绍：王以松...的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。