Reasoning about time in the situation calculus
type: Item
instance of: scholarly article
title: Reasoning about time in the situation calculus
zbMATH Open document ID: 0855.68102
DOI: 10.1007/BF01530822
author: Javier Pinto
author: Raymond Reiter
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1996-11-24T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 937232
zbMATH Keywords: temporal logic of concurrency
MaRDI profile type: Publication
cites work: Towards a general theory of action and time
cites work: Q3773852
cites work: Characterizing diagnoses and systems
cites work: A logic-based calculus of events
cites work: Q3749040
cites work: Q5633670
cites work: Narratives in the Situation Calculus
cites work: The temporal semantics of concurrent programs
cites work: Q4016561
cites work: Proving properties of states in the situation calculus
cites work: A circumscriptive calculus of events
full work available at URL: https://doi.org/10.1007/bf01530822
OpenAlex ID: W2094916185
description: scientific article; zbMATH DE number 937232