{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T05:18:12Z","timestamp":1709443092340},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00849933","type":"journal-article","created":{"date-parts":[[2004,12,22]],"date-time":"2004-12-22T01:05:19Z","timestamp":1103677519000},"page":"401-419","source":"Crossref","is-referenced-by-count":14,"title":["Time representation: A taxonomy of temporal models"],"prefix":"10.1007","volume":"7","author":[{"given":"B.","family":"Knight","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Allen, J. F. (1981). An Interval-Based Representation of Temporal Knowledge.Proc. 7th Int. Joint Conf. on AI, pp. 221?226."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"Allen, J. F. (1983). Maintaining Knowledge about Temporal Intervals.Communication of ACM 26: 123?154.","journal-title":"Communication of ACM"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1111\/j.1467-8640.1989.tb00329.x","volume":"5","author":"J. F. Allen","year":"1989","unstructured":"Allen, J. F. & Hayes P. J. (1989). Moments and Points in an Interval-based Temporal-based Logic.Comput. Intell. (Canada)5: 225?238.","journal-title":"Comput. Intell."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(91)90025-F","volume":"52","author":"F. Bacchus","year":"1991","unstructured":"Bacchus F., Tenenberg J. & Koomen J. A. (1991). A Non-Reified Temporal Logic.Artificial Intelligence 52: 87?108.","journal-title":"Artificial Intelligence"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P. V. Beek","year":"1992","unstructured":"Beek, P. V. (1992). Reasoning About Qualitative Temporal Information.Artificial Intelligence 58: 297?326.","journal-title":"Artificial Intelligence"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00118997","volume":"1","author":"D. Bernard","year":"1991","unstructured":"Bernard, D., Borillo, M. & Gaume, B. (1991). From Event Calculus to the Scheduling Problem. Semantics of Action and Temporal Reasoning in Aircraft Maintenance.Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies 1: 195?221.","journal-title":"Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies"},{"key":"CR7","unstructured":"Borillo, M. & Gaume, B. (1990). Spatiotemporal Reasoning Based on an Extension of Event Calculus. In Kohonen, T. & Fogelman-Soulie F. (eds.)Proceedings of the Third COGNITIVE Symposium, 337?344. Madrid, Spain."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(72)90040-9","volume":"3","author":"B. C. Bruce","year":"1972","unstructured":"Bruce, B. C. (1972). A Model for Temporal References and Application in a Question Answering Program.Artificial Intelligence 3: 1?25.","journal-title":"Artificial Intelligence"},{"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":"Dechter, R., Meiri, I. & Pearl, J. (1991). Temporal Constrain Network.Artificial Intelligence 49: 61?95.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/0270-0255(83)90016-7","volume":"4","author":"K. H. Funk","year":"1983","unstructured":"Funk, K. H. (1983). Theories, Models, And Human Machine Systems.Mathematical Modelling 4: 567?587.","journal-title":"Mathematical Modelling"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. Galton","year":"1990","unstructured":"Galton, A. (1990). A Critical Examination of Allen's Theory of Action and Time.Artificial Intelligence 42: 159?188.","journal-title":"Artificial Intelligence"},{"key":"CR12","unstructured":"Galton, A. (1990).Logic for Information Technology. John Wiley & Sons Ltd."},{"key":"CR13","unstructured":"Hayes, P. (1978). The Naive Physics Manifesto. In Michie D. (ed.)Expert Systems in the Microelectronic Age. Edinburgh."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(77)90015-7","volume":"9","author":"K. M. Kahn","year":"1977","unstructured":"Kahn, K. M. & Gorry, A. G. (1977). Mechanizing Temporal Knowledge.Artificial Intelligence 9: 87?108.","journal-title":"Artificial Intelligence"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/AIC-1992-5204","volume":"5","author":"B. Knight","year":"1992","unstructured":"Knight, B. & Ma, J. (1992). A General Temporal Model Supporting Duration Reasoning.AI Communication Journal 5: 75?84.","journal-title":"AI Communication Journal"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0306-4379(93)90008-O","volume":"18","author":"B. Knight","year":"1993","unstructured":"Knight, B. & Ma, J. (1993). An Extended Temporal System Based on Points and Intervals.Information System 18: 111?120.","journal-title":"Information System"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"Kowalski, R. A. & Sergot, M. J. (1986). A Logic-Based Calculus of Events.New Generation Computing 4: 67?95.","journal-title":"New Generation Computing"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Kowalski, R. (1992). Database Updates In The Event Calculus.The Journal of Logic Programming, 121?146.","DOI":"10.1016\/0743-1066(92)90041-Z"},{"key":"CR19","unstructured":"Ma, J. & Knight, B. (in press). A General Temporal Theory.The Computer Journal."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"McCarthy, J. (1963). Situation, Actions, and Causal Laws, Memo 2, Stanford Artificial Intelligence Project.","DOI":"10.21236\/AD0785031"},{"key":"CR21","unstructured":"McCarthy, J. & Hayes, P. J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Meltzer B. & Michie D. (eds),Machine Intelligence, 463?502. Edinburgh U.P."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. V. McDermott","year":"1982","unstructured":"McDermott, D. V. (1982). A Temporal Logic for Reasoning about Processes and Plans.Cog. Sci. 6: 101?155.","journal-title":"Cog. Sci."},{"key":"CR23","unstructured":"Sadri, F. (1987). Three Recent Approaches to Temporal Reasoning. In Galton, A. (ed.)Temporal Logic and their Applications, 121?168. Academic Press."},{"key":"CR24","first-page":"183","volume-title":"Advances in Artificial Intelligence ? II","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y. (1987a). Reified Temporal Logics: Semantical and Ontological Considerations. In Du Boulay, B., Hogg D. & Steels L. (eds.)Advances in Artificial Intelligence ? II, 183?190. North-Holland: Elsevier Science Publishers B.V."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(87)90052-X","volume":"33","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y. (1987b). Temporal Logics in AI: Semantical and Ontological Considerations.Artificial Intelligence 33: 89?104.","journal-title":"Artificial Intelligence"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Suppes, P. (1961). A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences. InThe Concept and Role of the Model in Mathematics and Natural and Social Sciences. D. Reidel Publ. Co.","DOI":"10.1007\/978-94-010-3667-2_16"},{"key":"CR27","unstructured":"Vilain, M. V. (1982). A System for Reasoning about Time.Proc. AAAI-82, 197?201. Pittsburgh, PA."},{"key":"CR28","unstructured":"Vilain, M. B. & Kautz, H. (1986). Constraint Propagation Algorithms for Temporal Reasoning.Pro. AAAI-86, 377?382."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00849933.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00849933\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00849933","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T21:32:43Z","timestamp":1586035963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00849933"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":28,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00849933"],"URL":"https:\/\/doi.org\/10.1007\/bf00849933","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}