章衡
教师名称：章衡
教师拼音名称：Heng Zhang
性别：男
职称：副教授
其他联系方式
邮箱：heng.zhang@tju.edu.cn
基本信息
研究方向
获奖情况
论文成果
Dr. Heng Zhang is an Associate Professor of Computer Science at Tianjin University. His interests focus on Foundations of Artificial Intelligence, Knowledge Representation and Reasoning, and Logic in Computer Science.
Logic in Computer Science
Knowledge Representation and Reasoning
Theoretical Foundations of Artificial Intelligence
暂无内容
Heng Zhang.Expressiveness of logic programs under the general stable model semantics.ACM Transactions ....2017,18 (2):9:1-9:28
Heng Zhang.Expressive completeness of existential rule languages for ontology-based query answering.IJCAI 2016.2019
Hai Wan.Query answering with inconsistent existential rules under stable model semantics.AAAI 2016.2019
Heng Zhang.Existential rule languages with finite chase: Complexity and expressiveness.AAAI 2015.2019
Jia-Huai You.Disjunctive logic programs with existential quantification in rule heads..Theory and Practi....2019,13 (4-5):563-578
Heng Zhang.First-order expressibility and boundedness of disjunctive logic programs.IJCAI 2013.2019
Heng Zhang.Translating first-order theories into logic programs.IJCAI 2011.2019
Heng Zhang, Mingsheng Ying.Decidable fragments of first-order language under stable model semantics and circumscription.AAAI 2010.2019
教育经历
2007.9-2012.1
Tsinghua University Computer Science and Technology Doctor of Engineering
工作经历
2012.6
-2015.6
|School of Computing and Mathematics|University of Western Sydney|Postdoctoral Research Fellow
2015.9
-2015.12
|Department of Computing|University of Alberta|Postdoctor Research Fellow (Visiting)
2015.7
-2017.7
|School of Computer Science and Technology|Huazhong University of Science and Technology|Associate Professor
2017.7
-2019.12
|Department of Software Engineering|Tianjin University|Associate Professor |
