Special issue on temporal representation and reasoning (TIME 2017)

DOI10.1016/J.TCS.2019.10.036MaRDI QIDQ2334594zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 7 November 2019

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2019.10.036

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Temporal logic (03B44) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Special issue: Selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)
• 22nd international symposium on temporal representation and reasoning (TIME 2015)
• Special issue on temporal representation and reasoning (TIME'13)
• Guest editorial: Temporal representation and reasoning
• Guest editors' preface to special issue on interval temporal logics

Cited in

(7)

• 22nd international symposium on temporal representation and reasoning (TIME 2015)
• Special issue on spatial and temporal reasoning
• Guest editorial: Temporal representation and reasoning
• Special issue: 12th international symposium on temporal representation and reasoning (TIME). Selected papers based on the presentations at the symposium, Burlington, VT, USA, June 23--25, 2005.
• Special issue on temporal representation and reasoning (TIME'13)
• Special issue: Selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)
• scientific article; zbMATH DE number 1271171 (Why is no real title available?)

This page was built for publication: Special issue on temporal representation and reasoning (TIME 2017)

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