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. PBUF: Sharing buffer to mitigate flooding attacks

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

View all (969) »

Research activities & awards

  1. DataVisFest

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

  2. IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

    Activity: Participating in or organising an eventParticipation in conference

  3. The 9th International Workshop on Automated Deduction in Geometry

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

View all (3) »

ID: 11335660