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.
@article{arxiv.1805.06861,
title = {Answer Set Programming Modulo `Space-Time'},
author = {Carl Schultz and Mehul Bhatt and Jakob Suchan and Przemysław Wałęga},
journal= {arXiv preprint arXiv:1805.06861},
year = {2018}
}