{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:18:20Z","timestamp":1742969900579,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662530412"},{"type":"electronic","value":"9783662530429"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53042-9_7","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T13:36:04Z","timestamp":1470404164000},"page":"112-129","source":"Crossref","is-referenced-by-count":0,"title":["Between the Event Calculus and Finite State Temporality"],"prefix":"10.1007","author":[{"given":"Derek","family":"Kelleher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Fernando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Vogel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"7_CR1","first-page":"221","volume":"1","author":"JF Allen","year":"1981","unstructured":"Allen, J.F.: An interval-based representation of temporal knowledge. IJCAI 1, 221\u2013226 (1981)","journal-title":"IJCAI"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-0-585-28322-7_7","volume-title":"Spatial and Temporal Reasoning","author":"JF Allen","year":"1997","unstructured":"Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 205\u2013245. Springer, Dordrecht (1997)"},{"key":"7_CR3","unstructured":"Bennett, M., Partee, B.H.: Toward the logic of tense and aspect in English. Wiley Online Library (1978)"},{"key":"7_CR4","volume-title":"Aspect: An Introduction to the Study of Verbal Aspect and Related Problems","author":"B Comrie","year":"1976","unstructured":"Comrie, B.: Aspect: An Introduction to the Study of Verbal Aspect and Related Problems. Cambridge University Press, Cambridge (1976)"},{"key":"7_CR5","volume-title":"The New Psychology of Language, Chap. 3","author":"W Croft","year":"1998","unstructured":"Croft, W.: The structure of events. In: Tomasello, M. (ed.) The New Psychology of Language, Chap. 3. Lawrence Erlbaum Associates, Mahwah (1998)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/11812128_22","volume-title":"Implementation and Application of Automata","author":"T Fernando","year":"2006","unstructured":"Fernando, T.: Finite-state temporal projection. In: Ibarra, O.H., Yen, H.-C. (eds.) CIAA 2006. LNCS, vol. 4094, pp. 230\u2013241. Springer, Heidelberg (2006)"},{"key":"7_CR7","unstructured":"Fernando, T.: Temporal propositions as regular languages. In: 6th International Workshop on Finite-State Methods and Natural Language Processing, pp. 132\u201348 (2008)"},{"key":"7_CR8","unstructured":"Fernando, T.: Partitions representing change homogeneously. In: Aloni, M., Franke, M., Roelofsen, F. (eds.) A festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, pp. 91\u201395. Onbekend (2013)"},{"key":"7_CR9","unstructured":"Fernando, T.: Segmenting temporal intervals for tense and aspect. In: The 13th Meeting on the Mathematics of Language, p. 30 (2013)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Fernando, T.: Incremental semantic scales by strings. In: EACL 2014, p. 63 (2014)","DOI":"10.3115\/v1\/W14-1408"},{"issue":"4","key":"7_CR11","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"JY Halpern","year":"1991","unstructured":"Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM (JACM) 38(4), 935\u2013962 (1991)","journal-title":"J. ACM (JACM)"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1024618703103","volume":"26","author":"F Hamm","year":"2003","unstructured":"Hamm, F., van Lambalgen, M.: Nominalization, the progressive and event calculus. Linguist. Philos. 26, 381\u2013458 (2003)","journal-title":"Linguist. Philos."},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1093\/oso\/9780199211616.003.0007","volume-title":"Adjectives and Adverbs: Syntax, Semantics and Discourse","author":"C Kennedy","year":"2008","unstructured":"Kennedy, C., Levin, B.: Measure of change: the adjectival core of degree achievements. In: McNally, L., Kennedy, C. (eds.) Adjectives and Adverbs: Syntax, Semantics and Discourse, pp. 156\u2013182. Oxford University Press, Oxford (2008)"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-83397-7_2","volume-title":"Foundations of Knowledge Base Management","author":"R Kowalski","year":"1989","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management, pp. 23\u201355. Springer, Heidelberg (1989)"},{"key":"7_CR15","doi-asserted-by":"crossref","DOI":"10.1002\/9780470759257","volume-title":"The Proper Treatment of Events","author":"M Lambalgen van","year":"2005","unstructured":"van Lambalgen, M., Hamm, F.: The Proper Treatment of Events. Wiley, New York (2005)"},{"issue":"2","key":"7_CR16","first-page":"15","volume":"14","author":"M Moens","year":"1988","unstructured":"Moens, M., Steedman, M.: Temporal ontology and temporal reference. Comput. Linguist. 14(2), 15\u201328 (1988)","journal-title":"Comput. Linguist."},{"issue":"2","key":"7_CR17","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1111\/1467-968X.00020","volume":"95","author":"SG Pulman","year":"1997","unstructured":"Pulman, S.G.: Aspectual shift as type coercion. Trans. Philol. Soc. 95(2), 279\u2013317 (1997)","journal-title":"Trans. Philol. Soc."},{"issue":"1","key":"7_CR18","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/lnc3.12101","volume":"9","author":"S Solt","year":"2015","unstructured":"Solt, S.: Measurement scales in natural language. Lang. Linguist. Compass 9(1), 14\u201332 (2015)","journal-title":"Lang. Linguist. Compass"},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"143","DOI":"10.2307\/2182371","volume":"66","author":"Z Vendler","year":"1957","unstructured":"Vendler, Z.: Verbs and times. The Philos. Rev. 66, 143\u2013160 (1957)","journal-title":"The Philos. Rev."}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53042-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T19:00:25Z","timestamp":1718737225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53042-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662530412","9783662530429"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53042-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}