{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T19:29:03Z","timestamp":1710271743007},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,2,22]],"date-time":"2016-02-22T00:00:00Z","timestamp":1456099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Basic Research Program of China","doi-asserted-by":"crossref","award":["2012CB720000"],"award-info":[{"award-number":["2012CB720000"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]},{"name":"the Civil Aerospace Research Project of China"},{"name":"the project of the National Natural Science Foundation of China","award":["60803051, 60874094"],"award-info":[{"award-number":["60803051, 60874094"]}]},{"name":"the Research Fund for the Doctoral Program of Higher Education","award":["20111101110001"],"award-info":[{"award-number":["20111101110001"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10796-016-9635-0","type":"journal-article","created":{"date-parts":[[2016,2,22]],"date-time":"2016-02-22T08:33:36Z","timestamp":1456130016000},"page":"855-868","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Geometry-based propagation of temporal constraints"],"prefix":"10.1007","volume":"19","author":[{"given":"Zhaoyu","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pingyuan","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lida","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wu","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,22]]},"reference":[{"issue":"3","key":"9635_CR1","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.artmed.2006.04.002","volume":"37","author":"W Aigner","year":"2006","unstructured":"Aigner, W., & Miksch, S. (2006). CareVis: integrated visualization of computerized protocols and temporal patient data. Artificial Intelligence in Medicine, 37(3), 203\u2013218.","journal-title":"Artificial Intelligence in Medicine"},{"issue":"11","key":"9635_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832\u2013843.","journal-title":"Communications of the ACM"},{"issue":"15","key":"9635_CR3","doi-asserted-by":"publisher","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., & Morabito, G. (2010). The internet of things: a survey. Computer Networks, 54(15), 2787\u20132805. doi: 10.1016\/j.comnet.2010.05.010 .","journal-title":"Computer Networks"},{"issue":"1","key":"9635_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2012010101","volume":"8","author":"P Barnaghi","year":"2012","unstructured":"Barnaghi, P., Wang, W., Henson, C., & Taylor, K. (2012). Semantics for the internet of things: early progress and back to the future. International Journal on Semantic Web and Information Systems (IJSWIS), 8(1), 1\u201321.","journal-title":"International Journal on Semantic Web and Information Systems (IJSWIS)"},{"key":"9635_CR5","unstructured":"Barreiro, J., Boyce, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., et al. (2012). EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization. Paper presented at the In Proc. of 4th International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS)."},{"issue":"2\u20133","key":"9635_CR6","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1009777711218","volume":"3","author":"S Belhadji","year":"1998","unstructured":"Belhadji, S., & Isli, A. (1998). Temporal constraint satisfaction techniques in job shop scheduling problem solving. Constraints, 3(2\u20133), 203\u2013211.","journal-title":"Constraints"},{"issue":"4","key":"9635_CR7","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1080\/23270012.2014.992985","volume":"1","author":"Z Bi","year":"2014","unstructured":"Bi, Z., & Cochran, D. (2014). Big data analytics with applications. Journal of Management Analytics, 1(4), 249\u2013265.","journal-title":"Journal of Management Analytics"},{"issue":"2","key":"9635_CR8","doi-asserted-by":"crossref","first-page":"1558","DOI":"10.1109\/TII.2014.2306391","volume":"10","author":"H Cai","year":"2014","unstructured":"Cai, H., Xu, L., Xu, B., & Cheng, X. (2014). IoT-based configurable information service platform for product lifecycle management. IEEE Transactions on Industrial Informatics, 10(2), 1558\u20131567.","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"9635_CR9","unstructured":"Chen, S.-s. (1990). Advances in spatial reasoning (Vol. 2): Intellect Books."},{"issue":"1","key":"9635_CR10","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1111\/j.1467-8640.2012.00430.x","volume":"29","author":"MC Cooper","year":"2013","unstructured":"Cooper, M. C., Maris, F., & R\u00e9gnier, P. (2013). Managing temporal cycles in planning problems requiring concurrency. Computational Intelligence, 29(1), 111\u2013128.","journal-title":"Computational Intelligence"},{"key":"9635_CR11","unstructured":"Cushing, W.A. (2012). When is temporal planning really temporal? Arizona State University."},{"key":"9635_CR12","unstructured":"Cushing, W., Kambhampati, S., & Weld, D.S. (2007) When is temporal planning really temporal? In Proceedings of the 20th international joint conference on Artifical intelligence (pp. 1852\u20131859): Morgan Kaufmann Publishers Inc."},{"issue":"1","key":"9635_CR13","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 constraint networks. Artificial Intelligence, 49(1), 61\u201395.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9635_CR14","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/S0933-3657(02)00011-8","volume":"25","author":"G Duftschmid","year":"2002","unstructured":"Duftschmid, G., Miksch, S., & Gall, W. (2002). Verification of temporal scheduling constraints in clinical practice guidelines. Artificial Intelligence in Medicine, 25(2), 93\u2013121.","journal-title":"Artificial Intelligence in Medicine"},{"key":"9635_CR15","unstructured":"Gayraud, T., & Authie, G. (1992) A parallel algorithm for the all pairs shortest path problem. In Proceedings of the International Conference on Parallel Computing."},{"key":"9635_CR16","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., & Traverso, P. (2004). Automated planning: theory & practice: Elsevier.","DOI":"10.1016\/B978-155860856-6\/50020-X"},{"issue":"3","key":"9635_CR17","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0020-0255(03)00170-1","volume":"155","author":"N Giannadakis","year":"2003","unstructured":"Giannadakis, N., Rowe, A., Ghanem, M., & Guo, Y.-k. (2003). InfoGrid: providing information integration for knowledge discovery. Information Sciences, 155(3), 199\u2013226.","journal-title":"Information Sciences"},{"issue":"2","key":"9635_CR18","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s10796-014-9492-7","volume":"17","author":"S Li","year":"2015","unstructured":"Li, S., Xu, L. D., & Zhao, S. (2015). The internet of things: a survey. Information Systems Frontiers, 17(2), 243\u2013259.","journal-title":"Information Systems Frontiers"},{"issue":"6","key":"9635_CR19","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1007\/s11390-011-1189-5","volume":"26","author":"H-D Ma","year":"2011","unstructured":"Ma, H.-D. (2011). Internet of things: objectives and scientific challenges. Journal of Computer Science and Technology, 26(6), 919\u2013924.","journal-title":"Journal of Computer Science and Technology"},{"issue":"1","key":"9635_CR20","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence, 8(1), 99\u2013118.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9635_CR21","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"AK Mackworth","year":"1985","unstructured":"Mackworth, A. K., & Freuder, E. C. (1985). The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25(1), 65\u201374.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"9635_CR22","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1145\/503339.503342","volume":"4","author":"P Ning","year":"2001","unstructured":"Ning, P., Jajodia, S., & Wang, X. S. (2001). Abstraction-based intrusion detection in distributed environments. ACM Transactions on Information and System Security (TISSEC), 4(4), 407\u2013452.","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"9635_CR23","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1613\/jair.3509","volume":"43","author":"L Planken","year":"2012","unstructured":"Planken, L., De Weerdt, M., & Van Der Krogt, R. (2012). Computing all-pairs shortest paths by leveraging low treewidth. Journal Artificial Intelligence Research (JAIR), 43, 353\u2013388.","journal-title":"Journal Artificial Intelligence Research (JAIR)"},{"key":"9635_CR24","unstructured":"Pujari, A.K., Kumari, G.V., & Sattar, A. (1999). INDU: An interval & duration network. In Advanced topics in artificial intelligence (pp. 291\u2013303): Springer."},{"key":"9635_CR25","unstructured":"Ranise, S., & Tinelli, C. (2003) The SMT-LIB format: An initial proposal. In Proceedings of the 1st International Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR\u201903), Miami, Florida (pp. 94\u2013111)."},{"key":"9635_CR26","unstructured":"Rit, J.-F. (1986) Propagating temporal constraints for scheduling. In AAAI (Vol. 86, pp. 383\u2013388)"},{"issue":"3","key":"9635_CR27","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1002\/sres.2283","volume":"31","author":"W Tan","year":"2014","unstructured":"Tan, W., Chen, S., Li, J., Li, L., Wang, T., & Hu, X. (2014). A trust evaluation model for e-learning. Systems Research and Behavioral Science, 31(3), 353\u2013365.","journal-title":"Systems Research and Behavioral Science"},{"key":"9635_CR28","unstructured":"Tsang, E. (2014). Foundations of constraint satisfaction: the classic text: BoD\u2013Books on Demand."},{"key":"9635_CR29","unstructured":"Ullberg, J., & Pecora, F. (2012) Propagating temporal constraints on sets of intervals. In Proceedings of ICAPS Workshop on Planning and Scheduling with Timelines (PSTL), Atibaia, Brazil (pp. 25\u201329)"},{"key":"9635_CR30","unstructured":"Vermesan, O., & Friess, P. (2014). Internet of things-from research and innovation to market deployment: River Publishers."},{"issue":"2","key":"9635_CR31","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10796-014-9489-2","volume":"17","author":"A Whitmore","year":"2015","unstructured":"Whitmore, A., Agarwal, A., & Xu, L. (2015). The Internet of things-a survey of topics and trends. Information Systems Frontiers, 17(2), 261\u2013274.","journal-title":"Information Systems Frontiers"},{"key":"9635_CR32","first-page":"188","volume":"10","author":"R Xu","year":"2004","unstructured":"Xu, R. (2004). Dynamic planning and scheduling algorithm based on temporal constraint network. Computer Integrated Manufacturing Systems, 10, 188\u2013194.","journal-title":"Computer Integrated Manufacturing Systems"},{"issue":"3","key":"9635_CR33","first-page":"276","volume":"1","author":"L Xu","year":"2014","unstructured":"Xu, L. (2014). Engineering informatics: state of the art and future trends. Frontiers of Engineering Management, 1(3), 276\u2013288.","journal-title":"Frontiers of Engineering Management"},{"issue":"2","key":"9635_CR34","doi-asserted-by":"crossref","first-page":"1578","DOI":"10.1109\/TII.2014.2306382","volume":"10","author":"B Xu","year":"2014","unstructured":"Xu, B., Xu, L., Cai, H., & Xie, C. (2014a). Ubiquitous data accessing method in IoT-based information system for emergency medical services. IEEE Transactions on Industrial Informatics, 10(2), 1578\u20131586.","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"4","key":"9635_CR35","doi-asserted-by":"crossref","first-page":"2233","DOI":"10.1109\/TII.2014.2300753","volume":"10","author":"L Xu","year":"2014","unstructured":"Xu, L., He, W., & Li, S. (2014b). Internet of things in industries: a survey. IEEE Transactions on Industrial Informatics, 10(4), 2233\u20132243.","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"2","key":"9635_CR36","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1080\/23270012.2015.1029550","volume":"2","author":"H Yan","year":"2015","unstructured":"Yan, H., Xu, L., Bi, Z., Pang, Z., Zhang, J., & Chen, Y. (2015). An emerging technology \u2013 wearable wireless sensor networks with applications in human health condition monitoring. Journal of Management Analytics, 2(2), 121\u2013137.","journal-title":"Journal of Management Analytics"},{"key":"9635_CR37","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10799-014-0210-4","volume":"16","author":"X Yu","year":"2015","unstructured":"Yu, X., Nguyen, B., Han, S., Chen, H., & Li, F. (2015). Electronic CRM and perceptions of unfairness. Information Technology & Management, 16, 351\u2013362.","journal-title":"Information Technology & Management"}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-016-9635-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-016-9635-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-016-9635-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-016-9635-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T13:55:34Z","timestamp":1589637334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-016-9635-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,22]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["9635"],"URL":"https:\/\/doi.org\/10.1007\/s10796-016-9635-0","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"value":"1387-3326","type":"print"},{"value":"1572-9419","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,22]]}}}