Centre for Intelligent Systems and their Applications

In CISA we investigate how knowledge can be formally represented and reasoning can be automated. This is part of the foundations for the computational fabric that supports modern industry and society. It is also a major driving force for change, in areas such as multi-agent systems and reasoning on the Web. Because in our field there is a strong interaction between theory and application, CISA covers the spectrum from abstract research using logics and theorem proving methods through to systems oriented research (via our Artificial Intelligence Applications Institute).