{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T23:18:13Z","timestamp":1648682293862},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[1996,9]]},"DOI":"10.1007\/bf02391703","type":"journal-article","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T15:50:22Z","timestamp":1147362622000},"page":"321-327","source":"Crossref","is-referenced-by-count":0,"title":["Ordering events: Intervals are sufficient, more general sets are usually not necessary"],"prefix":"10.1007","volume":"2","author":[{"given":"Alessandro","family":"Provetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02391703_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"Allen, J.Maintaining knowledge about temporal intervals. Communications of the ACM26 (1983), pp. 832\u2013843 (reprinted in [12]).","journal-title":"Communications of the ACM"},{"key":"BF02391703_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"Allen, J.Towards a general theory of action and time. Artificial Intelligence23 (1984), pp. 123\u2013154.","journal-title":"Artificial Intelligence"},{"key":"BF02391703_CR3","unstructured":"Allen, J. and Hayes, P.A common-sense theory of time. In: \u201cProceedings of the 9th International Joint Conference on Artificial Intelligence\u201d, Los Angeles, 1985, pp. 528\u2013531."},{"key":"BF02391703_CR4","first-page":"251","volume-title":"Formal Theories of the Commonsense World","author":"J. F. Allen","year":"1985","unstructured":"Allen, J. F. and Kautz, H. A.A model of naive temporal reasoning. In: Hobbs, J. R. and Moore, R. C. (eds) \u201cFormal Theories of the Commonsense World\u201d, Ablex, Norwood, NJ, 1985, pp. 251\u2013268."},{"key":"BF02391703_CR5","first-page":"83","volume":"2","author":"I. Cervesato","year":"1993","unstructured":"Cervesato, I., Montanari, A., and Provetti, A.On the non-monotonic behaviour of event calculus for deriving maximal time intervals. Interval Computations2 (1993), pp. 83\u2013119.","journal-title":"Interval Computations"},{"key":"BF02391703_CR6","doi-asserted-by":"crossref","unstructured":"Gelfond, M. and Przymusinska, H.Towards a theory of elaboration tolerance: logic programming approach. Int. Journal of Software Engineering and Knowledge Engineering: a Special Issue on Knowledge Representation Methods (1995) (to appear).","DOI":"10.1142\/S0218194096000053"},{"key":"BF02391703_CR7","volume-title":"Numerical toolbox for verified computing. I. Basic numerical problems","author":"R. Hammer","year":"1993","unstructured":"Hammer, R., Hocks, M., Kulisch, U., and Ratz, D.Numerical toolbox for verified computing. I. Basic numerical problems. Springer Verlag, Heidelberg, N.Y., 1993."},{"key":"BF02391703_CR8","volume-title":"Applications of interval computations","year":"1996","unstructured":"Kearfott, R. B. and Kreinovich, V. (eds)Applications of interval computations. Kluwer, Dordrecht, Boston, 1996."},{"key":"BF02391703_CR9","unstructured":"Kreinovich, V. (ed.)Extended abstracts of APIC'95: international workshop on applications of interval computations, El Paso, TX, Febr. 23\u201325, 1995. Reliable Computing (1995), Supplement."},{"issue":"1","key":"BF02391703_CR10","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF02390520","volume":"1","author":"V. Kreinovich","year":"1995","unstructured":"Kreinovich, V.Why intervals? A simple limit theorem that is similar to limit theorems from statistics. Reliable Computing1 (1) (1995), pp. 33\u201340.","journal-title":"Reliable Computing"},{"key":"BF02391703_CR11","first-page":"75","volume-title":"Proceedings of the Teddington Conference on the Mechanization of Thought Processes","author":"J. McCarthy","year":"1959","unstructured":"McCarthy, J.Program with common sense. In: \u201cProceedings of the Teddington Conference on the Mechanization of Thought Processes\u201d, London, Her Majesty's Stationary Office, 1959, pp. 75\u201391; reprinted in Lifschitz, V. (ed.) \u201cFormalizing Common Sense. Papers by John McCarthy\u201d, Ablex, Norwood, NJ, 1990, pp. 9\u201320."},{"key":"BF02391703_CR12","volume-title":"Qualitative reasoning about physical systems","author":"D. Weld","year":"1989","unstructured":"Weld, D. and de Kleer, J.Qualitative reasoning about physical systems. Morgan Kaufmann, San Mateo, CA, 1989."},{"key":"BF02391703_CR13","first-page":"441","volume":"17","author":"N. Wiener","year":"1914","unstructured":"Wiener, N.A contribution to the theory of relative position. In: \u201cProc. Cambridge Philos. Soc.\u201d17 (1914), pp. 441\u2013449.","journal-title":"Proc. Cambridge Philos. Soc."},{"key":"BF02391703_CR14","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1112\/plms\/s2-19.1.181","volume":"19","author":"N. Wiener","year":"1921","unstructured":"Wiener, N.A new theory of measurement: a study in the logic of mathematics. In: \u201cProceedings of the the London Mathematical Society\u201d19 (1921), pp. 181\u2013205.","journal-title":"Proceedings of the the London Mathematical Society"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02391703.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02391703\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02391703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T12:14:58Z","timestamp":1558095298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02391703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["BF02391703"],"URL":"https:\/\/doi.org\/10.1007\/bf02391703","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}