| Answer Set Programming with Functions. F Lin, Y Wang KR, 454-465, 2008 | 49 | 2008 |
| Knowledge forgetting in answer set programming Y Wang, Y Zhang, Y Zhou, M Zhang Journal of Artificial Intelligence Research 50, 31-70, 2014 | 45 | 2014 |
| Forgetting for Answer Set Programs Revisited. Y Wang, K Wang, M Zhang IJCAI, 1162-1168, 2013 | 44 | 2013 |
| First-Order Loop Formulas for Normal Logic Programs. Y Chen, F Lin, Y Wang, M Zhang KR 6, 298-307, 2006 | 33 | 2006 |
| Forgetting in logic programs under strong equivalence Y Wang, Y Zhang, Y Zhou, M Zhang Thirteenth International Conference on the Principles of Knowledge …, 2012 | 28 | 2012 |
| Loop formulas for description logic programs Y Wang, JH You, LY Yuan, YD Shen Theory and Practice of Logic Programming 10 (4-6), 531-545, 2010 | 13 | 2010 |
| The loop formula based semantics of description logic programs Y Wang, JH You, LY Yuan, YD Shen, M Zhang Theoretical computer science 415, 60-85, 2012 | 12 | 2012 |
| A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms Y Wang, F Lin, M Zhang, JH You Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 835-841, 2012 | 11 | 2012 |
| Belief change in nonmonotonic multi-context systems Y Wang, Z Zhuang, K Wang Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 10 | 2013 |
| Hamming distance encoding multihop relation knowledge graph completion P Chen, Y Wang, Q Yu, Y Fan, R Feng IEEE Access 8, 117146-117158, 2020 | 9 | 2020 |
| Knowledge forgetting in circumscription: A preliminary report Y Wang, K Wang, Z Wang, Z Zhuang Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 8 | 2015 |
| Weight constraint programs with functions Y Wang, JH You, LY Yuan, M Zhang International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 8 | 2009 |
| On sufficient and necessary conditions in bounded CTL: a forgetting approach R Feng, E Acar, S Schlobach, Y Wang, W Liu arXiv preprint arXiv:2003.06492, 2020 | 7 | 2020 |
| On forgetting postulates in answer set programming J Ji, JH You, Y Wang Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 7 | 2015 |
| Weight constraint programs with evaluable functions Y Wang, JH You, F Lin, LY Yuan, M Zhang Annals of mathematics and artificial intelligence 60, 341-380, 2010 | 7 | 2010 |
| Qlogice: Quantum logic empowered embedding for knowledge graph completion P Chen, Y Wang, X Yu, R Feng Knowledge-Based Systems 239, 107963, 2022 | 6 | 2022 |
| A robust off-line writer identification method C Shi-Ming, W Yi-Song Renhe Test 46 (1), 108-116, 2020 | 5 | 2020 |
| Answer set programming modulo theories Y Wang, M Zhang Applied Informatics and Communication: International Conference, ICAIC 2011 …, 2011 | 3 | 2011 |
| Logic programs, compatibility and forward chaining construction YS Wang, MY Zhang, JH You Journal of Computer Science and Technology 24 (6), 1125-1137, 2009 | 3 | 2009 |
| A system for normal logic programs with functions Y Wang, K Wei Journal of Guizhou University (Natural Sciences) 26 (2), 61-66, 2009 | 3 | 2009 |
Fangzhen LinVerified email at cs.ust.hk
