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
Updating logic programs
N Foo, Y Zhang
Proceedings 13th European Conference on Artificial Intelligence (ECAI 1998 …, 1998
851998
Solving logic program conflict through strong and weak forgettings
Y Zhang, NY Foo
Artificial Intelligence 170 (8), 739-778, 2006
762006
Knowledge forgetting: Properties and applications
Y Zhang, Y Zhou
Artificial Intelligence 173 (16), 1525-1537, 2009
722009
CTL model update for system modifications
Y Zhang, Y Ding
Journal of Artificial Intelligence Research 31, 113-155, 2008
582008
Knowledge updates: Semantics and complexity issues
C Baral, Y Zhang
Artificial Intelligence 164 (1), 209-243, 2005
542005
Logic program-based updates
Y Zhang
ACM Transactions on Computational Logic (TOCL) 7 (3), 421-472, 2006
422006
Towards generalized rule-based updates
Y Zhang, NY Foo
IJCAI (1), 82-88, 1997
381997
Knowledge Forgetting in Answer Set Programming.
Y Wang, Y Zhang, Y Zhou, M Zhang
J. Artif. Intell. Res.(JAIR) 50, 31-70, 2014
342014
A unified framework for representing logic program updates
Y Zhang, N Foo
AAAI, 707-713, 2005
342005
A computational model of logic-based negotiation
D Zhang, Y Zhang
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 728, 2006
302006
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
Updating Knowledge Bases with Disjunctive Information.
Y Zhang, NY Foo
AAAI/IAAI, Vol. 1, 562-568, 1996
281996
Nested epistemic logic programs
K Wang, Y Zhang
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
272005
Reasoning about Knowledge by Variable Forgetting.
K Su, G Lv, Y Zhang
KR 4, 576-586, 2004
262004
Reasoning about persistence: a theory of actions
Y Zhang, NY Foo
IJCAI, 718-723, 1993
251993
Definability of Horn Revision from Horn Contraction.
ZQ Zhuang, M Pagnucco, Y Zhang
IJCAI, 2013
232013
Forgetting in Logic Programs under Strong Equivalence.
Y Wang, Y Zhang, Y Zhou, M Zhang
KR, 643-647, 2012
232012
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
232001
An ordinal bargaining solution with fixed-point property
D Zhang, Y Zhang
Journal of Artificial Intelligence Research 33, 433-464, 2008
202008
The system can't perform the operation now. Try again later.
Articles 1–20