An optimal coarse-grained arc consistency algorithm C Bessiere, JC Régin, RHC Yap, Y Zhang Artificial Intelligence 165 (2), 165-185, 2005 | 275 | 2005 |
Making AC-3 an optimal algorithm Y Zhang, RHC Yap IJCAI 1, 316-321, 2001 | 155 | 2001 |
Integrating answer set programming and constraint logic programming VS Mellarkod, M Gelfond, Y Zhang Annals of Mathematics and Artificial Intelligence 53 (1), 251-287, 2008 | 130 | 2008 |
Automated rule selection for aspect extraction in opinion mining Q Liu, Z Gao, B Liu, Y Zhang Twenty-Fourth international joint conference on artificial intelligence, 2015 | 126 | 2015 |
Improving opinion aspect extraction using semantic similarity and aspect associations Q Liu, B Liu, Y Zhang, DS Kim, Z Gao Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 90 | 2016 |
A new approach to automated epileptic diagnosis using EEG and probabilistic neural network FS Bao, DYC Lie, Y Zhang 2008 20th IEEE International Conference on Tools with Artificial …, 2008 | 72 | 2008 |
Towards answer set programming with sorts E Balai, M Gelfond, Y Zhang International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 57 | 2013 |
Vicious circle principle and logic programs with aggregates M Gelfond, Y Zhang arXiv preprint arXiv:1405.3637, 2014 | 49 | 2014 |
Arc Consistency on n-ary Monotonic and Linear Constraints Z Yuanlin, RHC Yap International Conference on Principles and Practice of Constraint …, 2000 | 48 | 2000 |
Automated epilepsy diagnosis using interictal scalp EEG FS Bao, JM Gao, J Hu, DYC Lie, Y Zhang, KJ Oommen 2009 Annual International Conference of the IEEE Engineering in Medicine and …, 2009 | 47 | 2009 |
A logic programming approach to aspect extraction in opinion mining Q Liu, Z Gao, B Liu, Y Zhang 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI …, 2013 | 37 | 2013 |
Automated rule selection for opinion target extraction Q Liu, Z Gao, B Liu, Y Zhang Knowledge-Based Systems 104, 74-88, 2016 | 36 | 2016 |
Arc Consistency during Search. C Likitvivatanavong, Y Zhang, S Shannon, J Bowen, EC Freuder IJCAI 7, 137-142, 2007 | 31 | 2007 |
Arc consistency in MAC: a new perspective C Likitvivatanavong, Y Zhang, J Bowen, EC Freuder Proceedings of CPAI 4, 93-107, 2004 | 30 | 2004 |
The language of epistemic specifications (refined) including a prototype solver P Kahl, R Watson, E Balai, M Gelfond, Y Zhang Journal of Logic and Computation 30 (4), 953-989, 2020 | 27 | 2020 |
Maintaining arc consistency with multiple residues C Lecoutre, C Likitvivatanavong, S Shannon, R Yap, Y Zhang Constraint Programming Letters (CPL) 2, 3-19, 2008 | 19 | 2008 |
Fast SAT-based answer set solver Z Lin, Y Zhang, H Hernandez PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 92, 2006 | 17 | 2006 |
Preliminary result on finding treatments for patients with comorbidity Y Zhang, Z Zhang Workshop on Knowledge Representation for Health-Care Data, Processes and …, 2014 | 16 | 2014 |
A review of tree convex sets test F Sheng Bao, Y Zhang Computational Intelligence 28 (3), 358-372, 2012 | 15 | 2012 |
Functional Elimination and 0/1/All Constraints. Y Zhang, RHC Yap, J Jaffar AAAI/IAAI, 175-180, 1999 | 13 | 1999 |