Reasoning about time in the situation calculus

DOI10.1007/BF01530822zbMath0855.68102OpenAlexW2094916185MaRDI QIDQ1924726

Javier Pinto, Raymond Reiter

Publication date: 24 November 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530822

zbMATH Keywords

temporal logic of concurrency

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Logic of temporal attribute implications ⋮ Temporal disjunctive logic programming ⋮ Formalizing narratives using nested circumscription

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Towards a general theory of action and time
• The temporal semantics of concurrent programs
• Characterizing diagnoses and systems
• Proving properties of states in the situation calculus
• A circumscriptive calculus of events
• Narratives in the Situation Calculus

This page was built for publication: Reasoning about time in the situation calculus