{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T08:46:43Z","timestamp":1775983603732,"version":"3.50.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319026206","type":"print"},{"value":"9783319026213","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02621-3_14","type":"book-chapter","created":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T15:53:57Z","timestamp":1383753237000},"page":"199-210","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formulating the Temporal Causal Relationships Between Events and Their Results"],"prefix":"10.1007","author":[{"given":"J.","family":"Ma","sequence":"first","affiliation":[]},{"given":"M.","family":"Petridis","sequence":"additional","affiliation":[]},{"given":"B.","family":"Knight","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,7]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"McCarthy, J., Situations, actions and causal laws, Stanford Artificial Intelligence Project: Memo 2, 1963.","DOI":"10.21236\/AD0785031"},{"key":"14_CR2","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence, in Machine Intelligence, 4, Eds. Meltzer B. and Michie D., Edinburgh University Press, pages 463\u2013502, 1969."},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. McDermott","year":"1982","unstructured":"McDermott, D.: A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science, 6: 101\u2013155, 1982.","journal-title":"Cognitive Science"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Allen, J.: Maintaining Knowledge about Temporal Intervals, Communication of ACM, 26: 832\u2013843, 1983.","DOI":"10.1145\/182.358434"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Allen, J.: Towards a General Theory of Action and Time, Artificial Intelligence, 23: 123\u2013154, 1984.","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sergot, M.: A Logic-based Calculus of Events, New Generation Computing, 4: 67\u201395, 1986.","DOI":"10.1007\/BF03037383"},{"key":"14_CR7","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.: Temporal logics in AI: Semantical and Ontological Considerations, Artificial Intelligence, 33: 89\u2013104, 1987.","journal-title":"Artificial Intelligence"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Shoham, Y.: Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, MIT Press, 1988.","DOI":"10.1016\/B978-0-934613-67-5.50015-0"},{"issue":"3","key":"14_CR9","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.: Time, Action-Types, and Causation: an Integrated Analysis, Computational Intelligence, 11(3): 529\u2013552, 1995.","journal-title":"Computational Intelligence"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Formal theories of action, In Proceedings of the Tenth International Joint Conference on, Artificial Intelligence, pages 966\u2013972, 1987.","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"key":"14_CR11","unstructured":"Sandewall, E.: Filter preferential entailment for the logic of action in almost continuous worlds. In Proceedings of the 12th International Joint Conference on, Artificial Intelligence, pages 894\u2013899, 1989]."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Schubert, L.: Monotonic Solution of the Frame Problem in the Situation Calculus: an Efficient Method for Worlds with Fully Specified Actions, in: H.E. Kyburg, R. Loui and G. Carlson, eds., Knowledge Representation and Defeasible Reasoning, pages 23\u201367, Kluwer Academic Press, 1990.","DOI":"10.1007\/978-94-009-0553-5_2"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V., Rabinov, A.: What are the Limitations of the Situation Calculus? In Working Notes of AAAI Spring Symposium Series. Symposium: Logical Formalization of Commonsense Reasoning, pages 59\u201369, 1991.","DOI":"10.1007\/978-94-011-3488-0_8"},{"key":"14_CR14","unstructured":"Lin, F., Shoham, Y.: Concurrent Actions in the Situation Calculus, In Proceedings of AAAI-92, pages 590\u2013595, 1992."},{"key":"14_CR15","unstructured":"Pinto, J., Reiter, R.: Temporal Reasoning in Logic Programming: A Case for the Situation Calculus, In Proceedings of 10th Int. Conf. on Logic Programming, Budapest, Hungary, pages 21\u201324, 1993."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Pinto, J., Reiter, R.: Reasoning about Time in the Situation Calculus, Annals of Mathematics and Artificial Intelligence, 14(2\u20134): 251\u2013268, 1995.","DOI":"10.1007\/BF01530822"},{"issue":"5","key":"14_CR17","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1093\/logcom\/4.5.513","volume":"4","author":"R. Miller","year":"1994","unstructured":"Miller, R., Shanahan, M.: Narratives in the Situation Calculus, the Journal of Logic and Computation, 4(5): 513\u2013530, 1994.","journal-title":"the Journal of Logic and Computation"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Shanahan, M.: A Circumscriptive Calculus of Events, Artificial Intelligence, 77: 29\u2013384, 1995.","DOI":"10.1016\/0004-3702(94)00036-Z"},{"key":"14_CR19","unstructured":"Baral, C.: Reasoning about actions: non-deterministic effects, constraints, and qualification, In Proceedings of IJCAI\u201995, pages 2017\u20132023, 1995."},{"issue":"1\u20133","key":"14_CR20","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0743-1066(96)00140-9","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M.: Reasoning about Effects of Concurrent Actions, Journal of Logic Programming, 31(1\u20133): 85\u2013117, 1997.","journal-title":"Journal of Logic Programming"},{"key":"14_CR21","unstructured":"Baral, C., Son, T., Tuan, L.: A transition function based characterization of actions with delayed and continuous effects, In Proceedings of KR\u201902, pages 291\u2013302, 2002."},{"issue":"5","key":"14_CR22","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J. Allen","year":"1994","unstructured":"Allen J., Ferguson, G.: Actions and Events in Interval Temporal Logic, the Journal of Logic and Computation, 4(5): 531\u2013579, 1994.","journal-title":"the Journal of Logic and Computation,"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Ma, J., Knight, B.: A Reified Temporal Logic, the Computer Journal, 39(9): 800\u2013807, 1996.","DOI":"10.1093\/comjnl\/39.9.800"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Ma, J., Knight, B.: A General Temporal Theory, the Computer Journal, 37(2): 114\u2013123, 1994.","DOI":"10.1093\/comjnl\/37.2.114"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: The Logic of Time, Kluwer Academic, Dordrech, 1983.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"14_CR26","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. Galton","year":"1990","unstructured":"Galton, A.: A Critical Examination of Allen\u2019s Theory of Action and Time, Artificial Intelligence, 42: 159\u2013188, 1990.","journal-title":"Artificial Intelligence"},{"key":"14_CR27","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","volume":"7","author":"L. Vila","year":"1994","unstructured":"Vila, L.: A survey on temporal Reasoning in Artificial Intelligence. AI Communications, 7: 4\u201328, 1994.","journal-title":"AI Communications"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Ma, J., Hayes, P.: Primitive Intervals Vs Point-Based Intervals: Rivals Or Allies? the Computer Journal, 49: 32\u201341, 2006.","DOI":"10.1093\/comjnl\/bxh151"},{"key":"14_CR29","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.: Moments and Points in an Interval-based Temporal-based Logic, Computational Intelligence, 5: 225\u2013238, 1989.","journal-title":"Computational Intelligence"}],"container-title":["Research and Development in Intelligent Systems XXX"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02621-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T18:38:59Z","timestamp":1676831939000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-02621-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319026206","9783319026213"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02621-3_14","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"7 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}