Professor Yan Zhang

• Biography
• Areas of Research / Teaching Expertise
• Grants / Current Projects
• Selected Publications
• Contact Details

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.

^ Back to top

Areas of Research / Teaching Expertise

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

^ Back to top

Grants / Current Projects

ARC Grants in Recent Years

ARC Discovery Projects Grant (2009-2011)
Dongmo Zhang, Yan Zhang, Norman Foo and Michael Thielscher
Project: Logical Foundation and Implementation Technology for Automated Negotiation

ARC Discovery Projects Grant (2009-2011)
Yan Zhang
Project: Model Update with Localisation, Constraints and Abstraction

ARC Linkage Projects Grant (2008-2011)
Yan Zhang, Dongmo Zhang and Weiyuan Wang
Project: Developing Sophisticated e-Business Automation

^ Back to top

Selected Publications

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 Logicx 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.

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.

^ Back to top