Spatio-temporal Knowledge Representation and Reasoning

Led by Dr Antony Galton

This theme is concerned with developing formalisms for handling spatial and temporal information in the context of artificial intelligence, geographic information science, and formal ontology.

There are several overlapping sub-themes:

Google+