Centre for Intelligent Systems and their Applications

School of Informatics. Theories of knowledge representation and inference; systems for modelling, automating and supporting this activity.