家贫居卑

王以松，男，副教授，硕士研究生导师。主要研究方向：人工智能(知识表示与推理、逻辑程序设计)，语义网络等。Email:ys_wang168@sina.com主讲课程最近授课《人工智能》、《数理逻辑》（硕士研究生）、《非经典逻辑》（硕士研究生）、《高级语言程序设计》、《Linux系统》等科研项目1)ThestudyandimplementationofAnsewrsetprogrammingwithfunctions,NSF60963009,2010.1~2012.12,(YisongWang,MingyiZhang,FangzhenLin,MingshengZhang,YingZhang,BoYang,GangXie,XiaoyingTu,YingZhan,KunpengWei)2)ThestudyofAnswerSetProgramming,TheNaturalScienceFoundationofEcationalCommissionofGuizhouProvince(2008)011,2009.1~2011.12,(YisongWang,BoYang,GangXie,KunpengWei,GonggeGao,YanfangRen)3)ThestudyandapplicationofAnswerSetProgramming,ScienceandTechnologyFoundationofGuizhouProvince[2008]2119,2008.6~2010.7,(YisongWang,MingyiZhang,FangzhenLin,WuChen)4)Thestudyandimplementofanswersetprogrammingwithfunctions,ScientificResearchFundfortalentsrecruitingofGuizhouUniversity(2007)042,2009.1~2011.12,(YisongWang,JingYang,WuChen,MaonianWu,MingshengZhang,BoYang,GonggeGao,YanfangRen)发表论文1)YisongWang,Jia-HuaiYou,Li-YanYuan,Yi-DongShen.NormalDescriptionLogicProgramsasDefaultTheories.NonMon@30.2)YisongWang,Jia-HuaiYou,Li-YanYuan,Yi-DongShen.LoopFormulasforDescriptionLogicPrograms.TheoryandPracticeofLogicProgramming.Volume10,specialissue(4-6):531-545.Thefullversion.3)YisongWang,MingyiZhang,Jia-HuaiYou.LogicPrograms,CompatibilityandForwardChainingConstruction.JOURNALOFCOMPUTERSCIENCEANDTECHNOLOGY24(6):1125-1137Nov.20094)YisongWang,Jia-HuaiYouandMingyiZhang.EmbedingFunctionsintoDisjunctiveLogicProgramms.ASPOCP09,46-605)YisongWang,Jia-HuaiYou,Li-YanYuan,andMingyiZhang.WeightConstraintProgramswithFunctions.LPNMR2009,LNCS5753,329-3416)YisongWangandXinqiangMa.SomeResultsonOrder-ConsistentLogicPrograms.FSKD2008:557-5617)FangzhenLinandYisongWang.AnswerSetProgrammingwithFunctions.KR2008:454-4648)YisongWang,MingyiZhangandYupingShen.ConsistencyPropertyofFiniteFC-NormalLogicPrograms.JOURNALOFCOMPUTERSCIENCEANDTECHNOLOGY22(4):559-566July20079)YinChen,FangzhenLin,YisongWangandMingyiZhang.First-OrderLoopFormulasforNormalLogicPrograms.KR2006:298-307.10)MingyiZhang,YingZhang,YisongWang.OnCompatibilityandForwardChainingNormality,NMR2006,163-171. 更多

考研网快讯，据河海大学研究生院消息，2014年河海大学社会保障考研报录比还未公布。为方便网友及时了解河海大学社会保障的报录比信息，故开启了关于河海大学社会保障考研报录比的帖子，网友可以进入原帖参与讨论。        同时也可以收藏2014年各院校考研报录比统计，考研网会第一时间及时发布关于河海大学报录比的信息。      更多