Wenjin LuDept Computing, City University London
My research at KMi involved logic programming, non-monotonic reasoning, formal method and knowledge-based systems. Whilst in the lab I worked on the IBROW project which aims at developing an intelligent broker to configure a knowledge-based system from software components distributed over the World-Wide-Web.
Crubezy, M., Motta, E., Lu, W. and Musen, M. (2003) Configuring Online Problem-Solving Resources with the Internet Reasoning Service, IEEE Intelligent Systems, 18, 2, pp. 34-42