Research Highlights
This is a selection of the research projects in the deparment.

Computational Logic of Euclidean Spaces
Computational Logic of Euclidean Spaces

ExODA
Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access

Feral Robots
What background environmental factors affect our neighborhoods?

Knowledge Representation & Reasoning about Distances
Models of closeness in space

Mapping Museums
Mapping Museums: designing a knowledge base to research the history and geography of the UK's museums sector

Mobile Location Recommendation
Recommending landmarks to mobile users by building a collective model of users movements

Samtla
Samtla: Search And Mining of Digital Archives

Search Query Semantics
Discovering Semantics of Search Queries through the Recognition and Classification of Named Entities

The Ubicomp Google
Exploring ambient dynamics and findability

Digital Forensics and Social Media: ethics, challenges and opportunities
Funded by the Dawes Trust, the research project will address complex legal and ethical questions about the use of digital forensics and social media evidence.