{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T02:09:19Z","timestamp":1648606159111},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf01049474","type":"journal-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T16:46:14Z","timestamp":1107103574000},"page":"335-357","source":"Crossref","is-referenced-by-count":1,"title":["Some considerations on non-linear time intervals"],"prefix":"10.1007","volume":"4","author":[{"given":"El?bieta","family":"Hajnicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"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 ACM 26(11), pp. 832?843.","journal-title":"Communications of ACM"},{"key":"CR2","first-page":"528","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"J. Allen","year":"1985","unstructured":"Allen, J. & Hayes, P.J.: 1985, ?A Common-Sense Theory of Time?,Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, Morgan Kaufmann Publishers, pp. 528?531"},{"key":"CR3","first-page":"981","volume-title":"Short Time Periods","author":"J.F. Allen","year":"1987","unstructured":"Allen, J.F. & Hayes, P.J.: 1987, ?Short Time Periods?,Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, Morgan Kaufmann Publishers, pp. 981?983"},{"key":"CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J.F.A.K. Benthem van","year":"1983","unstructured":"van Benthem, J.F.A.K.: 1983,The Logic of Time, D. Reidel Publishing Company, Dordrecht, Holland"},{"key":"CR5","first-page":"279","volume-title":"Time and Logic. A computational approach","author":"E. Hajnicz","year":"1995","unstructured":"Hajnicz, E.: 1995, ?An analysis of structure of time in the first order predicate calculus?, in L. Bolc, A. Sza?as (eds.)Time and Logic. A computational approach, UCL Press, London, pp. 279?322"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Hajnicz, E.: 1996, ?Applying Allen's constraint propagation algorithm for non-linear time?,Journal of Logic, Language and Information (in press).","DOI":"10.1007\/BF00173698"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Kamp, H.: 1979, ?Instants and Temporal Reference?, in von Stechow (ed.)Semantics from different points of view, Springer Series in Language and Communication6, Springer Verlag, pp. 376?417","DOI":"10.1007\/978-3-642-67458-7_24"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Kamp, H.: 1980, ?Some Remarks on the Logic of Change. Part I?, in Guenthner F. (ed.)Proceedings of the Stuttgart Conference on the Logic of Tense and Quantification North Holland, pp. 135?179","DOI":"10.1515\/9783111346069.135"},{"key":"CR9","first-page":"360","volume-title":"Proceedings of Fifth AAAI Conference","author":"P.B. Ladkin","year":"1986","unstructured":"Ladkin, P.B.: 1986, ?Time Representation: A Taxonomy of Interval Relations?,Proceedings of Fifth AAAI Conference, Philadelphia, Morgan Kaufmann Publishers, pp. 360?366"},{"key":"CR10","first-page":"234","volume-title":"Proceedings of Sixth AAAI Conference","author":"P.B. Ladkin","year":"1987","unstructured":"Ladkin, P.B.: 1987, ?Models of Axioms for Time Intervals?,Proceedings of Sixth AAAI Conference, Seattle, Washington, Morgan Kaufmann Publishers, pp. 234?239"},{"key":"CR11","unstructured":"Ligozat, G.: 1991, ?On Generalized Interval Calculi?,Proceedings of Ninth AAAI Conference, Anaheim, CA, pp. 234?240"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. McDermott","year":"1982","unstructured":"McDermott, D.: 1982, ?A Temporal Logic for Reasoning about Processes and Plans?,Cognitive Science 6, pp. 101?155","journal-title":"Cognitive Science"},{"key":"CR13","unstructured":"Shoham, Y: 1987,Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, Ph.D. Thesis, Yale University"},{"key":"CR14","volume-title":"Technical Report CSCM-24","author":"E.P.K. Tsang","year":"1986","unstructured":"Tsang, E.P.K.: 1986,The Interval Structure of Allen's Logic, Technical Report CSCM-24, University of Essex, Colchester"},{"key":"CR15","first-page":"456","volume-title":"Time Structures for AI","author":"E.P.K. Tsang","year":"1987","unstructured":"Tsang, E.P.K.: 1987, ?Time Structures for AI?,Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, Morgan Kaufmann Publishers, pp. 456?461"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01049474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01049474\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01049474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,4]],"date-time":"2021-07-04T12:25:37Z","timestamp":1625401537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01049474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF01049474"],"URL":"https:\/\/doi.org\/10.1007\/bf01049474","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}