Investigator: Yan Zhang
Project: Model Update with Localisation, Constraints and Abstract
With Dongmo Zhang, Norman Foo and Michael Thielscher
Project: Logical Foundation and Implementation Technology
for Automated Negotiation
With Dongmo Zhang and Weiyuan Wang
Project: Developing Sophisticated e-Business Automation
With Abhaya Nayak, Kewen Wang and Fangzhen Lin
Project: Foundations of Nonmonotonic Logic Programming for Complex Knowledge
Systems
With Mehmet Orgun, Abhaya Nayak, Yi Mu and Feng Bao
Project: Knowledge Based Model Updating for the Correctness of
Security Protocols
With Wenyuan Wang
Project: Integrating Model Checking and Knowledge Dynamics for System
Verification
With Vijay Varadharajan
Project: Investigating Knowledge Dynamics in Secure Computer Systems
With Norman Y. Foo
Project: Causality in the Logic of Actions