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

發(fā)布時間：2021-10-28 編輯：考研派小莉推薦訪問：

貴州大學計算機科學與信息學院導師：王以松內(nèi)容如下，更多考研資訊請關(guān)注我們網(wǎng)站的更新！敬請收藏本站，或下載我們的考研派APP和考研派微信公眾號（里面有非常多的免費考研資源可以領(lǐng)取，有各種考研問題，也可直接加我們網(wǎng)站上的研究生學姐微信，全程免費答疑，助各位考研一臂之力，爭取早日考上理想中的研究生院校。）

+貴州大學研究生
微信,為你答疑,送資源

貴州大學法學院導師：方印貴州大學法學院導師：張林鴻貴州大學法學院導師：魏紅貴州大學法學院導師：李衛(wèi)國貴州大學法學院導師：李建軍貴州大學法學院導師：安和平 95%的同學還閱讀了： 貴州大學研究生招生目錄貴州大學研究生分數(shù)線貴州大學王牌專業(yè)排名貴州大學考研難嗎貴州大學考研調(diào)劑信息貴州大學研究生導師名單貴州大學研究生學費貴州大學研究生獎學金

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

　　王以松，男，副教授，碩士研究生導師。主要研究方向：人工智能(知識表示與推理、邏輯程序設(shè)計)，語義網(wǎng)絡(luò)等。 Email: ys_wang168@sina.com

　　主講課程
　　最近授課《人工智能》、《數(shù)理邏輯》（碩士研究生）、《非經(jīng)典邏輯》（碩士研究生）、《高級語言程序設(shè)計》、《Linux系統(tǒng)》等

　　科研項目
　　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)

　　發(fā)表論文
　　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.

　

以上老師的信息來源于學校網(wǎng)站，如有錯誤，可聯(lián)系我們進行免費更新或刪除。建議導師將更新的簡歷尤其對研究生招生的要求發(fā)送給我們，以便考研學子了解導師的情況。（導師建議加QQ-1933508706，以便后續(xù)隨時更新網(wǎng)頁或發(fā)布調(diào)劑信息。考研派網(wǎng)站和APP流量巨大）聯(lián)系方式

添加貴州大學學姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[貴州大學考研分數(shù)線、貴州大學報錄比、貴州大學考研群、貴州大學學姐微信、貴州大學考研真題、貴州大學專業(yè)目錄、貴州大學排名、貴州大學保研、貴州大學公眾號、貴州大學研究生招生）]即可在手機上查看相對應(yīng)貴州大學考研信息或資源。