{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T19:06:23Z","timestamp":1648580783985},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1007\/bf00132736","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:42:58Z","timestamp":1099438978000},"page":"311-323","source":"Crossref","is-referenced-by-count":3,"title":["Managing tasks using an interval-based temporal logic"],"prefix":"10.1007","volume":"6","author":[{"given":"S. K.","family":"Das","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Hammond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen, ?Towards a general theory of action and time,? Artificial Intelligence, vol. 23, pp. 123?154, 1984.","journal-title":"Artificial Intelligence"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(91)90025-F","volume":"52","author":"F. Bacchus","year":"1991","unstructured":"F. Bacchus, J. Tenenberg, and J.A. Koomen, ?A non-reified temporal logic,? Artificial Intelligence, vol. 52, pp. 87?108, 1991.","journal-title":"Artificial Intelligence"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1136\/thx.48.1.1","volume":"48","author":"BTA","year":"1993","unstructured":"BTA, ?Guidelines on the management of asthma,? THORAX: The Journal of the British Thoratic Society, vol. 48, pp. 1?24, 1993.","journal-title":"THORAX: The Journal of the British Thoratic Society"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"J.P. Burgess, ?Basic Tense Logic,? Extensions of Classical Logic, of Handbook of Philosophical Logic, edited by D. Gabby and R. Guenthner, D. Reidel Publishing Company, vol. 2, pp. 89?133, 1985.","DOI":"10.1007\/978-94-009-6259-0_2"},{"key":"CR5","unstructured":"S.K. Das, Deductive Databases and Logic Programming, Addison-Wesley, 1992."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"S.K. Das and J. Fox, ?A logic for reasoning about safety in decision support systems,? in Proceeding of the Second European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, edited by Clarke et al., Springer-Verlag, November 1993, pp. 79?84.","DOI":"10.1007\/BFb0028185"},{"key":"CR7","unstructured":"S.K. Das, J. Fox, P. Hammond, and D. Elsdon, Making safe decisions, submitted for publication, 1995."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0169-023X(89)90021-9","volume":"4","author":"S.K. Das","year":"1989","unstructured":"S.K. Das and M.H. Williams, ?A path finding method for checking integrity in deductive databases,? Data and Knowledge Engineering, vol. 4, pp. 223?244, 1989.","journal-title":"Data and Knowledge Engineering"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri, and J. Pearl, ?Temporal constraint network,? Artificial Intelligence, vol. 49, pp. 61?95, 1991.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"E.A. Emerson and J.Y. Halpern, ?Sometime and not never revisited: On branching versus linear time temporal logic,? Journal of the Association of Computing Machinery, vol. 33, pp. 151?178, 1986.","journal-title":"Journal of the Association of Computing Machinery"},{"key":"CR11","unstructured":"J. Fox, S.K. Das, and D. Elsdon, ?Decision making and planning in autonomous systems: Theory, technology and applications,? in Proceeding of the ECAI Workshop on Decision Theory for DAI Applications, August 1994."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. Galton","year":"1990","unstructured":"A. Galton, ?A critical examination of Allen's theory of action and time,? Artificial Intelligence, vol. 42, pp. 159?188, 1990.","journal-title":"Artificial Intelligence"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J.Y. Halpern","year":"1991","unstructured":"J.Y. Halpern and Y. Shoham, ?A propositional modal logic of time intervals,? Journal of the Association for Computing Machinery, vol. 38, pp. 935?962, 1991.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"CR14","volume-title":"Technical Report RED Project","author":"P. Hammond","year":"1994","unstructured":"P. Hammond, ?Decision support and safety reasoning in oncology,? Technical Report RED Project, Imperial Cancer Research Fund, London, 1994."},{"key":"CR15","volume-title":"Technical Report RED Project","author":"P. Hammond","year":"1994","unstructured":"P. Hammond and D. Elsdon, ?Decision support and safety in asthma management,? Technical Report RED Project, Imperial Cancer Research Fund, London, 1994."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1055\/s-0038-1635046","volume":"33","author":"P. Hammond","year":"1994","unstructured":"P. Hammond, A.L. Harris, S.K. Das, and J.C. Wyatt, ?Safety and decision support in oncology,? Methods of Information in Medicine, vol. 33, pp. 371?381, 1994.","journal-title":"Methods of Information in Medicine"},{"key":"CR17","unstructured":"B.A. Haugh, ?Non-standard semantics for the method of temporal arguments,? in Proceedings of the 10th International Joint Conference on Artificial Intelligence, 1987, pp. 449?455."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"I.L. Humberstone, ?Interval semantics for tense logics: Some remarks,? Journal of Philosophical Logic, 1979.","DOI":"10.1007\/BF00258426"},{"key":"CR19","unstructured":"J.A.W. Kamp, Tense Logic and the Theory of Linear Order, Ph.D. Thesis, University of California, Los Angeles, 1968."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF00849933","volume":"7","author":"B. Knight","year":"1994","unstructured":"B. Knight and J. Ma, ?Time representation: A taxonomy of temporal models,? Artificial Intelligence Review, vol. 7, pp. 401?419, 1994.","journal-title":"Artificial Intelligence Review"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot, ?A logic-based calculus of events,? New Generation Computing, vol. 4, pp. 67?95, 1986.","journal-title":"New Generation Computing"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D.V. McDermott","year":"1982","unstructured":"D.V. McDermott, ?A temporal logic for reasoning about processes and plans,? Cognitive Science, vol. 6, pp. 101?155, 1982.","journal-title":"Cognitive Science"},{"key":"CR23","volume-title":"Technical Report","author":"MRC","year":"1990","unstructured":"MRC, ?Carboplatin based combination chemotherapy for good prognosis metastatic malignant teratoma,? Technical Report, MRC Cancer Trial Office, Cambridge, 1990."},{"key":"CR24","unstructured":"A.N. Prior, Time and Modality, Oxford University Press, 1957."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"N. Rescher and A. Urquhart, Temporal Logic, Springer-Verlag. 1971.","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(87)90052-X","volume":"33","author":"Y. Shoham","year":"1987","unstructured":"Y. Shoham, ?Temporal logics in AI: Semantical and ontological considerations,? Artificial Intelligence, vol. 33, pp. 89?104, 1987.","journal-title":"Artificial Intelligence"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"J. van Benthem, ?Time, logic and computation,? in Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (LNCS-354), Springer-Verlag, pp. 1?49, June 1988.","DOI":"10.1007\/BFb0013020"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"J. van Benthem, The Logic of Time, Dordrecht, 1991.","DOI":"10.1007\/978-94-015-7947-6"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Y. Venema, ?Expressiveness and completeness of an interval tense logic,? Notre Dame Journal of Formal Logic, vol. 31, pp. 529?547, 1990.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00132736.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00132736\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00132736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:22:30Z","timestamp":1585938150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00132736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["BF00132736"],"URL":"https:\/\/doi.org\/10.1007\/bf00132736","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}