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. We may not cooperate with friendly machines

    Research output: Contribution to journalComment/debate

  2. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. The quest for interpretable and responsible artificial intelligence

    Research output: Contribution to journalArticle

View all (1265) »

Research activities & awards

  1. Experiential AI: Entanglements – Fair, Moral and Transparent AI

    Activity: Academic talk or presentation typesInvited talk

  2. Talk: Experiential AI

    Activity: Academic talk or presentation typesInvited talk

  3. IWSG 2018 - 10th International Workshop on Science Gateways (Event)

    Activity: Publication peer-review and editorial work typesEditorial activity

View all (13) »

ID: 11335660