Follow
Heng Zhang (章衡)
Title
Cited by
Cited by
Year
Epistemic GDL: A logic for representing and reasoning about imperfect information games
G Jiang, D Zhang, L Perrussel, H Zhang
Artificial Intelligence 294, 103453, 2021
22*2021
Existential rule languages with finite chase: Complexity and expressiveness
H Zhang, Y Zhang, JH You
The 29th AAAI Conferences on Artificial Intelligence (AAAI 2015), 2015
212015
Detecting permission over-claim of android applications with static and semantic analysis approach
J Tang, R Li, H Han, H Zhang, X Gu
2017 IEEE Trustcom/BigDataSE/ICESS, 706-713, 2017
182017
DC-Top-k: A novel top-k selecting algorithm and its parallelization
Z Xue, R Li, H Zhang, X Gu, Z Xu
Parallel Processing (ICPP), 2016 45th International Conference on, 370-379, 2016
82016
Logic programs with ordered disjunction: First-order semantics and expressiveness
V Asuncion, Y Zhang, H Zhang
82014
Translating first-order theories into logic programs
H Zhang, Y Zhang, M Ying, Y Zhou
The 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011
82011
Query answering with inconsistent existential rules under stable model semantics
H Wan, H Zhang, P Xiao, H Huang, Y Zhang
arXiv preprint arXiv:1602.05699, 2016
72016
First-order expressibility and boundedness of disjunctive logic programs
H Zhang, Y Zhang
The 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013
72013
Restricted chase termination: A hierarchical approach and experimentation
A Karimi, H Zhang, JH You
International Joint Conference on Rules and Reasoning, 98-114, 2018
62018
Expressive completeness of existential rule languages for ontology-based query answering
H Zhang, Y Zhang, JH You
The 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
62016
A logic for collective choice
G Jiang, D Zhang, L Perrussel, H Zhang
The 14th International Conference on Autonomous Agents and Multiagent …, 2015
62015
Disjunctive logic programs with existential quantification in rule heads
JH You, H Zhang, Y Zhang
Theory and Practice of Logic Programming 13 (4-5), 563-578, 2013
62013
Game equivalence and bisimulation for game description language
G Jiang, L Perrussel, D Zhang, H Zhang, Y Zhang
Pacific rim international conference on artificial intelligence, 583-596, 2019
42019
Decidable fragments of first-order language under stable model semantics and circumscription
H Zhang, M Ying
The 24th AAAI Conference on Artificial Intelligence (AAAI 2010), 2010
42010
Beyond skolem chase: A study of finite chase under standard chase variant
A Karimi, H Zhang, JH You
Description Logics, 2017
32017
Expressiveness of Logic Programs under the General Stable Model Semantics
H Zhang, Y Zhang
ACM Transactions on Computational Logic 18 (2), 9:1-9:28, 2017
3*2017
Well-formed normal forms in intermediate logics
H Zhang, M Zhang, B Yang
ACTA MATHEMATICA SINICA-CHINESE EDITION 51 (1), 181, 2008
3*2008
Restricted chase termination for existential rules: A hierarchical approach and experimentation
A Karimi, H Zhang, JH You
Theory and Practice of Logic Programming 21 (1), 4-50, 2021
22021
Model-theoretic Characterizations of Existential Rule Languages
H Zhang, Y Zhang, G Jiang
The Twenty-Ninth International Joint Conference on Artificial Intelligence …, 2020
22020
Lifting Majority to Unanimity in Opinion Diffusion
Z Zhuang, K Wang21, J Wang, H Zhang, Z Wang, Z Gong
ECAI, 259-266, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20