At the Centre for Intelligent Systems and their Applications we develop theories of knowledge representation and inference and engineer systems for modelling, automating and supporting this activity. For us, representations of knowledge are the raw materials of research. We build systems which help us to acquire, manipulate and deploy knowledge expressed in these representations. These systems then become objects for empirical experiment and subjects for formal analysis. They also become items of value to industry and other users of technology, and help us to understand natural intelligence.
We undertake a mixture of basic and applied research, taking particular pride in our ability to make these streams complement each other. This gives us an eclectic outlook. We absorb and deploy ideas from artificial intelligence, HCI, psychology, software engineering, theoretical computer science, etc. We also contribute to these areas by providing new means for representing, analysing and re-interpreting their results. Eclecticism is necessary for the types of complex problem we address but is held under control by its grounding in formal knowledge representation and reasoning.