Professor Yan Zhang

Professor Yan Zhang

Professor,
Deans Unit School Of Computing, Engineering & Math

Biography

Professor Yan Zhang obtained his PhD degree in Computer Science from the University of Sydney in 1994. He joined the University of Western Sydney in 1995, and established the Intelligent Systems Laboratory (ISL) in the School of Computing and Mathematics. His  research interests include knowledge representation and reasoning, nonmonotonic logic programming, epistemic reasoning for intelligent systems, information security, model checking and modification, and computational complexity for dynamic system modeling. In recent years, he has published significant results in these areas in top international journals and conferences, and has been successful in many national competitive grant applications.

This information has been contributed by Professor Zhang.

Qualifications

  • PhD University of Sydney
  • MSc Wuhan University, China
  • BSc Wuhan University, China

Interests

  • Artificial Intelligence
  • Knowledge Representation and Reasoning
  • Model Checking and Information Security
  • Systems Dynamics Modeling

Organisational Unit (School / Division)

  • Deans Unit School Of Computing, Engineering & Math

Contact

Email: Yan.Zhang@westernsydney.edu.au
Phone: (02) 47360 746
Mobile:
Location: Y.3.24
Penrith (Kingswood)
Website:

PLEASE NOTE: obtaining information from this Directory must be for the legitimate purposes of doing business with and within Western Sydney University, and must not be used for unsolicited bulk e-mailing (spamming) or similar purposes.

Publications

Books

  • Chen, J., Zhang, Y. and Gottschalk, R. (2017), 'Handbook of Research on End-to-End Cloud Computing Architecture Design', : IGI Global 9781522507598.

Journal Articles

  • Zhuang, Z., Pagnucco, M. and Zhang, Y. (2017), 'Inter-definability of Horn contraction and Horn revision', Journal of Philosophical Logic, vol 46, no 3 , pp 299 - 332.
  • Hu, J., Khan, K., Zhang, Y., Bai, Y. and Li, R. (2017), 'Role updating in information systems using model checking', Knowledge and Information Systems, vol 51, no 1 , pp 187 - 234.
  • Zhou, Y. and Zhang, Y. (2017), 'A progression semantics for first-order logic programs', Artificial Intelligence, vol 250 , pp 58 - 79.
  • Asuncion, V., Chen, Y., Zhang, Y. and Zhou, Y. (2015), 'Ordered completion for logic programs with aggregates', Artificial Intelligence, vol 224 , pp 72 - 102.
  • Wang, Y., Zhang, Y., Zhou, Y. and Zhang, M. (2014), 'Knowledge forgetting in answer set programming', Journal of Artificial Intelligence Research, vol 50 , pp 31 - 70.
  • Asuncion, V., Zhang, Y. and Zhou, Y. (2014), 'Preferred first-order answer set programs', ACM Transactions on Computational Logic, vol 15, no 2 .
  • You, J., Zhang, H. and Zhang, Y. (2013), 'Disjunctive logic programs with existential quantification in rule heads', Theory and Practice of Logic Programming, vol 13, no 4-5 , pp 563 - 578.
  • Caprin, E. and Zhang, Y. (2013), 'SocACL : an ASP-based access control language for Online Social Networks ', Lecture Notes in Computer Science , vol 8099 , pp 207 - 210.
  • Asuncion, V., Zhang, Y., Zhang, H. and Zhou, Y. (2013), 'Constructive circumscription', Theory and Practice of Logic Programming, vol 13, no 4-5 , pp 1 - 2.
  • Asuncion, V., Lin, F., Zhang, Y. and Zhou, Y. (2012), 'Ordered completion for first-order logic programs on finite structures', Artificial Intelligence, vol 177-179 , pp 1 - 24.
  • Hu, J., Khan, K., Bai, Y. and Zhang, Y. (2012), 'Compliance checking for usage-constrained credentials in trust negotiation systems', Lecture Notes in Computer Science, vol 7483 , pp 290 - 305.
  • Hu, J., Khan, K., Bai, Y. and Zhang, Y. (2012), 'Tracking and constraining authorization provenance ', Lecture Notes in Computer Science , vol 7345 , pp 669 - 678.
  • Zhou, Y. and Zhang, Y. (2011), 'A logical study of partial entailment', Journal of Artificial Intelligence Research, vol 40 , pp 25 - 56.
  • Chen, Y., Lin, F., Zhang, Y. and Zhou, Y. (2011), 'Loop-separable programs and their first-order definability', Artificial Intelligence, vol 175, no 3-4 , pp 890 - 913.
  • Policarpio, S. and Zhang, Y. (2011), 'A formal language for XML authorisations based on answer set programming and temporal interval logic constraints', International Journal of Secure Software Engineering, vol 2, no 1 , pp 22 - 39.
  • Pan, Z., Zhang, Y. and Huang, J. (2010), 'A library catalogue system using soundexing retrieval', World Review of Science, Technology and Sustainable Development, vol 7, no 40575 , pp 24 - 32.
  • Policarpio, S. and Zhang, Y. (2010), 'A formal language for specifying complex XML authorisations with temporal constraints', Lecture Notes in Computer Science, vol 6151 LNCS, no 0 , pp 443 - 457.
  • Zhang, Y. and Zhou, Y. (2009), 'Knowledge forgetting: Properties and applications', Artificial Intelligence, vol 173, no 16-17 , pp 1525 - 1537.
  • Zhang, Y. (2009), 'Updating epistemic logic programs', Journal of Logic and Computation, vol 19, no 2 , pp 405 - 423.
  • Su, K., Sattar, A., Lv, G. and Zhang, Y. (2009), 'Variable forgetting in reasoning about knowledge', Journal of Artificial Intelligence Research, vol 35, no 1 , pp 677 - 716.
  • Zhou, Y., Lin, F. and Zhang, Y. (2009), 'General default logic', Annals of Mathematics and Artificial Intelligence, vol 57, no 2 , pp 125 - 160.
  • Zhang, Y. and Ding, Y. (2008), 'CTL model update for system modifications', Journal of Artificial Intelligence Research, vol 31, no 0 , pp 113 - 155.
  • Zhang, D. and Zhang, Y. (2008), 'An Ordinal Bargaining Solution with Fixed-Point Property', Journal of Artificial Intelligence Research, vol 33 , pp 433 - 464.
  • Wang, S. and Zhang, Y. (2007), 'Handling distributed authorization with delegation through answer set programming', International Journal of Information Security, vol 6, no 1 , pp 27 - 46.
  • Zhou, Y., Lin, F. and Zhang, Y. (2007), 'General default logic', Lecture Notes in Computer Science, , pp 241 - 253.
  • Ding, Y. and Zhang, Y. (2006), 'A Case Study for CTL Model Update', Lecture Notes in Computer Science, vol 4092 , pp 88 - 101.
  • Chen, J. and Zhang, Y. (2006), 'A rule based knowledge transaction model for mobile environments', Information Sciences, vol 176, no 18 , pp 2642 - 2672.
  • Crescini, V. and Zhang, Y. (2006), 'PolicyUpdater: a system for dynamic access control', International Journal of Information Security, vol 5, no 3 , pp 145 - 165.
  • Zhang, Y. and Foo, N. (2006), 'Solving logic program conflict through strong and weak forgettings', Artificial Intelligence, vol 170, no 40794 , pp 739 - 778.
  • Zhang, Y. (2006), 'Logic Program-Based Updates', ACM Transactions on Computational Logic, vol 7, no 3 , pp 421 - 472.
  • Baral, C. and Zhang, Y. (2005), 'Knowledge updates: Semantics and complexity issues', Artificial Intelligence, vol 164, no 40575 , pp 209 - 243.
  • Bai, Y., Zhang, Y. and Varadharajan, V. (2005), 'On the Sequence of Authorization Policy Transformations', International Journal of Information Security, vol 4, no 40575 , pp 120 - 131.
  • Wang, S. and Zhang, Y. (2005), 'A formalization of distributed authorization with delegation', Lecture Notes In Computer Science : Information Security and privacy : The 10th Australiasian Conference, ACISP 2005, vol 3574, no 0 , pp 303 - 315.
  • Bai, Y. and Zhang, Y. (2004), 'Artificial Intelligence in Database Security', International Journal of Pattern Recognition and Artificial Intelligence, vol 18 , pp 3 - 17.
  • Zhang, Y. (2003), 'Handling Defeasibilities in Action Domains', Theory and Practice of Logic Programming, vol 3 , pp 329 - 376.
  • Zhang, Y. (2003), 'Two Results for Prioritized Logic Programming', Theory and Practice of Logic Programming, vol 3 , pp 223 - 242.
  • Zhang, Y., Cheng-Min, W. and Bai, Y. (2001), 'Implementing prioritized logic programming', Artificial Intelligence Communications, vol 14 , pp 183 - 196.
  • Foo, N., Kwok Rex, R. and Zhang, Y. (2001), 'Apparent nondeterminism in actions', Journal of Research and Practice in Information Technology, vol 33 , pp 360 - 368.

Conference Papers

  • Bai, Y., Caprin, E. and Zhang, Y. (2016), 'A prototype development of a declarative approach for computer system security', International Conference on Computer Applications in Industry and Engineering, Denver, Colo..
  • Wan, H., Zhang, H., Xiao, P., Huang, H. and Zhang, Y. (2016), 'Query answering with inconsistent existential rules under stable model semantics', AAAI Conference on Artificial Intelligence, Phoenix, Ariz..
  • Zhang, H., Zhang, Y. and You, J. (2016), ' Expressive completeness of existential rule languages for ontology-based query answering', International Joint Conference on Artificial Intelligence , New York, N.Y..
  • Zhang, H., Zhang, Y. and You, J. (2015), 'Existential rule languages with finite chase : complexity and expressiveness', AAAI Conference on Artificial Intelligence, Austin, Tex..
  • Bai, Y., Caprin, E. and Zhang, Y. (2015), 'Reasoning about the state change of authorization policies', International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, Seoul, South Korea.
  • Asuncion, V., Zhang, Y. and Zhang, H. (2014), 'Logic programs with ordered disjunction : first-order semantics and expressiveness', International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria.
  • Wan, H., Xiao, Z., Yuan, Z., Zhang, H. and Zhang, Y. (2014), 'Computing general first-order parallel and prioritized circumscription', AAAI Conference on Artificial Intelligence, Quebec, Canada.
  • Caprin, E. and Zhang, Y. (2014), 'Negotiation based framework for attribute-based access control policy evaluation', International Conference on Security of Information and Networks, Glasgow, U.K..
  • Deng, J. and Zhang, Y. (2014), 'Answer set programs with one incremental variable', International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, Kaohsiung, Taiwan.
  • Zhang, H. and Zhang, Y. (2013), 'First-order expressibility and boundedness of disjunctive logic programs', International Joint Conference on Arti?cial Intelligence, Beijing, China.
  • Bai, Y. and Zhang, Y. (2013), 'Program completion as constraint satisfaction : tight logic programs revisited', International Conference on Artificial Intelligence, Las Vegas, Nev..
  • Zhuang, Z., Pagnucco, M. and Zhang, Y. (2013), 'Definability of Horn revision from Horn contraction', International Joint Conference on Artificial Intelligence, Beijing, China.
  • Caprin, E., Zhang, Y. and Khan, K. (2013), 'Social access control language (SocACL)', International Conference on Security of Information and Networks, Aksaray, Turkey.
  • Hu, J., Khan, K., Bai, Y. and Zhang, Y. (2012), 'Constraint-enhanced role engineering via answer set programming', ACM Symposium on Information, Computer and Communications Security, Seoul, Korea.
  • Asuncion, V., Zhang, Y. and Zhou, Y. (2012), 'Ordered completion for logic programs with aggregates', AAAI Conference on Artificial Intelligence, Toronto, Canada.
  • Wang, Y., Zhang, Y., Zhou, Y. and Zhang, M. (2012), 'Forgetting in logic programs under strong equivalence', International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy.
  • Zhang, H., Zhang, Y., Ying, M. and Zhou, Y. (2011), 'Translating first-order theories into logic programs', Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Spain.
  • Zhou, Y. and Zhang, Y. (2011), 'Bounded forgetting', The Twenty-Fifth AAAI Conference on Artificial Intelligence, USA.
  • Zhou, Y. and Zhang, Y. (2011), 'Progression semantics for disjunctive logic programs', the Twenty-Fifth AAAI Conference on Artificial Intelligence, USA.
  • Pan, Z., Zhang, Y. and Huang, J. (2010), 'An Open Source Software Based Library Catalogue System Using Soundexing Retrieval And Query Caching', 12th International Conference on Enterprise Information Systems, Funchal, Portugal.
  • Huang, W., Zhang, D., Zhang, Y. and Perrussel, L. (2010), 'Bargain over joint plans', The 11th Pacific Rim international conference on artificial intelligence, Daegu, Korea.
  • Kelly, M. and Zhang, Y. (2010), 'Local model update with an application to sliding window protocol', 14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES-2010), Cardiff, Wales, UK.
  • Kelly, M., Fu, F., Zhang, Y. and Zhou, Y. (2010), 'ACTL local model update with constraints', 14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES-2010), Cardiff, Wales, UK.
  • Hu, J., Zhang, Y., Li, R. and Lu, Z. (2010), 'Towards Automatic Update of Access Control Policy', 24th Large Installation System Administration Conference (LISA-2010), California.
  • Hu, J., Zhang, Y., Li, R. and Lu, Z. (2010), 'Role updating for assignments', ACM Symposium on Access Control Models and Technologies (SACMAT 2010), Pittsburgh, USA.
  • Chen, Y., Wan, H., Zhang, Y. and Zhou, Y. (2010), 'dl2asp: Implementing default logic via answer set programming', Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Dresden, Germany.
  • Zhang, Y., Kelly, M. and Zhou, Y. (2010), 'Foundations of tree-like local model updates', 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal.
  • Chen, Y., Zhang, Y. and Zhou, Y. (2010), 'First-order indefinability of answer set programs on finite structure', Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, US.
  • Asuncion, V., Lin, F., Zhang, Y. and Zhou, Y. (2010), 'Ordered completion for first-order logic programs on finite structures', Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, US.
  • Zhang, Y. and Zhou, Y. (2010), 'On the progression semantics and boundedness of answer set programs', 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), Toronto, Canada.
  • Zhang, Y. and Zhou, Y. (2010), 'Forgetting revisited', 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), Toronto, Canada.
  • Asuncion, V. and Zhang, Y. (2009), 'Translating preferred answer set programs to propositional logic', The 10th Internaitonal Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Germany.
  • Policarpio, S. and Zhang, Y. (2009), 'A formal language for specifying XML policies', The 5th China Internaitonal Conference on Information Security and Cryptology, Beijing.
  • Hu, J., Zhang, Y., Ruixuan, L. and Zhengding, L. (2009), 'Managing authorization provenance: A modal logic based approach', The 21st International Conference on Tools with Artificial Intelligence, New Jersey.
  • Zhou, Y. and Zhang, Y. (2009), 'Modeling Abstract Behavior: A Dynamic Logic Approach', 22nd Australasian Joint Conference in Artificial Intelligence, Melbourne, Australia.
  • Pan, Z., Zhang, Y. and Huang, J. (2008), 'A Library Catalogue System Using Soundex Retrieval', 5th International Conference on Information Technology and Applications (ICITA 2008), Cairns, Queensland, AUSTRALIA.
  • Pan, Z., Zhang, Y. and Huang, J. (2008), 'Applications of Database Caching in a Library Catalogue System', 2008 International Conference on Computer Science and Software Engineering, Wuhan, Hubei, China.
  • Pu, F. and Zhang, Y. (2008), 'Localizing program errors via slicing and reasoning', Proceedings of IEEE International Symposium on High Assurance Systems Engineering, Nanjing, China.
  • Ding, Y. and Zhang, Y. (2008), 'A study of the model explosion problem in CTL model update', International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), Redwood City, San Francisco.
  • Wang, S. and Zhang, Y. (2008), 'A logic programming based framework for security protocol verification', The 17th International Symposium on Methodologies for Intelligent Systems (ISMIS 2008), Toronto, Canada.
  • Zhou, Y., Van Der Torre, L. and Zhang, Y. (2008), 'Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity.', 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal.
  • Zhou, Y. and Zhang, Y. (2008), 'Meta Level Reasoning and Default Reasoning', Lecture Notes in Computer Science, .
  • Zhou, Y. and Zhang, Y. (2008), 'Rule Calculus: Semantics, Axioms and Applications', Lecture Notes in Computer Science, .
  • Zhang, Y. (2007), 'Epistemic Reasoning in Logic Programs', The 20th International Joint Conference on Artificial Intelligence, Hyderabal, India.
  • Ding, Y. and Zhang, Y. (2007), 'System modification case studies', 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, .
  • Zhang, D. and Zhang, Y. (2006), 'A computational Model of Logic-Based Negotiation', The Twenty-First National Conference on Artificial Intelligence, Boston, USA.
  • Zhang, Y. (2006), 'Computational Properties of Epistemic Logic Programs', 10th International Conference on Principles of Knowledge Representation and Reasoning, Lake District, UK.
  • Ding, Y. and Zhang, Y. (2006), 'CTL Model Update: Semantics, Computations and Implementation', 17th European Conference on Artificial Intelligence, Trento, Italy.
  • Zhang, D. and Zhang, Y. (2006), 'Logical Properties of Belief-Revision-Based Bargaining Solution', 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia.
  • Chen, J. and Zhang, Y. (2005), 'A Multi-Agent System for Mobile Environments', International Conference on Intelligent Information Processing (IIP 2004), Beijing, China.
  • Zhang, Y., Foo, N. and Wang, K. (2005), 'Solving logic program conflict through strong and weak forgettings', The 19th International Conference on Artificial Intelligence, Edinburgh, UK.
  • Wang, K. and Zhang, Y. (2005), 'Nested Epistemic Logic programs', 8th International Conference, LPNMR-2005, Italy.
  • Ding, Y. and Zhang, Y. (2005), 'A logic approach for LTL system modification', the 15th International Symposium ISMIS 2005, Saratoga Springs, NY USA.
  • Ding, Y. and Zhang, Y. (2005), 'Model updating CTL systems', The 18th Australian Joint Conference in Artificial Intelligence, Sydney.
  • Zhang, Y. and Foo, N. (2005), 'A Unified Framework for Representing Logic Program Updates', 20th National Conference on Artificial Intelligence (AAAI), Pittsburgh, USA.
  • Ding, Y. and Zhang, Y. (2005), 'Algorithms for CTL system modification', The 9th International Conference, KES 2005, Melbourne, Australia.
  • Wang, S. and Zhang, Y. (2005), 'Specifying Distributed Authorization with Delegation Using Logic Programming', The 9th International Conference, KES 2005, Melbourne, Australia.
  • Wang, S. and Zhang, Y. (2005), 'Answer set programming for distributed authorization: The language, comptations and application', 18th Australian Joint Conference on Artificial Intelligence, Sydney.
  • Ding, Y. and Zhang, Y. (2004), 'Dual Space Drawing Methods for Cones', International Conference on Computer Graphics and Interactive Techniques in Australasia and South East Asia (GRAPHITE 2004), Singapore.
  • Crescini, V. and Zhang, Y. (2004), 'A Logic Based Approach for Dynamic Access Control', The 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia.
  • Zhang, Y. and Wang, W. (2004), 'Web Server Authorisation with the PolicyUpdater Access Control Systems', The IADIS International Conference WWW/Internet 2004, Madrid, Spain.
  • Su, K., Lv, G. and Zhang, Y. (2004), 'Reasoning about Knowledge by Variable Forgetting', The 9th Internaitonal Conference on Knowledge Representaiton and Reasoning (KR 2004), Whistler, Canada.
  • Chen, J. and Zhang, Y. (2004), 'A Mobile Logic Programming Multi-Agent System', IEEE 4th Internaitonal Conference on Intelligent Systems Design and Application, Budapest, Hungary.
  • Chen, J. and Zhang, Y. (2004), 'An extended logic programming based multi-agent system formalization in mobile environments', International Conference on Information and Knowledge Management, .
  • Foo, N., Peppas, P. and Zhang, Y. (2004), 'Constraints from STRIPS - Preliminary peport', Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), .
  • Ruan, C., Varadharajan, V. and Zhang, Y. (2003), 'Delegatable authorization program and its application', The international conference on security and management, Las Vegas, Nevada, USA.
  • Ding, Y. and Zhang, Y. (2003), 'The extention of the dual De Casteljau algorithm', PDCAT'03, Chengdu, China.
  • Chen, J. and Zhang, Y. (2003), 'A Rule Based Knowledge Transaction Model in Mobile Environments', The 2nd IASTED International Conference on Information and Knowledge Sharing, Scottsdale, AZ, USA.
  • Zhang, Y. (2003), 'Minimal Change and Maximal Coherence for Epistemic Logic Program Updates', The 8th International Joint Conference on Artificial Intelligence, Acapulco, Mexico.
  • Zhang, Y. and Bai, Y. (2003), 'The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs', The 14th International Symposium, ISMIS 2003, Maebashi City, Japan.
  • Zhang, Y. and Bai, Y. (2003), 'G-STRIPS - A Generalized STRIPS System for Handling STate Change over Dynamic Domains', The 14th International Symposium, ISMIS 2003, Maebashi City, Japan.
  • Ruan, C., Varadharajan, V. and Zhang, Y. (2003), 'A logic model for temporal authorization delegation with negation', 6th International conference, ISC 2003, Bristol, UK.
  • Ding, Y. and Zhang, Y. (2003), 'The dual drawing method of the hyperbolic paraboloid and the screen representation of the ruling', CISST'03, Las Vegas, Nevada, USA.
  • Ruan, C., Varadharajan, V. and Zhang, Y. (2003), 'Evaluation of Authorization with Delegation and Negation', In Proceedings of the International Intelligent Information Processing and Web Mining conference (IIPWM 03), Poland.
  • Baral, C. and Zhang, Y. (2002), 'The complexity of model checking for knowledge update', The 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-2002), Toulouse, France.
  • Zhang, Y. and Foo, N. (2002), 'Representing Actions over Dynamic Domains', The 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan.
  • Bai, Y. and Zhang, Y. (2002), 'AI Application in Secure Database Systems', Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies, Crema, Italy.
  • Bai, Y. and Zhang, Y. (2002), 'A Formal Semantics of Hybrid Symbolic-Neural Networks for Commonsense Reasoning', Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies, Crema, Italy.
  • Ruan, C., Varadharajan, V. and Zhang, Y. (2002), 'Logic-Based Reasoning on Delegatable Authorizations', 13th International Symposium, ISMIS 2002, Lyon, France.
  • Maheswaran, S., Shutthanandan, V., Thevuthasan, S., Zhang, Y., Baer, D. and Icenhower, J. (2002), 'Near surface sodium depth profile measurements of Na2O-Al2O3-SiO2 glasses exposed to aqueous solutions using ion beam techniques', Australian Institute of Physics Congress 2002, Sydney.
  • Lakkaraju, S. and Zhang, Y. (2002), 'A SLDNF Proof Procedure for rule based update', ICIIT2002: International Conference on Intelligent Information Technology, Beijing.
  • Lakkaraju, S. and Zhang, Y. (2002), 'Abduction and Update in Logic Programs', International conference on Artificial Intelligence (IC-AI) 2002, .
  • Baral, C. and Zhang, Y. (2001), 'On the semantics of knowledge update', The 17th Internation Joint Conference on Artificial Intelligence, Seattle, USA.
  • Bai, Y. and Zhang, Y. (2001), 'On the Computational Aspect of Rule Based Database Updates', The 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence, Budapest, Hungary.
  • Foo, N., Zhang, D., Zhang, Y., Chopra, S. and Quoc Vo, B. (2001), 'Encoding Solutions of the Frame Problem in Dynamic Logic', The 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria.
  • Zhang, Y. and Varadharajan, V. (2001), 'A logic for modelling the dynamics of belief in cryptographic protocols', The 24th Australasian Computer Science Conference 2001, Gold Cost, Queensland, Australia.
  • Zhang, Y. (2001), 'The complexity of logic program updates', The 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia.

Research

Previous Projects

Title: Logical Foundation and Implementation Technology for Automated Negotiation
Years: 2009-01-01 - 2013-03-31
ID: P0016060
Western Researchers: Dongmo Zhang and Yan Zhang
Funding:
  • Australian Research Council (ACRG)
Title: Answer Set Programming for Distributed Authorisations with Delegation
Years: 2006-12-20 - 2008-01-03
ID: P0015412
Western Researchers: Yun Bai and Yan Zhang
Funding:
  • University of Western Sydney
Title: Knowledge based model updating for the correctness of security protocols (DP0559592)
Years: 2005-01-18 - 2009-11-17
ID: P0009992
Western Researchers: Yan Zhang
Funding:
  • Australian Research Council (ACRG)
Title: Enhancing nonmonotonic logic programming for building complex knowledge systems
Years: 2005-02-01 - 2006-07-31
ID: P0014470
Western Researchers: Yan Zhang
Funding:
  • University of Western Sydney
Title: Formalizing and model checking cryptographical protocols
Years: 2005-03-03 - 2006-03-02
ID: P0014514
Western Researchers: Yan Zhang
Funding:
  • University of Western Sydney
Title: Integrating Model checking and knowledge dynamics for system verification
Years: 2003-02-14 - 2006-06-30
ID: P0012588
Western Researchers: Yan Zhang
Funding:
  • Smartlink Solutions Pty Ltd
  • Opentec Pty Limited
  • Australian Research Council (ACRG)
Title: Reasoning about actions and teamwork in multi-agent systems
Years: 1999-07-01 - 2001-07-30
ID: P0012344
Western Researchers: Yan Zhang
Funding:
  • University of Western Sydney
Title: Updating Logic Programs: Semantics, Complexity and Applications
Years: 2001-01-01 - 2001-12-31
ID: P0011862
Western Researchers: Yan Zhang
Funding:
  • University of Western Sydney
Title: Model updating knowledge for the correctness of security protocols
Years: 2004-02-16 - 2005-02-15
ID: P0011588
Western Researchers: Yan Zhang and Yun Bai
Funding:
  • University of Western Sydney
Title: Investigating Dynamic Domains in Knowledge System Updates
Years: 2003-01-25 - 2004-01-24
ID: P0011682
Western Researchers: Yan Zhang
Funding:
  • University of Western Sydney
Title: Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems
Years: 2006-01-10 - 2011-09-30
ID: P0014627
Western Researchers: Yan Zhang
Funding:
  • Australian Research Council (ACRG)
Title: Strong and Weak Forgettings for Conflict Solving
Years: 2006-01-25 - 2007-01-24
ID: P0014928
Western Researchers: Yan Zhang
Funding:
  • University of Western Sydney
Title: Model Update with Localisation, Constraints and Abstraction
Years: 2009-01-01 - 2014-06-30
ID: P0016030
Western Researchers: Yan Zhang
Funding:
  • Australian Research Council (ACRG)
Title: Developing Sophisticated e-Business Automation
Years: 2008-07-15 - 2012-07-31
ID: P0015961
Western Researchers: Yan Zhang and Dongmo Zhang
Funding:
  • Australian Research Council (ACRG)
  • Smartlink Solutions Pty Ltd
Title: An answer set programming approach for specification and verification of distributed authorizations in complex environments [via Qatar Uni]
Years: 2010-12-01 - 2014-05-31
ID: P00017882
Western Researchers: Yan Zhang and Yun Bai
Funding:
  • Qatar National Research Fund
Title: Learning Simple Classifiers for Complicated Problems
Years: 2012-10-24 - 2013-11-24
ID: P00021111
Western Researchers: Yan Zhang
Funding:
  • University of Western Sydney
Title: Towards High-performance Solvers for Answer Set Programming and Description Logic
Years: 2010-11-17 - 2012-03-30
ID: P00019429
Western Researchers: Yi Zhou and Yan Zhang
Funding:
  • University of Western Sydney
Title: Investigating the dynamics of knowledge and belief in secure computer systems
Years: 1998-01-01 - 2000-12-13
ID: P0009492
Western Researchers: Vijayaraghavan Varadharajan and Yan Zhang
Funding:
  • Australian Research Council (ACRG)

Supervision

Professor Zhang is available to be a principal supervisor for doctoral projects

Previous Supervision

Title: The Tree-Like Local Model Update with Domain Constraints
Field of Research: COMPUTER SCIENCE NOT ELSEWHERE CLASSIFIED
Thesis: The Tree-Like Local Model Update with Domain Constraints
Title: Mechanism Design for Dynamic Double Actions
Field of Research: ARTIFICIAL INTELLIGENCE
Thesis: <p> Mechanism Design for Dynamic Double Actions</p>

Western Sydney University

Locked Bag 1797
Penrith NSW 2751

Tel: +61 2 9852 5222

ABN 53 014 069 881
CRICOS Provider No: 00917k

Visit our mobile site