Answer sets for prioritized logic programs N Foo, Y Zhang Proceedings, 69-83, 1997 | 97* | 1997 |
Knowledge forgetting: Properties and applications Y Zhang, Y Zhou Artificial Intelligence 173 (16), 1525-1537, 2009 | 90 | 2009 |
Solving logic program conflict through strong and weak forgettings Y Zhang, NY Foo Artificial Intelligence 170 (8), 739-778, 2006 | 89 | 2006 |
Updating logic programs N Foo, Y Zhang Proceedings 13th European Conference on Artificial Intelligence (ECAI 1998 …, 1998 | 85 | 1998 |
CTL model update for system modifications Y Zhang, Y Ding Journal of Artificial Intelligence Research 31, 113-155, 2008 | 64 | 2008 |
Knowledge updates: Semantics and complexity issues C Baral, Y Zhang Artificial Intelligence 164 (1), 209-243, 2005 | 63 | 2005 |
Logic program-based updates Y Zhang ACM Transactions on Computational Logic (TOCL) 7 (3), 421-472, 2006 | 46 | 2006 |
Knowledge Forgetting in Answer Set Programming. Y Wang, Y Zhang, Y Zhou, M Zhang J. Artif. Intell. Res.(JAIR) 50, 31-70, 2014 | 45 | 2014 |
Towards generalized rule-based updates Y Zhang, NY Foo IJCAI (1), 82-88, 1997 | 39 | 1997 |
A unified framework for representing logic program updates Y Zhang, N Foo AAAI, 707-713, 2005 | 38 | 2005 |
A computational model of logic-based negotiation D Zhang, Y Zhang PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 728, 2006 | 31 | 2006 |
Reasoning about Knowledge by Variable Forgetting. K Su, G Lv, Y Zhang KR 4, 576-586, 2004 | 31 | 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 | 30 | 2012 |
Forgetting in Logic Programs under Strong Equivalence. Y Wang, Y Zhang, Y Zhou, M Zhang KR, 643-647, 2012 | 28 | 2012 |
Nested epistemic logic programs K Wang, Y Zhang International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005 | 28 | 2005 |
Reasoning about persistence: a theory of actions Y Zhang, NY Foo IJCAI, 718-723, 1993 | 28 | 1993 |
Updating Knowledge Bases with Disjunctive Information. Y Zhang, NY Foo AAAI/IAAI, Vol. 1, 562-568, 1996 | 27 | 1996 |
A logic for modeling the dynamics of beliefs in cryptographic protocols Y Zhang, V Varadharajan Computer Science Conference, 2001. ACSC 2001. Proceedings. 24th Australasian …, 2001 | 26 | 2001 |
Existential rule languages with finite chase: Complexity and expressiveness H Zhang, Y Zhang, JH You arXiv preprint arXiv:1411.5220, 2014 | 25 | 2014 |
Definability of Horn Revision from Horn Contraction. ZQ Zhuang, M Pagnucco, Y Zhang IJCAI, 2013 | 25 | 2013 |