Our research is concerned with both the formal and practical aspects of knowledge representation and reasoning, data science, and the applications (such as those in healthcare and cultural heritage) of these techniques to Intelligent Software Agents, Knowledge Graph and the Semantic Web. Our interests span information provenance, trust and policies (or norms), efficient reasoning infrastructures, and argumentation. We apply these techniques to a wide range of applications including emergency response, scientific enquiry and software engineering.
Areas of active research within the ARK theme include:
- Knowledge Graph, Semantic Web and Linked Data
- Intelligent Agents, Multi-Agent Systems
- Data Science
- Knowledge Representation and Reasoning (inc. Scalable Reasoning, Stream Reasoning, Predictive Reasoning, Query Answering and Knowledge Based Question Answering)
- Provenance, Trust and Policies (or Norms) and Argumentation