papers
Publications (8)
cs.AI2018
Loop Restricted Existential Rules and First-order Rewritability for Query Answering
Vernon Asuncion, Yan Zhang, Heng Zhang +2
cs.AI2016
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering
Heng Zhang, Yan Zhang, Jia-Huai You
eess.SP2019
Fingerprint-based Localization using Commercial LTE Signals: A Field-Trial Study
Heng Zhang, Zhichao Zhang, Shunqing Zhang +2
cs.AI2015
Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Heng Zhang, Yan Zhang, Jia-Huai You
cs.AI2014
Expressiveness of Logic Programs under General Stable Model Semantics
Heng Zhang, Yan Zhang
cs.AI2016
Query Answering with Inconsistent Existential Rules under Stable Model Semantics
Hai Wan, Heng Zhang, Peng Xiao +2
cs.DC2017
Dependability in Edge Computing
Paul Wood, Heng Zhang, Muhammad-Bilal Siddiqui +1
cs.AI2013
Disjunctive Logic Programs versus Normal Logic Programs
Heng Zhang, Yan Zhang