Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

Contact information

Informatics Forum
10 Crichton Street
Edinburgh
EH8 9AB
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. Implicitly Learning to Reason in First-Order Logic

    Research output: Contribution to conferencePaper

  2. ChangeIt: Toward an App to Help Children with Autism Cope with Changes

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

  3. Learning Probabilistic Logic Programs over Continuous Data

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

View all (1216) »

Research activities & awards

  1. DataVisFest

    Activity: Other activity typesTypes 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 event typesParticipation in conference

  3. NHS Digital Academy

    Activity: Consultancy typesContribution to the work of national or international committees and working groups

View all (9) »

ID: 11335660