Skip to content. | Skip to navigation
School of Informatics. Theories of knowledge representation and inference; systems for modelling, automating and supporting this activity.
This site doesn't have a valid email setup, so you cannot use any contact forms.