王以松，男，副教授，硕士研究生导师。主要研究方向：人工智能(知识表示与推理、逻辑程序设计)，语义网络等。 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.
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
贵州大学计算机科学与信息学院导师介绍：王以松
贵州大学 考研网/2016-01-24
相关话题/贵州大学
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19贵州大学法学院导师介绍：司亚勤
司亚勤，女，汉族，1963年4月出生，1984年7月毕业于贵州大学哲学系,现任贵州大学社会学系教授、硕士生导师，贵州省社会学学会理事。主要从事社会保障及其相关学科的教学与研究。 主要任职经历： ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：田莉姝
田莉姝，女，硕士，1987年毕业于四川大学历史系，1992年由云南政法干部管理学院调入贵州大学法律系任教。现为贵州大学法学院教授，硕士生导师，法理法史教研室主任，宪法与行政法专业硕士点学科负责人， ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：赵少群
赵少群，女，1954/10出生，回族，1982年7月毕业于西南政法学院，获法学专业学士。1982年任教于贵州大学法学院，主要研究方向为国际法、国际贸易法。给本科生讲授国际法、国际关系史和国际贸易法 ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：钟佳萍
钟佳萍，男，1955年出生，汉族，贵州省贵阳市人，毕业于中山大学。现为贵州大学法学院教授、经济法教研室主任、贵州大学法学院社会服务中心副主任、硕士研究生导师、贵州省人民政府复议委员、贵阳仲裁委仲裁 ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：安和平
安和平，男，1958年生，贵州大学法学院、 人口研究中心（社会学系）研究员；人口学、社会学和MPA硕士生导师；享受国务院政府特殊津贴专家；国家可持续发展实验区专家委员会专家；中国社会学会人口与环境 ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：庄勇
庄勇，男，1965年6月出生。中共党员，贵州大学法学院党委书记，教授，硕士生导师，四川大学道教与宗教文化研究所博士研究生。贵州省社会学学会副秘书长、贵州省社会工作教育协会常务副会长。历任贵州大学哲 ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：冷传莉
冷传莉，女，1969年8月出生，贵州大学法学院院长、党委委员、教授、法学博士，硕士生导师。1991年6月毕业于西南政法大学经济法系，历任贵州大学法律系副主任、贵州大学法学院副院长、贵州大学法学院院 ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：李建军
李建军，1963年8月生，教授，博士，硕士生导师。先后毕业于西南大学、云南大学。现任安顺学院院长、党委副书记，贵州省社科联副主席。曾任贵州大学校党委常委、副校长、兼任贵州大学出版社社长。贵州省省管 ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：李卫国
李卫国，又名李卫帼，男，1969年12月出生，湖北麻城人，教授，硕士研究生导师。1988年至1992年就读于北京师范大学教育系，获教育学学士学位。1992年至1997年任教于湖北黄冈师范学院。19 ...学校动态信息 贵州大学 考研网 2016-01-24贵州大学法学院导师介绍：魏红
魏红，女 ， 生于1969年10月，山东省阳谷县人，中共党员。现为贵州大学法学院教授，硕士生导师，刑法教研室主任、刑法硕士点负责人、贵州省刑法学研究会副会长、贵州省知识产权协会专家、贵州省普法依法 ...学校动态信息 贵州大学 考研网 2016-01-24
