Knowledge forgetting: Properties and applications Y Zhang, Y Zhou Artificial Intelligence 173 (16-17), 1525-1537, 2009 | 88 | 2009 |
From answer set logic programming to circumscription via logic of GK F Lin, Y Zhou Artificial Intelligence 175 (1), 264-277, 2011 | 55 | 2011 |
An X-ray imaging device based on a GEM detector with delay-line readout Z Yi, L Cheng, S Yong-Jie, S Ming Chinese Physics C 34 (1), 78, 2010 | 54 | 2010 |
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 |
Three dimension distribution of electric field in GEM gas detectors Z Yi, LI Cheng, AN Shao-Hui, XU Zi-Zong Chinese Physics C 28 (3), 299-303, 2004 | 30 | 2004 |
Ordered completion for first-order logic programs on finite structures V Asuncion, F Lin, Y Zhang, Y Zhou Artificial Intelligence 177, 1-24, 2012 | 29 | 2012 |
Gain performance of GEM gas detector AN Shao-Hui, LI Cheng, XU Zi-Zong, SUN Yong-Jie, Z Yi Chinese Physics C 28 (4), 412-416, 2004 | 29 | 2004 |
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 |
A Prototype of X-Ray Imaging Based on the GEM Detector C Li, YJ SUN, Y Zhou, SH AN, ZZ XU Chinese Physics C 29 (1), 68-71, 2005 | 25 | 2005 |
Forgetting revisited Y Zhang, Y Zhou Twelfth International Conference on the Principles of Knowledge …, 2010 | 21 | 2010 |
Accurate determination of optical constants and thickness of absorbing thin films by a combined ellipsometry and spectrophotometry approach Y Zhou, GS Wu, W Dai, HB Li, AY Wang Acta Physica Sinica 59 (4), 2356-2363, 2010 | 21 | 2010 |
Bounded forgetting Y Zhou, Y Zhang Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 280-285, 2011 | 18 | 2011 |
dl2asp: Implementing default logic via answer set programming Y Chen, H Wan, Y Zhang, Y Zhou European Workshop on Logics in Artificial Intelligence, 104-116, 2010 | 18 | 2010 |
Research on the delay-line readout for GEM detectors Z Yi, LI Cheng Chinese Physics C 32 (S2), 232-234, 2008 | 18 | 2008 |
Ordered completion for logic programs with aggregates V Asuncion, Y Chen, Y Zhang, Y Zhou Artificial Intelligence 224, 72-102, 2015 | 17 | 2015 |
Design and test of a Multi-gap Resistive Plate Chamber with Long readout-strip (LMRPC) S Yong-Jie, L Cheng, Z Yi, S Ming, Z Yan-E, C Hong-Fang Chinese Physics C 33 (2), 119, 2009 | 14 | 2009 |
Properties of knowledge forgetting Y Zhang, Y Zhou Proceedings of the 10th international workshop on non-monotonic reasoning …, 2008 | 14 | 2008 |
On the progression semantics and boundedness of answer set programs Y Zhang, Y Zhou Twelfth International Conference on the Principles of Knowledge …, 2010 | 13 | 2010 |
Loop-separable programs and their first-order definability Y Chen, F Lin, Y Zhang, Y Zhou Artificial Intelligence 175 (3-4), 890-913, 2011 | 11 | 2011 |
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity Y Zhou, L Van Der Torre, Y Zhang Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 11 | 2008 |