章衡
- 教师名称：章衡
- 教师拼音名称：Heng Zhang
- 性别：男
- 职称：副教授
其他联系方式
- 邮箱：
基本信息
研究方向
获奖情况
论文成果
-
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.
-
- 暂无内容
-
- 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