{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:10:15Z","timestamp":1725491415593},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540372134"},{"type":"electronic","value":"9783540372141"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11812128_22","type":"book-chapter","created":{"date-parts":[[2006,8,9]],"date-time":"2006-08-09T05:32:31Z","timestamp":1155101551000},"page":"230-241","source":"Crossref","is-referenced-by-count":4,"title":["Finite-State Temporal Projection"],"prefix":"10.1007","author":[{"given":"Tim","family":"Fernando","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"22_CR1","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J.F. Allen","year":"1994","unstructured":"Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. Journal of Logic and Computation\u00a04(5), 531\u2013579 (1994)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR2","volume-title":"Finite State Morphology","author":"K.R. Beesley","year":"2003","unstructured":"Beesley, K.R., Karttunen, L.: Finite State Morphology. CSLI, Stanford (2003)"},{"key":"22_CR3","first-page":"995","volume-title":"Handbook of Theoretical Computer Science, Formal Methods and Semantics","author":"E.A. Emerson","year":"1992","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Formal Methods and Semantics, vol.\u00a0B, pp. 995\u20131072. MIT Press, Cambridge (1992)"},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/logcom\/14.1.79","volume":"14","author":"T. Fernando","year":"2004","unstructured":"Fernando, T.: A finite-state approach to events in natural language semantics. Journal of Logic and Computation\u00a014(1), 79\u201392 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR5","unstructured":"Fernando, T., Nairn, R.: Entailments in finite-state temporality. In: Proc. 6th International Workshop on Computational Semantics, pp. 128\u2013138. Tilburg University (2005)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"22_CR7","volume-title":"From Discourse to Logic","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht (1993)"},{"key":"22_CR8","unstructured":"Karttunen, L.: (2005), \n \n www.stanford.edu\/~laurik\/fsmbook\/examples\/YaleShooting.html"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1016\/B978-044481714-3\/50021-7","volume-title":"Handbook of Logic and Language","author":"M. Steedman","year":"1997","unstructured":"Steedman, M.: The Productions of Time. Draft, July 2000 Subsumes \u2018Temporality\u2019. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 895\u2013935. Elsevier, North Holland (1997), \n \n ftp:\/\/ftp.cogsci.ed.ac.uk\/pub\/steedman\/temporality\/temporality.ps.gz"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11812128_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:26:56Z","timestamp":1619494016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11812128_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372134","9783540372141"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11812128_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}