{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:06:29Z","timestamp":1761620789106,"version":"3.40.5"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1023\/a:1011018426725","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T08:38:49Z","timestamp":1040632729000},"page":"189-217","source":"Crossref","is-referenced-by-count":26,"title":["Reified Temporal Logics: An Overview"],"prefix":"10.1007","volume":"15","author":[{"given":"J.","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Knight","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"193000_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"Allen, J. F. (1983). Maintaining Knowledge about Temporal Intervals. Communications of the ACM\n26(11): 832\u2013843.","journal-title":"Communications of the ACM"},{"key":"193000_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. F. Allen","year":"1984","unstructured":"Allen, J. F. (1984). Towards a General Theory of Action and Time. Artificial Intelligence\n23: 123\u2013154.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"193000_CR3","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J. F. Allen","year":"1994","unstructured":"Allen, J. F. & Ferguson, G. (1994). Actions and Events in Interval Temporal Logic. the Journal of Logic and Computation\n4(5): 531\u2013579.","journal-title":"the Journal of Logic and Computation"},{"key":"193000_CR4","unstructured":"Allen, J. & Hayes, P. (1985). A Common-sense Theory of Time. Proceedings of IJCAI'95, 528\u2013531."},{"key":"193000_CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1111\/j.1467-8640.1989.tb00329.x","volume":"5","author":"J. Allen","year":"1989","unstructured":"Allen, J. & Hayes, P. (1989). Moments and Points in an Interval-based Temporal-based Logic. Computational Intelligence (Canada)\n5: 225\u2013238.","journal-title":"Computational Intelligence (Canada)"},{"key":"193000_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(91)90025-F","volume":"52","author":"F. Bacchus","year":"1991","unstructured":"Bacchus, F., Tenenberg J. & Koomen, J. A. (1991). A Non-reified Temporal Logic. Artificial Intelligence\n52: 87\u2013108.","journal-title":"Artificial Intelligence"},{"key":"193000_CR7","volume-title":"The Logic of Time","author":"V. Benthem","year":"1984","unstructured":"Benthem, V. (1984). The Logic of Time. Dordrecht: Kluwer Academic."},{"key":"193000_CR8","doi-asserted-by":"crossref","unstructured":"Davidson, D. (1967). The Logical form of Action Sentences. In Nicholas Rescher (ed.) The Logic of Decision and Action. University of Pittsburgh Press.","DOI":"10.2307\/jj.13027259.6"},{"key":"193000_CR9","volume-title":"Essays in Honor of Carl G. Hempel","author":"D. Davidson","year":"1969","unstructured":"Davidson, D. (1969). The Individuation of Events. In Nicholas Rescher (ed.) Essays in Honor of Carl G. Hempel. Dordrecht: D. Reidel."},{"key":"193000_CR10","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-51803-7_36","volume":"398","author":"D. Gabbay","year":"1989","unstructured":"Gabbay, D. (1989). The Declarative Past and Executable Future. Temporal Logic in Specification: Altrincham Workshop 1987 (Lecture Notes in Computer Science)\n398: 409\u2013448.","journal-title":"Temporal Logic in Specification: Altrincham Workshop 1987 (Lecture Notes in Computer Science)"},{"key":"193000_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. P. Galton","year":"1990","unstructured":"Galton, A. P. (1990). A Critical Examination of Allen's Theory of Action and Time. Artificial Intelligence\n42: 159\u2013188.","journal-title":"Artificial Intelligence"},{"key":"193000_CR12","unstructured":"Galton, A. P. (1991). Reified Temporal Theories and How to Unreify Them. Proceedings of IJCAI'91, 1177\u20131182."},{"issue":"2","key":"193000_CR13","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1093\/logcom\/6.2.271","volume":"6","author":"A. P. Galton","year":"1996","unstructured":"Galton, A. P. (1996). An Investigation of Non-intermingling Principles in Temporal Logic. Journal of Logic and Computation\n6(2): 267\u2013290.","journal-title":"Journal of Logic and Computation"},{"key":"193000_CR14","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V. & Rabinov, A. (1991). What are the Limitations of the Situation Calculus? In Working Notes of AAAI Spring Symposium Series: Logical Formalization of Commonsense Reasoning, 59\u201369.","DOI":"10.1007\/978-94-011-3488-0_8"},{"issue":"4","key":"193000_CR15","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J. Y. Halpern","year":"1991","unstructured":"Halpern, J. Y. & Shoham, Y. (1991). A Propositional Model Logic of Time Intervals. Journal of the Association for Computing Machinery\n38(4): 935\u2013962.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"193000_CR16","first-page":"127","volume":"24","author":"C. L. Hamblin","year":"1971","unstructured":"Hamblin, C. L. (1971). Instants and Intervals. Studium Generale\n24: 127\u2013134.","journal-title":"Studium Generale"},{"key":"193000_CR17","first-page":"449","volume":"1","author":"B. A. Haugh","year":"1987","unstructured":"Haugh, B. A. (1987). Non-Standard Semantics for the Method of Temporal Arguments. Proceedings of 10th IJCAI\n1: 449\u2013455.","journal-title":"Proceedings of 10th IJCAI"},{"key":"193000_CR18","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S. (1963). Semantical Considerations on Modal Logic. Acta Philosophic, Fennica\n16: 83\u201394.","journal-title":"Acta Philosophic, Fennica"},{"key":"193000_CR19","unstructured":"Lifschitz, V. (1987). A Theory of Action. Proceedings of 10th IJCAI, 966\u2013972."},{"issue":"2","key":"193000_CR20","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1017\/S0269888900004896","volume":"4","author":"D. Long","year":"1989","unstructured":"Long, D. (1989). A Review of Temporal Logics. The Knowledge Engineering Review\n4(2): 141\u2013162.","journal-title":"The Knowledge Engineering Review"},{"issue":"2","key":"193000_CR21","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1093\/comjnl\/37.2.114","volume":"37","author":"J. Ma","year":"1994","unstructured":"Ma, J. & Knight, B. (1994). A General Temporal Theory. The Computer Journal\n37(2): 114\u2013123.","journal-title":"The Computer Journal"},{"issue":"10","key":"193000_CR22","doi-asserted-by":"crossref","first-page":"847","DOI":"10.1093\/comjnl\/37.10.847","volume":"37","author":"J. Ma","year":"1994","unstructured":"Ma, J., Knight, B. & Petridis, M. (1994). A Revised Theory of Action and Time based on Intervals and Point. The Computer Journal\n37(10): 847\u2013857.","journal-title":"The Computer Journal"},{"issue":"9","key":"193000_CR23","doi-asserted-by":"crossref","first-page":"800","DOI":"10.1093\/comjnl\/39.9.800","volume":"39","author":"J. Ma","year":"1996","unstructured":"Ma, J. & Knight, B. (1996). A Reified Temporal Logic. The Computer Journal\n39(9): 800\u2013807.","journal-title":"The Computer Journal"},{"key":"193000_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3219-2","volume-title":"Tense Logic","author":"R. McArthur","year":"1976","unstructured":"McArthur, R. (1976). Tense Logic. Dordrecht: Reidel."},{"key":"193000_CR25","unstructured":"McCarthy, J. & Hayes, P. J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Meltzer, B. & Michie, D. (eds.) Machine Intelligence\n4: 463\u2013502."},{"key":"193000_CR26","first-page":"101","volume":"6","author":"D. V. McDermott","year":"1982","unstructured":"McDermott, D. V. (1982). A Temporal Logic for Reasoning about Processes and Plans. Cognitive Science\n6: 101\u2013155.","journal-title":"Cognitive Science"},{"key":"193000_CR27","doi-asserted-by":"crossref","first-page":"205","DOI":"10.2307\/2957434","volume":"5","author":"A. Prior","year":"1955","unstructured":"Prior, A. (1955). Diodoram Modalities. Philosophical Quarterly\n5: 205\u2013213.","journal-title":"Philosophical Quarterly"},{"key":"193000_CR28","doi-asserted-by":"crossref","unstructured":"Pnueli, A. (1977). The Temporal Logic of Programs. Proceedings of 8th. IEEE Symp. On Foundations of Computer Science, 46\u201367.","DOI":"10.1109\/SFCS.1977.32"},{"key":"193000_CR29","unstructured":"Reichgelt, H. (1989). A Comparison of First-order and Modal Logics of Time. In Jackson, P. and van Harmelen, H. R. F. (eds.) Logic-based Knowledge Representation, 143\u2013176."},{"key":"193000_CR30","doi-asserted-by":"crossref","unstructured":"Rescher, J. & Urquhart, A. (1971). Temporal Logics. Springer Verlag.","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"193000_CR31","volume-title":"Principles of Mathematics","author":"B. Russell","year":"1903","unstructured":"Russell, B. (1903). Principles of Mathematics. London: George & Unwin."},{"key":"193000_CR32","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(87)90052-X","volume":"33","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y. (1987). Temporal Logics in AI: Semantical and Ontological Considerations. Artificial Intelligence\n33: 89\u2013104.","journal-title":"Artificial Intelligence"},{"key":"193000_CR33","doi-asserted-by":"crossref","unstructured":"Shoham, Y. (1988). Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press.","DOI":"10.1016\/B978-0-934613-67-5.50015-0"},{"issue":"3","key":"193000_CR34","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1111\/j.1467-8640.1995.tb00047.x","volume":"11","author":"P. Terenziani","year":"1995","unstructured":"Terenziani, P. & Torasso, P (1995). Time, Action-Types, and Causation: an Integrated Analysis. Computational Intelligence\n11(3): 529\u2013552.","journal-title":"Computational Intelligence"},{"key":"193000_CR35","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","volume":"7","author":"L. Vila","year":"1994","unstructured":"Vila, L. (1994). A Survey on Temporal Reasoning in Artificial Intelligence. AI Commun.\n7: 4\u201328.","journal-title":"AI Commun"},{"key":"193000_CR36","unstructured":"Vilain,M. B. (1982). A System for Reasoning about Time. Proceedings of AAAI-82, 197\u2013201."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011018426725.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011018426725\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011018426725.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:36:28Z","timestamp":1747542988000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011018426725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["193000"],"URL":"https:\/\/doi.org\/10.1023\/a:1011018426725","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}