Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

Contact information

Informatics Forum
10 Crichton Street
United Kingdom
  • Phone: 0131 650 2685
  • Fax: 0131 650 6899

Organisation profile

Website: http://www.cisa.inf.ed.ac.uk/

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

Research outputs

  1. Argumentation theory for mathematical argument

    Research output: Contribution to journalArticle

  2. Establishing Core Concepts for Information-Powered Collaborations

    Research output: Contribution to journalArticle

  3. Calculating Error Bars on Inferences from Web Data

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (1161) »

Research activities & awards

  1. DataVisFest

    Activity: OtherTypes of Public engagement and outreach - Public lecture/debate/seminar

  2. 17th International Conference on Autonomous Agents and Multiagent Systems

    Activity: Participating in or organising an eventParticipation in conference

  3. 10th Conference on Intelligent Computer Mathematics

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

View all (8) »

ID: 11335660