The token reification approach to temporal reasoning

DOI10.1016/0004-3702(94)00093-XzbMath1506.68145MaRDI QIDQ2171256

Lluís Vila, Han Reichgelt

Publication date: 23 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Temporal logic (03B44)

Related Items (1)

Temporal representation and reasoning in artificial intelligence: A review

Cites Work

• A critical examination of Allen's theory of action and time
• Towards a general theory of action and time
• Temporal logics in AI: semantical and ontological considerations
• A non-reified temporal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The token reification approach to temporal reasoning