The token reification approach to temporal reasoning

DOI10.1016/0004-3702(94)00093-XMaRDI QIDQ2171256zbMATH OpenFDO

Authors Lluís Vila, Han Reichgelt

Publication date 23 September 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(94)00093-X

Mathematics Subject Classification ID

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

Recommendations

• Reified temporal logics: An overview
• scientific article; zbMATH DE number 4119672
• scientific article; zbMATH DE number 67867
• Actions and Events in Interval Temporal Logic
• On the expressive limits of reified theories

Cites work

• A critical examination of Allen's theory of action and time
• A non-reified temporal logic
• scientific article; zbMATH DE number 67448 (Why is no real title available?)
• scientific article; zbMATH DE number 67867 (Why is no real title available?)
• scientific article; zbMATH DE number 3309175 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• Temporal logics in AI: semantical and ontological considerations
• Towards a general theory of action and time

Cited in

(4)

• scientific article; zbMATH DE number 67867 (Why is no real title available?)
• On the expressive limits of reified theories
• Reified temporal logics: An overview
• Temporal representation and reasoning in artificial intelligence: A review

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2171256)