Follow
Yan Zhang
Yan Zhang
Verified email at westernsydney.edu.au
Title
Cited by
Cited by
Year
Answer sets for prioritized logic programs
N Foo, Y Zhang
Proceedings, 69-83, 1997
93*1997
Solving logic program conflict through strong and weak forgettings
Y Zhang, NY Foo
Artificial Intelligence 170 (8), 739-778, 2006
842006
Updating logic programs
N Foo, Y Zhang
Proceedings 13th European Conference on Artificial Intelligence (ECAI 1998 …, 1998
831998
Knowledge forgetting: Properties and applications
Y Zhang, Y Zhou
Artificial Intelligence 173 (16), 1525-1537, 2009
782009
Knowledge updates: Semantics and complexity issues
C Baral, Y Zhang
Artificial Intelligence 164 (1), 209-243, 2005
622005
CTL model update for system modifications
Y Zhang, Y Ding
Journal of Artificial Intelligence Research 31, 113-155, 2008
612008
Logic program-based updates
Y Zhang
ACM Transactions on Computational Logic (TOCL) 7 (3), 421-472, 2006
442006
Knowledge Forgetting in Answer Set Programming.
Y Wang, Y Zhang, Y Zhou, M Zhang
J. Artif. Intell. Res.(JAIR) 50, 31-70, 2014
432014
Towards generalized rule-based updates
Y Zhang, NY Foo
IJCAI (1), 82-88, 1997
381997
A unified framework for representing logic program updates
Y Zhang, N Foo
AAAI, 707-713, 2005
362005
A computational model of logic-based negotiation
D Zhang, Y Zhang
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 728, 2006
312006
Reasoning about Knowledge by Variable Forgetting.
K Su, G Lv, Y Zhang
KR 4, 576-586, 2004
302004
Ordered completion for first-order logic programs on finite structures
V Asuncion, F Lin, Y Zhang, Y Zhou
Artificial Intelligence 177, 1-24, 2012
282012
Nested epistemic logic programs
K Wang, Y Zhang
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
282005
Forgetting in Logic Programs under Strong Equivalence.
Y Wang, Y Zhang, Y Zhou, M Zhang
KR, 643-647, 2012
272012
Updating Knowledge Bases with Disjunctive Information.
Y Zhang, NY Foo
AAAI/IAAI, Vol. 1, 562-568, 1996
271996
Reasoning about persistence: a theory of actions
Y Zhang, NY Foo
IJCAI, 718-723, 1993
261993
Definability of Horn Revision from Horn Contraction.
ZQ Zhuang, M Pagnucco, Y Zhang
IJCAI, 2013
252013
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
252001
Existential rule languages with finite chase: Complexity and expressiveness
H Zhang, Y Zhang, JH You
arXiv preprint arXiv:1411.5220, 2014
212014
The system can't perform the operation now. Try again later.
Articles 1–20