| High color stability and CRI (> 80) fluorescent white organic light-emitting diode based pure emission of exciplexes by employing merely complementary colors B Zhao, H Zhang, Y Miao, Z Wang, L Gao, H Wang, Y Hao, W Li Journal of Materials Chemistry C 6 (2), 304-311, 2018 | 34 | 2018 |
| 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 | 27* | 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 | 23 | 2015 |
| 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 | 21 | 2017 |
| 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 | 8 | 2016 |
| 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 | 8 | 2011 |
| 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 | 7 | 2016 |
| Logic programs with ordered disjunction: First-order semantics and expressiveness V Asuncion, Y Zhang, H Zhang | 7 | 2014 |
| First-order expressibility and boundedness of disjunctive logic programs H Zhang, Y Zhang The 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013 | 7 | 2013 |
| Game equivalence and bisimulation for game description language G Jiang, L Perrussel, D Zhang, H Zhang, Y Zhang PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim …, 2019 | 6 | 2019 |
| Restricted chase termination: A hierarchical approach and experimentation A Karimi, H Zhang, JH You International Joint Conference on Rules and Reasoning, 98-114, 2018 | 6 | 2018 |
| 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 | 6 | 2016 |
| A logic for collective choice G Jiang, D Zhang, L Perrussel, H Zhang The 14th International Conference on Autonomous Agents and Multiagent …, 2015 | 6 | 2015 |
| 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 | 5 | 2013 |
| 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 | 4 | 2021 |
| 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 | 4 | 2010 |
| Lifting Majority to Unanimity in Opinion Diffusion Z Zhuang, K Wang21, J Wang, H Zhang, Z Wang, Z Gong ECAI, 259-266, 2020 | 3 | 2020 |
| Beyond skolem chase: A study of finite chase under standard chase variant A Karimi, H Zhang, JH You Description Logics, 2017 | 3 | 2017 |
| 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 |
Mingsheng YingInstitute of Software, Chinese Academy of Sciences and Tsinghua UniversityVerified email at uts.edu.au
