在智能系统及其应用程序中心（CISA）中，我们使计算机系统能够重现或补充人类的能力，与人合作并支持人与人之间的协作。我们在人工智能（知识表示和推理，含义的出现，理论和本体论的变化，创造力，数学证明）的基础以及智能协作系统（多主体系统，社交计算，科学协作平台，网络语义）中进行世界领先的研究和链接的数据）。我们的研究方法受到开发知识，推理和交互作用的形式化模型的启发，这些模型可用于理解和自动化人类智能的各个方面，但对人类设计者和AI系统用户也可以理解和使用。为了实现这一目标，我们将理论研究与计算模型，体系结构
At the Centre for Intelligent Systems and their Applications (CISA) we enable computer systems to reproduce or complement human abilities, work with people, and support collaboration between humans. We conduct world-leading research in the foundations of Artificial Intelligence (knowledge representation and reasoning, emergence of meaning, theory and ontology change, creativity, mathematical proof) and in intelligent collaborative systems (multiagent systems, social computation, scientific collaboration platforms, web semantics and linked data). Our research methods are inspired by developing formal models of knowledge, reasoning, and interaction that can be used to understand and automate aspects of human intelligence, but are also understandable and usable to the human designers and users of AI systems. To achieve this, we combine theoretical research into computational models, architectures, and algorithms with a strong element of applied research. This has led to a strong track record in using our methods to address real-world problems in healthcare, scientific collaboration, social computing, emergency systems, transportation, engineering, aerospace and others.