AAAI 2026technical0 citations
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
Victor Lagerkvist, Johanna Groven, Leif Eriksson
Abstract
The region connection calculus (RCC) and Allen
BibTeX
@inproceedings{aaai2026_towardssingleexp,
title = {Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming},
author = {Victor Lagerkvist and Johanna Groven and Leif Eriksson},
booktitle = {AAAI 2026},
year = {2026}
}