# Answer Set Programming Modulo `Space-Time'

arXiv: https://arxiv.org/abs/1805.06861 · HTML: https://mlsanity.com/paper/1805.06861/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 17 May 2018.

## Built on by (most cited first, 2 of 2)

- [Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective](https://mlsanity.com/paper/2210.01344/) (2022)
- [Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations](https://mlsanity.com/paper/2509.03644/) (2025)

## Abstract (arXiv)

We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of `space-time' regions as first-class objects. We present an empirical evaluation (with scalability and robustness results), and include diverse application examples involving interpretation and control tasks.