Note that the copyright for journal and conference proceedings papers may belong to the publisher of the publication. All files of these papers that are downloadable below may not correspond exactly to the referenced version.

V. Asuncion, **Y. Zhang**, H. Zhang and Y. Bai, Loop restricted existential rules and first-order rewritability for query answering . Journal of Logic and Computation, 2022. https://doi.org/10.1093/logcom/exab078.

D. Yue, R. Li, **Y. Zhang**, W. Tian and Y. Huang, Blockchain-based verification framework for data integrity in cloud storage . Journal of Parallel Distributed Computing. 146 (2020) 1-14. 2020.

V. Asuncion, **Y. Zhang**, H. Zhang and R. Li, Polynomial and exponential bounded logic programs with function symbols: Some new decidable classes . Journal of Artificial Intelligence Research (JAIR) 64 (2019) 749-815.

V. Asuncion, **Y. Zhang**, H. Zhang, Y. Bai and W. Si, Loop restricted existential rules and first-order rewritability for query answering (extended abstract). In Proceedings of KR-2018, October 2018.

D. Yue, R. Li, **Y. Zhang**, W. Tian and C. Peng, Blockchain based data integrity verification in P2P cloud storage. In Proceedings of IEEE International Conference on Parallel and Distributed System , December 2018.

V. Asuncion, **Y. Zhang** and H. Zhang, Polynomially bounded logic programs with function symbols: A new decidable class. In Proceedings of AAAI-2017, pp 1041-1047, 2017.

H. Zhang **Y. Zhang**, Expressiveness of logic programs under the general stable model semantics. ACM Transactions on Computaitonal Logic 18(2) (2017) 9:1-9:28.

Z. Zhuang, M. Pagnucco and **Y. Zhang**, Inter-definability of Horn contraction and Horn revision. Journal of Philosophical Logic 46(3) (2017) 299-332.

Y. Zhou and **Y. Zhang**, A progression semantics for first-order logic programs. Artificial Intelligence (AIJ) 250 (58-79) 2017.

H. Zhang, **Y. Zhang** and J.H. You, Expressive completeness of existential rule languages for ontology-based query answering. In Proceedings of IJCAI-2016, pp 1330-1337, 2016.

H. Wan, H. Zhang, P. Xiao, H. Huang and **Y. Zhang**, Query answering with inconsistent existential rules under stable model semantics. In Proceedings of AAAI-2016, pp 14-20, 2016.

**Y. Zhang**, Y. Zhou and Y. Chen, A game-theoretic characterization on the first-order indefinability of answer Set programs, AAAI-2015.

V. Asuncion, Y. Chen **Y. Zhang** and Y. Zhou, Ordered completion for logic programs with aggregates. Artificial Intelligence (AIJ) 224 (72-102) 2015.

H. Zhang **Y. Zhang** and J-H. You, Existential rule languages with finite chase: Complexity and expressiveness. In Proceedings of AAAI-2015, pp 1678-1684, 2015.

E. Carpin and **Y. Zhang**, Negotiation based framework for attribute-based access control policy evaluation. In Proceedings of the 7th International Conference on Security of Information and Networks (SIN-2014), 2014.

V. Asuncion, **Y. Zhang** and H. Zhang, Logic programs with ordered disjunction: First-order semantics and expressiveness. In Proceedings of KR-2014, pp 2-10, 2014.

V. Asuncion, **Y. Zhang** and Y. Zhou, Preferred first-order answer set programs. ACM Transactions on Computational Logic 15 (2014).

H. Wan, Z. Xiao, Z. Yuan, H. Zhang and **Y. Zhang**, Computing general first-order parallel and prioritized circumscription. In Proceedings of AAAI-2014, pp 1105-1111, August 2014.

Y. Wang, **Y. Zhang**, Y. Zhou and M. Zhang, Knowledge forgetting in answer set programming. Journal of Artificial Intelligence Research 50 (2014) (31-70).

J. Deng and **Y. Zhang**, Answer set programs with one incremental variable. In Proceedings of IEA-AIE 2014, pp 128-137, 2014.

E. Caprin, **Y. Zhang**, and K.M. Khan, Social access control language (SocACL). In the Proceedings of the 6th International Conference on Security of Information and Networks (SIN 2013), pp 261-265, 2013.

J.-H. You, H. Zhang and **Y. Zhang**, Disjunctive logic programs with existential quantification in rule heads. Thoery and Practice of Logic Programming 13 (2013) 563-578 (ICLP-2013 full paper).

V. Asuncion, **Y. Zhang**, H. Zhang and Y. Zhou, Constructive circumscription. Thoery and Practice of Logic Programming 13 (2013) (Online Supplement, ICLP-2013 technical communicaiton paper).

H. Zhang and **Y. Zhang**, First-order expressibility and boundedness for disjunctive logic programs, In Proceedings of IJCAI-2013, pp 1198-1204, 2013.

Z. Zhuang, M. Pagnucco and **Y. Zhang**, Definability of Horn revision from Horn contraction, In Proceedings of IJCAI-2013, pp 1205-1211, 2013.

V. Asuncion, **Y. Zhang** and Y. Zhou, Ordered completion for logic programs with aggregates. In Proceedings of AAAI-2012, pp 691-697, 2012.

V. Asuncion, F. Lin, **Y. Zhang** and Y. Zhou, Ordered completion for first-order logic programs on finite structures. Artificial Intelligence (AIJ), 177-179 (2012) 1-24.

Y. Wang, **Y. Zhang**, Y. Zhou and M. Zhang, Forgetting in logic programs under strong equivalence. In Proceedings of KR-2012, pp 643-647, 2012.

J. Hu, K. Khaled, Y. Bai and **Y. Zhang**, Compliance checking for usage-constrained credentials in trust negotiation systems, In Proceedings of ISC-2012, pp 290-305, 2012.

J. Hu, K. Khaled, Y. Bai and **Y. Zhang**, Constraint-enhanced role engineering via answer set programming, In Proceedings of ASIACCS-2012, 2012.

J. Hu, K. Khaled, Y. Bai and **Y. Zhang**, Tracking and constraining authorization provance, In Proceedings of IEA/AIE-2012, pp 669-678, 2012.

Y. Zhou and **Y. Zhang**, Bounded forgetting . Proceedings of AAAI-2011, pp 280-285, 2011.

Y. Zhou and **Y. Zhang**, Progression semantics for disjunctive logic programs. Proceedings of AAAI-2011, pp 286-291, 2011.

H. Zhang, **Y. Zhang**, M. Ying and Y. Zhou, Translating theories into logic programs. Proccedings of IJCAI-2011, pp 1126-1131, 2011.

Y. Chen, F. Lin, **Y. Zhang** and Y. Zhou, Loop-separable programs and their first-order definability. Artificial Intelligence (AIJ) 175 (2011) 890-913.

Y. Zhou and **Y. Zhang**, A logical study of partial entailment. Journal of Artificial Intelligence Research (JAIR) 40 (2011) 25-56.

S. Policarpio and **Y. Zhang**, A formal language for XML authorisations based on answer set programming and temporal interval logic constraints. International Journal of Secure Software Engineering 2 (2011) 22-39.

J. Hu, **Y. Zhang** and R. Li, Towards automatic update of access control policy. In Proceedings of the 24th Large Installation System Administration Conference (LISA-2010), pp 59-73, 2010.

Y. Chen, H. Wan, **Y. Zhang** and Y. Zhou, dl2asp: Implementing default logic via answer set programming. In Proceedings of JELIA-2010, pp 104-116, 2010.

**Y. Zhang**, M. Kelly and Y. Zhou, Foundations of tree-like local model updates. In Proceedings of ECAI-2010, pp 615-620, 2010.

Y. Chen, **Y. Zhang** and Y. Zhou, First-order indefinability of answer set programs on finite structures. In Proceedings of AAAI-2010, pp 285-290, 2010.

V. Asuncion, F. Lin, **Y. Zhang** and Y. Zhou, Ordered completion for first-order logic programs on finite structures. In Proceedings of AAAI-2010, pp 249-254, 2010.

J. Hu, **Y. Zhang**, R. Li and Z. Lu, Role updating for assignments. In Proceedings ACM Symposium on Access Control Models and Technologies (SACMAT 2010), pp 89-98, 2010.

**Y. Zhang** and Y. Zhou, On the progression semantics and boundedness of answer set programs. In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), pp 518-527, 2010.

**Y. Zhang** and Y. Zhou, Forgetting revisited. In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), pp 602-604, 2010.

J. Hu, **Y. Zhang**, R. Li and Z. Lu, A logic for authorization provenance. In Proceedings of 5th ACM Symposium on Information, Computer and Communications Security (ASISCCS 2010), pp 238-249, 2010.

Y. Zhou, F. Lin and **Y. Zhang**, General default logic. Annals of Mathematics and Artificial Intelligence 57 (2009) 125-160.

S. Policarpio and **Y. Zhang**, A formal language for specifying XML policies. In Proceedings of the 5th China International Conference on Information Security and Cryptology (Inscrypt 2009), pp 169-183, 2009.

Y. Zhou and **Y. Zhang**, Modeling abstract behaviour: A dynamic logic approach. In Proceedings of the 22nd Australiasian Joint Conference on Articial Intelligence (AI 2009), pp 538-546, 2009.

J. Hu, **Y. Zhang** and R. Li, Managing authorization provenance: A modal logic based approach. In Proceedings of 21st International Conference on Tools with Artificial Intelligence (ICTAI-2009), pp 621-624, 2009.

**Y. Zhang** and Y. Zhou, Knowledge forgetting: Properties and application. Artificial Intelligence (AIJ) 173(2009) 1525-1537.

V. Asuncion and **Y. Zhang**, Translating preferred answer set programs to propositional logic. In Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2009), pp 396-401. 2009.

K Su, A. Sattar, G. Lv and **Y. Zhang**, Variable forgetting in reasoning about knowledge. Journal of Artificial Intelligence Research (JAIR) 35 (2009) 677-716.

**Y. Zhang**, Updating epistemic logic programs. Journal of Logic and Computation 19 (2009), 405-423.

D. Zhang and **Y. Zhang**, An ordinal bargaining solution with fixed-point property. Journal of Artificial Intelligence Research (JAIR) 33 (2008) 433-464.

Y. Zhou and **Y. Zhang**, Meta level reasoning and default reasoning. In Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-2008), pp 403-415, 2008.

Y. Zhou and **Y. Zhang**, Rule calculus: Semantics, axioms and applications. In Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-2008), pp 416-428, 2008.

**Y. Zhang** and Y. Ding, CTL model update for system modifications. Journal of Artificial Intelligence Research (JAIR) 31 (2008) 113-155.

S. Wang and **Y. Zhang**, A logic programming based framework for security protocol verification. In Proceedings of the 17th International Symposium, ISMIS 2008, pp638-645. LNAI 4994, 2008.

Y. Zhou, L. van der Torre and **Y. Zhang**, Partial goal satisfaction and goal change. In Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pp 413-420, 2008.

**Y. Zhang**, Epistemic reasoning in logic programs. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp 647-652. AAAI Press 2007.

S. Wang and **Y. Zhang**, Handling distributed authorization with delegation through answer set programming. International Journal of Information Security. 6 (2007) 27-46.

Y. Zhao, F. Lin and **Y. Zhang**, General default logic R. In Proceedings of the 9th Internaitonal Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2007), pp 241-253. Springer 2007. D. Zhang and **Y. Zhang**, A computational model for logic based negotiation. In Proceedings of the 21th National Conference on Artificial Intelligence (AAAI 2006), pp 728-733. AAAI Press 2006.

Y. Ding and **Y. Zhang**, CTL model update: Semantics, computations and implementation. In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp 362-366. IOS Press 2006.

Y. Ding and **Y. Zhang**, A case study for CTL model update. In Proceedings of the 1st International Conference on Knowledge Systems, Engineering and Management (KSEM 2006), pp 88-101. Springer 2006.

**Y. Zhang** and N.Y. Foo, Solving logic program conflict through strong and weak forgettings. Artificial Intelligence (AIJ). 170 (2006) 739-778.

**Y. Zhang**, Computational properties of epistemic logic programs. In Proceedings of the 10th International Conference on Knowledge Representation and Reasoning (KR 2006), pp 307-317. AAAI Press 2006.

V.F. Crescini and **Y. Zhang**, PolicyUpdater: A system for dynamic access control. International Journal of Information Security. 5 (2006) 145-165.

**Y. Zhang**, Logic program-based updates. ACM Transactions on Computational Logic. 7 (2006) 421-472.

J. Chen and **Y. Zhang**, A rule based knowledge transaction model for mobile environments. Information Sciences. 176 (2006) 2642-2672.

C. Baral and **Y. Zhang**, Knowledge updates: Semantics and complexity issues. Artificial Intelligence (AIJ). 164 (2005) 209-243.

Y. Bai, **Y. Zhang**, and V. Varadharajan, On the sequence of authorization policy transformations, International Journal of Information Security, 4 (2005) 120-131.

**Y. Zhang** and N.Y. Foo, A unified framework for representing logic program updates. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp 707-712. AAAI Press 2005.

**Y. Zhang**, N.Y. Foo and K. Wang, Solving logic program conflicts through strong and weak forgettings. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp 627-632. Morgan Kaufmann Publishers, Inc. 2005.

K. Wang and **Y. Zhang**, Nested epistemic logic programs. In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), pp 279-290. Springer 2005.

S. Wang, and **Y. Zhang**, A formalization of distributed authorization with delegation. In Proceedings of the 10th Australasian Conference on Information Security and Privacy (ACISP 2005), pp 303-315. Springer 2005.

N. Foo, P. Pappes and **Y. Zhang**, Action invariants and system constraints in STRIPS. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2005), 2005.

K. Su, G. Lv and **Y. Zhang**, Reasoning about knowledge by variable forgetting. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pp 576-586. Morgan Kaufmann Publishers, Inc., 2004.

V. Crescini and **Y. Zhang**, A logic lased approach for dynamic access control. In the Proceedings of 17th Australian Joint Conference on Artificial Intelligence (AI 2004), pp 623-635, 2004.

**Y. Zhang**, Handling defeasibilities in action domains. Theory and Practice of Logic Programming. 3 (2003) 329-376.

**Y. Zhang**, Two results for prioritized logic programming. Theory and Practice of Logic Programming. 3 (2003) 223-242.

**Y. Zhang**, Minimal change and maximal coherence for epistemic logic program updates. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp 112-117. Morgan Kaufmann Publishers, Inc. 2003.

C. Baral and **Y. Zhang**, The complexity of model checking for knowledge update. In Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp 82-93. Morgan Kaufmann Publishers, Inc., 2002.

**Y. Zhang**, C-M. Wu and Y. Bai, Implementing prioritized logic programming. AI Communications. 14 (2001) 183-196.

C. Baral and **Y. Zhang**, On the semantics of knowledge update. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), pp 97-102. Morgan Kaufmann Publishers, Inc. 2001.

**Y. Zhang** and N.Y. Foo, Updates with disjunctive information: From syntactical and semantical perspectives. Computational Intelligence. 16 (2000) pp 29-52.

**Y. Zhang**, Specifying causality in action theories: A default logic approach. Theoretical Computer Science. 220 (1999) 489-513.

**Y. Zhang**, Monotonicity in rule based update. In Proceedings of the 1999 International Conference on Logic Programming (ICLP'99)}, pp 471-485. MIT Press, 1999.

**Y. Zhang** and N.Y. Foo, Updating logic programs. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98), pp 403-407. John Wiley & Sons, Inc. 1998.

**Y. Zhang** and N.Y. Foo, Deriving invariants and constraints from action theories. Fundamenta Informaticae. 30 (1997) 109-123.

**Y. Zhang** and N.Y. Foo, Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium (ILPS'97) , pp 69-83. MIT Press, 1997.

**Y. Zhang** and N.Y. Foo, Towards generalized rule-based updates. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp 82-88. Morgan Kaufmann Publishers Inc. 1997.

**Y. Zhang** and N.Y. Foo, Updating knowledge bases with disjunctive information. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96), pp 562-568. AAAI/MIT Press 1996.

**Y. Zhang** and N.Y. Foo, Applying the persistent set approach in temporal reasoning. Annals of Mathematics and Artificial Intelligence. 14 (1995) 75-98.

**Y. Zhang** and N.Y. Foo, On propositional knowledge base updates. Australian Journal of Intelligent Information Processing Systems. 2 (1995) 20-29.

**Y. Zhang** and N.Y. Foo, Persistence, invariants and constraint. In Proceedings of the 3rd Pacific Rim International Conference on on Artificial Intelligence (PRICAI'94), pp 248-254. International Academic Publishers 1994.

**Y. Zhang** and N.Y. Foo, Reasoning about persistence: A theory of actions. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), pp 718-723. Morgan Kaufmann Publishers Inc. 1993.