所属研究所、院系 :?计算机科学理论研究所
教师简介:?
研究兴趣：人工智能，知识表示与推理，认知机器人学，程序的调试和验证
教育背景：于加拿大多伦多大学计算机科学系获博士学位
主要论文：
1. L. Xiong and Y. Liu. Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. To appear in?Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16), 2016.
2. L. Fang, Y. Liu and H. van Ditmarsch. Forgetting in Multi-Agent Modal Logics. To appear in?Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16), 2016.
3. H. Wan, R. Yang, L. Fang, Y. Liu and H. Xu. A Complete Epistemic Planner without the Epistemic Closed World Assumption. In?Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.
4. L. Fang, Y. Liu and X. Wen. On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. In?Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.
5. N. Li and Y. Liu. Automatic Verification of Partial Correctness of Golog Programs. In?Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.
6. X. Wang and Y. Liu. Automated fault localization via hierarchical multiple predicate switching.?Journal of Systems and Software, 104:69-81, 2015.
7. Y. Liu and H. Levesque. Incorporating action models into the Situation Calculus. In A. Baltag and S. Smets, editors,?Johan F. A. K. van Benthem on Logical and Informational Dynamics, Volume 5 of Outstanding Contributions to Logic, Springer, 2014.
8. N. Li, Y. Fan and Y. Liu. Reasoning about State Constraints in the Situation Calculus. In?Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13), pages 997-1003, 2013.
9. Q. Yu, X. Wen and Y. Liu. Multi-agent Epistemic Explanatory Diagnosis via Reasoning about Actions. In?Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13), pages 1183-1190, 2013.
10. L. Fang and Y. Liu. Multi-agent Knowledge and Belief Change in the Situation Calculus. In?Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), pages 304-312, 2013.
11. Y. Fan, M. Cai, N. Li and Y. Liu. A first-order interpreter for knowledge-based Golog with sensing based on exact progression and limited reasoning. In?Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), pages 734-742, ?2012.
12. Y. Liu and X. Wen. On the Progression of Knowledge in the Situation Calculus. In?Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pages 976-982, 2011.
13. Y. Liu and B. Li. Automated program debugging via multiple predicate switching. In?Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10),?pages 327-332, 2010.
14. Y. Liu and G. Lakemeyer. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. In?Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), pages 860-866, 2009.
15. Y. Liu. A Formalization of Program Debugging in the Situation Calculus. In?Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), pages 486-491, 2008.
16. Y. Liu and G. Lakemeyer. On the expressiveness of Levesque's normal form.?Journal of Artificial Intelligence Research,?31:259-272, 2008.
?
研究领域:?
人工智能，知识表示与推理，认知机器人学，程序的调试和验证
?
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
中山大学逸仙学院导师教师师资介绍简介-刘咏梅
本站小编 Free考研考试/2021-05-19
相关话题/中山大学
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19中山大学逸仙学院导师教师师资介绍简介-陆遥
所属研究所、院系:数据科学研究所教师简介:陆遥，男。数学博士。中山大学数据科学与计算机学院教授，博士生导师。曾就读于中国科学技术大学，中国科学院数学与系统科学研究院，美国雪城大学。博士毕业后在美国密西根大学从事乳腺癌医学成像的研究。曾任密西根大学医学院PostdoctoralResearchFell ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-卢宇彤
所属研究所、院系:数据科学与计算机学院教师简介:卢宇彤，女，博士，教授，博导，现任中山大学数据科学与计算机学院教授，国家超级计算广州中心主任，曾任国防科技大学计算机学院软件所副所长，银河天河工程副总师。卢教授长期从事国产高性能计算大规模并行系统软件的研究与实现，参加了五代银河系统和两代天河系统的研制 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-邱道文
院系:计算机科学理论研究所研究领域:·量子信息·量子算法及其在大数据处理中的应用·非经典自动机·离散事件系统科研项目:·国家自然科学基金“若干新的量子算法及相关问题”,**.（2016.01—2019.12）·国家自然科学基金“半量子计算模型与密码通讯中的若干问题”,**.（2013.01—2016 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-马啸
所属研究所、院系:网络空间安全研究所教师简介:马啸，工学博士，中山大学数据科学与计算机学院副院长；教授、博士生导师（信息与通信工程、计算机科学与技术）。·2006年，获IEEE通信学会颁发的2005年度最佳论文奖（2005BestPaperAwardinSignalProcessingandCodi ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-王国利
所属研究所、院系:智能科学与技术研究所教师简介:王国利，中山大学教授，德国洪堡****，机器智能与先进计算教育部重点实验室主任，智能科学与技术研究所所长。于1982-1992期间就读南开大学计算机系分获学士、硕士和博士学位。1992年7月至2000年3月受聘汕头大学工学院计算机系1999年12月晋升 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-谭志军
所属研究所、院系:数据科学研究所教师简介:谭志军，数据科学与计算机学院副教授，硕士生导师，广东省引进创新科研团队核心成员。2003年获湘潭大学数学系计算数学专业理学硕士学位，导师为黄云清教授；2005年11月获香港浸会大学数学系哲学博士学位，导师为汤涛教授；2005年3月-2005年8月访问北京大学 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-吴维刚
教师简介:吴维刚，博士，教授，博士生导师。分别于1998年和2003年在西安交通大学获得学士和硕士学位，于2007年在香港理工大学获得博士学位。2008年进入中山大学计算机科学系工作，2011年入选广州市首届“珠江科技新星”。研究生招生：欢迎认真、自律的学生联系读硕、读博。专职科研岗、博士后招聘：招 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-吴迪
教师简介:2000年本科毕业于中国科技大学计算机系2003年硕士毕业于中科院计算技术研究所2007年博士毕业于香港中文大学计算机科学与工程系，之后在美国纽约大学理工学院跟随IEEE/ACM会士KeithW.Ross教授从事博士后研究，2009年引进加入中山大学。目前担任IEEE多媒体通信技术委员会流 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-印鉴
教师简介:中山大学数据科学与计算机学院教授、博士生导师、广东省大数据分析与处理重点实验室主任、广东省大数据管理与应用工程技术研究中心主任、广州市超算与大数据重点实验室主任。现为中国计算机学会数据库专业委员会委员、中国计算机学会大数据专家委员会委员、广东省计算机学会副秘书长、广东省计算机学会大数据专业 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学逸仙学院导师教师师资介绍简介-杨宏奇
教师简介:杨宏奇，中山大学数据科学与计算机学院教授、广东省计算数学学会秘书长。承担国家自然科学基金项目1项、参与国家自然科学基金项目多项。参与组织2009年“反问题及其应用国际会议”、2010年“图像处理中的数学方法国际会议”。访问过美国WestVirginiaUniversity数学系、台湾中山大 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19
