Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
arXiv:2402.03164v2 Announce Type: replace Abstract: Representing time is crucial for cyber-physical systems and has been studied extensively in the situation calculus. The most commonly used approach represents time by adding a real-valued function $\mathit{time}(a)$ that attaches a time point to…