删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

中山大学信息科学与技术学院研究生导师介绍刘咏梅

中山大学 免费考研网/2012-10-21

刘咏梅
  • 基本情况
  • 性别:女暂无图片研究方向:人工智能,知识表示与推理,认知机器人学,程序的调试和验证.办公电话电子邮件:ymliu@mail.sysu.edu.cn个人主页:http://www.cs.sysu.edu.cn/~ymliu
  • 详细介绍
  • 刘咏梅,教授,博士生导师

    个人主页:http://www.cs.sysu.edu.cn/~ymliu

    教育背景

    于加拿大多伦多大学计算机科学系获博士学位。

    研究兴趣

    人工智能,知识表示与推理,认知机器人学,程序的调试和验证

    联系方式

    电子邮件:ymliu[at]mail.sysu.edu.cn

    主要论文

  • Y.LiuandB.Li.AutomatedProgramDebuggingviaMultiplePredicateSwitching.ToappearinProceedingsoftheTwenty-FourthAAAIConferenceonArtificialIntelligence(AAAI-10),2010.
  • Y.LiuandG.Lakemeyer.OnFirst-OrderDefinabilityandComputabilityofProgressionforLocal-EffectActionsandBeyond.InProceedingsoftheTwenty-FirstInternationalJointConferenceonArtificialIntelligence(IJCAI-09),2009.
  • Y.Liu.AFormalizationofProgramDebuggingintheSituationCalculus.InProceedingsoftheTwenty-ThirdAAAIConferenceonArtificialIntelligence(AAAI-08),2008.
  • Y.LiuandG.Lakemeyer.OntheexpressivenessofLevesque’snormalform.JournalofArtificialIntelligenceResearch,31:259-272,2008.
  • M.Patterson,Y.Liu,E.TernovskaandA.Gupta.GroundingforModelExpansionink-GuardedFormulaswithInductiveDefinitions.InProceedingsoftheTwentiethInternationalJointConferenceonArtificialIntelligence(IJCAI-07),pages161-166,2007.
  • Y.LiuandH.J.Levesque.Tractablereasoningwithincompletefirst-orderknowledgeindynamicsystemswithcontext-dependentactions.InProceedingsoftheNineteenthInternationalJointConferenceonArtificialIntelligence(IJCAI-05),pages522-527,2005.
  • Y.LiuandH.J.Levesque.Tractablereasoninginfirst-orderknowledgebaseswithdisjunctiveinformation.InProceedingsoftheTwentiethNationalConferenceonArtificialIntelligence(AAAI-05),pages639-644,2005.
  • Y.Liu,G.Lakemeyer,andH.J.Levesque.Alogicoflimitedbeliefforreasoningwithdisjunctiveinformation.InProceedingsoftheNinthInternationalConferenceonPrinciplesofKnowledgeRepresentationandReasoning(KR-04),pages587-597,2004.
  • Y.LiuandH.J.Levesque.Atractabilityresultforreasoningwithincompletefirst-orderknowledgebases.InProceedingsoftheEighteenthInternationalJointConferenceonArtificialIntelligence(IJCAI-03),pages83-88,2003.
  • S.A.CookandY.Liu.Acompleteaxiomatizationforblocksworld.JournalofLogicandComputation,13(4):581-594,2003.
  • Y.Liu.AHoare-styleproofsystemforrobotprograms.InProceedingsoftheEighteenthNationalConferenceonArtificialIntelligence(AAAI-02),pages74-79,2002.
  • 相关话题/信息科学 导师

    • 领限时大额优惠券,享本站正版考研考试资料!
      大额优惠券
      优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
      本站小编 Free壹佰分学习网 2022-09-19
    • 中山大学信息科学与技术学院研究生导师介绍龙冬阳
      龙冬阳基本情况性别:男暂无图片研究方向:办公电话:电子邮件:issldy@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~issldy详细介绍DrDongyangLong龙冬阳博士、教授、博士生导师联系方式:86-020-8403723786-020-84113673issldy@mail.sysu.edu.cnCurriculumVitaeEducat ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍纪庆革
      纪庆革基本情况性别:男研究方向:计算机图形学与视觉、网络游戏动画与虚拟现实、可视化技术、系统仿真、博弈论和智能机器人等办公电话:13416315695电子邮件:issjqg@mail.sysu.edu.cn个人主页:http://www.cs.sysu.edu.cn/~jqg详细介绍纪庆革(QinggeJi)工学博士,副教授,硕士生导师,出站博士后性别:男学历:博士职称:副教授AssociateP ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍高集荣
      高集荣基本情况性别:男暂无图片研究方向:办公电话:电子邮件:gaojr@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~gaojr详细介绍gaojr@163.com信息正在录入中。。。 ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍林瑛
      林瑛基本情况性别:女暂无图片研究方向:办公电话:电子邮件:issly@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~issly详细介绍林瑛issly@mail.sysu.edu.cn ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍林瀚
      林瀚基本情况性别:男暂无图片研究方向:理论计算机科学与人工智能办公电话:电子邮件:linhan095@gmail.com个人主页:http://www.cs.sysu.edu.cn/~lh详细介绍联系方式:linhan095@gmail.com教育背景:本科阶段1999.9-2003.7中山大学信息科学与技术学院计算机科学系计算机科学与技术专业,获理学学士学位硕士阶段(推荐免试)2003.9-20 ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍衣杨
      衣杨基本情况性别:女暂无图片研究方向:办公电话:15918542577电子邮件:issyy@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~issyy详细介绍博士,副教授,硕士生导师。目前科研兴趣为:多媒体图像识别与理解、视频镜头分割与特征提取、进化计算。中国计算机学会教育委员会委员、中国计算机学会高级会员。主持的部分科研项目1.广东省产学研项目:基于协 ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍王甲海
      王甲海基本情况性别:男暂无图片研究方向:人工智能及其应用;数据挖掘与知识发现办公电话:电子邮件:wangjiah@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~wangjiah详细介绍基本资料:王甲海男工学博士副教授wangjiah@mail.sysu.edu.cn2005年毕业于ToyamaUniversity(日本),获工学博士学位研究兴趣:[]智 ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍王常吉
      王常吉基本情况性别:男暂无图片研究方向:办公电话:电子邮件:isswchj@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~isswchj详细介绍副教授性别:男Email:isswchj@mail.sysu.edu.cn;wchangji@gmail.com详细介绍:1990年9月至1994年7月:就读于湖南吉首大学数学系,获理学学士学位1994年9月至 ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍李小霞
      李小霞基本情况性别:女暂无图片研究方向:办公电话:电子邮件:lixx@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~lixx详细介绍李小霞lixx@mail.sysu.edu.cnLi_xiaoxia@sina.com ...
      中山大学 免费考研网 2012-10-21
    • 中山大学信息科学与技术学院研究生导师介绍乔海燕
      乔海燕基本情况性别:男暂无图片研究方向:办公电话:电子邮件:qiaohy@mail.sysu.edu.cn个人主页:http://sist.sysu.edu.cn/~qiaohy/详细介绍主页:http://sist.sysu.edu.cn/~qiaohy/教学:1《数据结构》2《集合论与图论》3《函数程序设计与程序验证》4《Haskell函数程序设计》科研兴趣:1.类型论及其在计算机科学中的应用 ...
      中山大学 免费考研网 2012-10-21