{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T17:32:15Z","timestamp":1744738335569},"reference-count":45,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1080\/088395102753365771","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T15:31:10Z","timestamp":1027697470000},"page":"1-27","source":"Crossref","is-referenced-by-count":12,"title":["Propagating temporal relations of intervals by matrix"],"prefix":"10.1080","volume":"16","author":[{"given":"Shichao","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Chengqi","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2010,11,30]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"Abadi M.","year":"1989","journal-title":"Journal of Symbolic Computation"},{"issue":"11","key":"CIT0002","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"Alien J.","year":"1983","journal-title":"Commun. ACM"},{"key":"CIT0003","first-page":"741","volume-title":"Proceedings of IJCAI'83","author":"Alien J.","year":"1983"},{"issue":"2","key":"CIT0004","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"Alien J.","year":"1984","journal-title":"Artificial Intelligence"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Van Alien, T., Delgrande, J. P. and Gupta, A. 1998.Point-based approaches to qualitative temporal reasoning305\u2013316. PRICAI","DOI":"10.1007\/BFb0095279"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Barringer, H., Kuiper, R. and Pnueli, A. Now you may compose temporal logic specifications. Proceedings of the 16th ACM Symposium on Theory of Computing. New York, ACM. pp.51\u201363.","DOI":"10.1145\/800057.808665"},{"issue":"3","key":"CIT0007","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/152947.152952","volume":"4","author":"Boddy M. S.","year":"1993","journal-title":"SIGART Bulletin"},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"Cerrito, S. and Mayer, M.C. Using linear temporal logic to model and solve planning problems. Proceedings of Artificial Intelligence: Methodology. Systems, and Applications. pp.141\u2013152.","DOI":"10.1007\/BFb0057441"},{"issue":"2","key":"CIT0009","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/12.262123","volume":"43","author":"Cyre W. R.","year":"1994","journal-title":"IEEE Transactions on Computers"},{"key":"CIT0010","unstructured":"Delgrande, James P. and Gupta, A. A representation for efficient temporal reasoning. Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence. Vol. 1, pp.381\u2013388."},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0004-3702(97)00021-0","volume":"93","author":"Drakengren T.","year":"1997","journal-title":"Artificial Intelligence"},{"key":"CIT0012","unstructured":"Ferguson, G. and James, F. Alien. TRIPS: The rochester interactive planning system. Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence. pp.906\u2013907."},{"issue":"1","key":"CIT0013","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"Freksa C.","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"1","key":"CIT0014","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0255(91)90042-S","volume":"54","author":"Gadia S.","year":"1991","journal-title":"Information Sciences"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Gerevini, A. and Schubert, L.K. 1993.Efficient temporal reasoning through timegraphs648\u2013654. IJCAI","DOI":"10.1145\/152947.152953"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0004-3702(94)00016-T","volume":"74","author":"Gerevini A.","year":"1995","journal-title":"Artificial Intelligence"},{"key":"CIT0017","unstructured":"Gerevini, A. and Serina, I. Fast planning through greedy action graphs. Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence. pp.503\u2013510."},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(94)00070-0","volume":"80","author":"Haddawy P.","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"4","key":"CIT0019","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"Halpern J.","year":"1991","journal-title":"J. ACM"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0743-1066(93)90016-A","volume":"15","author":"Hrycej T.","year":"1993","journal-title":"The Journal of Logic Programming"},{"key":"CIT0021","unstructured":"Huang, Y., Selman, B. and Kautz, H.A. Control knowledge in planning: benefits and trade-offs. Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence. pp.511\u2013517."},{"key":"CIT0022","unstructured":"Kabanza, F. Synchronizing multiagent plans using temporal logic specifications. Proceedings of ICMAS-95. San Francisco, CA. pp.217\u2013224."},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0004-3702(94)00021-R","volume":"75","author":"Kraus S.","year":"1995","journal-title":"Artificial Intelligence"},{"issue":"3","key":"CIT0024","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/176584.176585","volume":"41","author":"Ladkin P.","year":"1994","journal-title":"J.of ACM"},{"issue":"1","key":"CIT0025","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1023\/A:1018946309329","volume":"22","author":"Lamma E.","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"CIT0026","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(95)00109-3","volume":"87","author":"Meiri I.","year":"1996","journal-title":"Artificial Intelligence"},{"key":"CIT0027","doi-asserted-by":"crossref","unstructured":"Moreira, V. P. and Edelweiss, N. Schema versioning: queries to the generalized temporal database system. Workshop Proceedings of International Conference and Workshop on Database and Expert Systems Applications. pp.458\u2013459.","DOI":"10.1109\/DEXA.1999.795208"},{"issue":"2","key":"CIT0028","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1009769509401","volume":"3","author":"Mouhoub M.","year":"1998","journal-title":"Constraints"},{"issue":"1","key":"CIT0029","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"Nebel B.","year":"1995","journal-title":"J. of ACM"},{"issue":"3","key":"CIT0030","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00137869","volume":"1","author":"Nebel B.","year":"1997","journal-title":"Constraints"},{"issue":"1","key":"CIT0031","first-page":"325","volume":"46","author":"Pirri F.","year":"1995","journal-title":"J.of ACM"},{"key":"CIT0032","first-page":"1067","volume":"2","author":"Schwalb E.","year":"1994","journal-title":"AAAI"},{"key":"CIT0033","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0004-3702(97)00009-X","volume":"93","author":"Schwalb E.","year":"1997","journal-title":"Artificial Intelligence"},{"key":"CIT0034","unstructured":"Schwalb, E. A new unification method for temporal reasoning with constraints. Proceedings of National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence. pp.165\u2013171."},{"key":"CIT0035","first-page":"231","volume":"72","author":"Shoham Y.","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"2","key":"CIT0036","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/22952.22956","volume":"12","author":"Snodgrass R.","year":"1987","journal-title":"Database Systems"},{"key":"CIT0037","first-page":"1247","author":"Staab S.","year":"1999","journal-title":"IJCAI"},{"key":"CIT0038","first-page":"1031","volume":"85","author":"Stuart C.","year":"1985","journal-title":"Proceedings of IJCAI"},{"key":"CIT0039","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00245021","volume":"5","author":"Tang T.","year":"1989","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"CIT0040","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/AIC-1991-4403","volume":"4","author":"Tolba H.","year":"1991","journal-title":"AI Communications"},{"issue":"2","key":"CIT0041","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/210330.210336","volume":"5","author":"Tuzhilin A.","year":"1995","journal-title":"ACM Trans, on Modelling end Computer Simulation"},{"issue":"1","key":"CIT0042","first-page":"4","volume":"7","author":"Vila L.","year":"1994","journal-title":"Al Communications"},{"key":"CIT0043","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0004-3702(94)00093-X","volume":"83","author":"Vila L.","year":"1996","journal-title":"Artificial Intelligence"},{"key":"CIT0044","unstructured":"Vilain, M. and Kautz, H. Constraint propagation algorithms for temporal reasoning. Proceedings of AAAI. San Diego, CA. Vol. 86, pp.377\u2013382. Morgan-Kaufmann."},{"issue":"3","key":"CIT0045","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/152947.152954","volume":"4","author":"Yampratoom E","year":"1993","journal-title":"SIGART Bulletin"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/088395102753365771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T21:53:12Z","timestamp":1583272392000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/088395102753365771"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":45,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2010,11,30]]},"published-print":{"date-parts":[[2002,1]]}},"alternative-id":["10.1080\/088395102753365771"],"URL":"https:\/\/doi.org\/10.1080\/088395102753365771","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}