TY  - RPRT
TI  - Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
AU  - Till Hofmann
AU  - Stefan Schupp
AU  - Gerhard Lakemeyer
PY  - 2026
UR  - https://arxiv.org/abs/2402.03164
ID  - 2402.03164
ER  -