您当前的位置:>师资队伍>师资力量>教师详情
师资一览
登陆

教育背景

2012年1月毕业于清华大学计算机科学与技术系,获工学博士

研究方向

人工智能,包括知识表示与推理、多智能体系统、人工智能的理论基础

数据库,包括基于本体的数据访问、复杂查询语言

工作经历

2010年5月至2011年5月,澳大利亚西悉尼大学,访问学者

2012年6月至2015年7月,澳大利亚西悉尼大学,博士后研究员

2015年9月至2015年12月,加拿大阿尔伯塔大学,访问学者

研究论文

・Heng Zhang, Yan Zhang, Expressiveness of Logic Programs under the General Stable Model Semantics,ACM Transactions on Computational Logic  (2017, accepted),CCF B类

Vernon Asuncion, Yan Zhang, Heng Zhang, Polynomially Bounded Logic Programs with Function Symbols: A New Decidable Class,AAAI-17,CCF A类

・Heng Zhang, Yan Zhang, Jia-Huai You, Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering,IJCAI-16,CCF A类

・Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang, Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games,IJCAI-16,CCF A类

・Wan Hai, Heng Zhang*, Peng Xiao, Haoran Huang, Yan Zhang, Query Answering with Inconsistent Existential Rules under Stable Model Semantics, AAAI-16,CCF A类

・Zhengyuan Xue, Ruixuan Li, Heng Zhang, Xiwu gu, Zhiyong Xu, DC-Top-k: A Novel Top-k Selecting Algorithm and Its Parallelization,ICPP 2016,CCF B类

・Heng Zhang, Yan Zhang, Jia-Huai You, Existential Rule Languages with Finite Chase: Complexity and Expressiveness,AAAI-15,CCF A类

・Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang, A Logic for Collective Choice,AAAMS-15,CCF B类

・Vernon Asuncion, Yan Zhang, Heng Zhang, Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness,KR-14,CCF B类

・Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang, Computing General First-order Parallel and Prioritized Circumscription,AAAI-14,CCF A类

・Heng Zhang, Yan Zhang, First-order Expressibility and Boundedness of Disjunctive Logic Programs,IJCAI-13,CCF A类;

・Jia-Huai You, Heng Zhang, Yan Zhang, Disjunctive Logic Programs with Existential Quantification in Rule Heads,Theory and Practice of Logic Programming,vol 13,4-5期,B类

・Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou, Constructive Circumscription,Theory and Practice of Logic Programming,vol 13,4-5期,B类

・Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou, Translating First-order Theories into Logic Programs,IJCAI-11,CCF A类

・Heng Zhang, Mingsheng Ying, Decidable Fragments of First-order Language under Stable Model Semantics and Circumscription,AAAI-10,CCF A类

・Heng Zhang, Mingyi Zhang, 中间逻辑中的良构范式,数学学报,卷数:51,第1期

・Heng Zhang, Mingyi Zhang, Model-Characterizing Formulas and Normal Forms in Godel Logics,ISMVL-07

科研项目与获奖

国家自然科学基金面上项目,61179030,量子信道零错容量的理论及其应用,参与

国家自然科学基金青年科学基金项目,60905036,知识-信度的概率形式化模型及其在安全协议验证中的应用,参与

国家自然科学基金青年科学基金项目,60703095,一阶环和环公式在非经典逻辑计算中的理论与应用,参与

国家自然科学基金面上项目,60573009,基于回答集语义的约束逻辑程序设计,参与