Professor Yan Zhang

Conference Papers

• Bai, Y. and Zhang, Y. (2012), 'Constraint-enhanced role engineering via answer set programming', ACM Symposium on Information, Computer and Communications Security, Seoul, Korea.
• Zhang, Y. and Zhou, Y. (2012), 'Ordered completion for logic programs with aggregates', AAAI Conference on Artificial Intelligence, Toronto, Canada.
• Zhang, Y. and Zhou, Y. (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 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., Zhang, 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.