教师主页移动版

章衡 教师名称：章衡 教师拼音名称：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