Segui
Yan Zhang
Yan Zhang
Email verificata su westernsydney.edu.au
Titolo
Citata da
Citata da
Anno
Answer sets for prioritized logic programs
N Foo, Y Zhang
Proceedings, 69-83, 1997
95*1997
Solving logic program conflict through strong and weak forgettings
Y Zhang, NY Foo
Artificial Intelligence 170 (8), 739-778, 2006
892006
Knowledge forgetting: Properties and applications
Y Zhang, Y Zhou
Artificial Intelligence 173 (16), 1525-1537, 2009
852009
Updating logic programs
N Foo, Y Zhang
Proceedings 13th European Conference on Artificial Intelligence (ECAI 1998 …, 1998
851998
Knowledge updates: Semantics and complexity issues
C Baral, Y Zhang
Artificial Intelligence 164 (1), 209-243, 2005
662005
CTL model update for system modifications
Y Zhang, Y Ding
Journal of Artificial Intelligence Research 31, 113-155, 2008
632008
Logic program-based updates
Y Zhang
ACM Transactions on Computational Logic (TOCL) 7 (3), 421-472, 2006
462006
Knowledge Forgetting in Answer Set Programming.
Y Wang, Y Zhang, Y Zhou, M Zhang
J. Artif. Intell. Res.(JAIR) 50, 31-70, 2014
452014
Towards generalized rule-based updates
Y Zhang, NY Foo
IJCAI (1), 82-88, 1997
401997
A unified framework for representing logic program updates
Y Zhang, N Foo
AAAI, 707-713, 2005
382005
Reasoning about Knowledge by Variable Forgetting.
K Su, G Lv, Y Zhang
KR 4, 576-586, 2004
312004
A computational model of logic-based negotiation
D Zhang, Y Zhang
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 728, 2006
302006
Forgetting in Logic Programs under Strong Equivalence.
Y Wang, Y Zhang, Y Zhou, M Zhang
KR, 643-647, 2012
282012
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
Updating Knowledge Bases with Disjunctive Information.
Y Zhang, NY Foo
AAAI/IAAI, Vol. 1, 562-568, 1996
281996
Reasoning about persistence: a theory of actions
Y Zhang, NY Foo
IJCAI, 718-723, 1993
281993
Definability of Horn Revision from Horn Contraction.
ZQ Zhuang, M Pagnucco, Y Zhang
IJCAI, 2013
262013
Existential rule languages with finite chase: Complexity and expressiveness
H Zhang, Y Zhang, JH You
arXiv preprint arXiv:1411.5220, 2014
252014
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20