Professor Austin Tate and John Kingston of the Artificial Intelligence Applications
Institute have both researched into knowledge-based planning and high
performance knowledge based systems, international knowledge systems,
workflow process standards activities, and the development of
commercially applicable and successful knowledge based systems.
David Robertson's group specialises in formal modelling and automation in
software and knowledge engineering lifecycles. It is known
internationally for its work on domain-specific problem description
and automated generation of software.