Heng Zhang
School
College of Intelligence and Computing
Professional Title
Associate professor
Contact Information
heng.zhang@tju.edu.cn
Brief Introduction
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.
Education Background
- Doctor of Engineering| Tsinghua University| Computer Science and Technology| 2012
Research Interests
- Logic in Computer Science
- Knowledge Representation and Reasoning
- Theoretical Foundations of Artificial Intelligence
Positions & Employments
-
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
Academic Achievements
- Papers
- [1] Expressiveness of logic programs under the general stable model semantics
- [2] Expressive completeness of existential rule languages for ontology-based query answering
-
- [3] Query answering with inconsistent existential rules under stable model semantics
- [4] Existential rule languages with finite chase: Complexity and expressiveness
- [5] Disjunctive logic programs with existential quantification in rule heads.
- [6] First-order expressibility and boundedness of disjunctive logic programs
- [7] Translating first-order theories into logic programs
- [8] Decidable fragments of first-order language under stable model semantics and circumscription