{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:16:26Z","timestamp":1725804986617},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115078"},{"type":"electronic","value":"9783319115085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11508-5_21","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T08:26:24Z","timestamp":1410164784000},"page":"251-264","source":"Crossref","is-referenced-by-count":3,"title":["Integrity Constraints for Probabilistic Spatio-Temporal Knowledgebases"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Parisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Grant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0022-0000(02)00035-1","volume":"66","author":"P.K. Agarwal","year":"2003","unstructured":"Agarwal, P.K., Arge, L., Erickson, J.: Indexing moving points. J. Comput. Syst. Sci.\u00a066(1), 207\u2013243 (2003)","journal-title":"J. Comput. Syst. Sci."},{"key":"21_CR2","unstructured":"Akdere, M., \u00c7etintemel, U., Riondato, M., Upfal, E., Zdonik, S.B.: The case for predictive database systems: Opportunities and challenges. In: CIDR, pp. 167\u2013174 (2011)"},{"issue":"1-2","key":"21_CR3","first-page":"1","volume":"46","author":"A.G. Cohn","year":"2001","unstructured":"Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundam. Inform.\u00a046(1-2), 1\u201329 (2001)","journal-title":"Fundam. Inform."},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1093\/logcom\/exs054","volume":"23","author":"D. Doder","year":"2013","unstructured":"Doder, D., Grant, J., Ognjanovi\u0107, Z.: Probabilistic logics for objects located in space and time. J. of Logic and Computation\u00a023(3), 487\u2013515 (2013)","journal-title":"J. of Logic and Computation"},{"key":"21_CR5","unstructured":"Fazzinga, B., Flesca, S., Furfaro, F., Parisi, F.: Cleaning trajectory data of RFID-monitored objects through conditioning under integrity constraints. In: Int. Conf. on Extending Database Technology (EDBT), pp. 379\u2013390 (2014)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Fazzinga, B., Flesca, S., Furfaro, F., Parisi, F.: Offline cleaning of RFID trajectory data. In: Int. Conf. on Scientific and Statistical Database Management (SSDBM), p. 5 (2014)","DOI":"10.1145\/2618243.2618271"},{"issue":"7","key":"21_CR7","doi-asserted-by":"publisher","first-page":"1448","DOI":"10.1016\/j.jcss.2014.04.026","volume":"80","author":"S. Flesca","year":"2014","unstructured":"Flesca, S., Furfaro, F., Parisi, F.: Consistency checking and querying in probabilistic databases under integrity constraints. J. Comput. Syst. Sci.\u00a080(7), 1448\u20131489 (2014)","journal-title":"J. Comput. Syst. Sci."},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1613\/jair.1537","volume":"23","author":"D. Gabelaia","year":"2005","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, \u00c1., Wolter, F., Zakharyaschev, M.: Combining spatial and temporal logics: Expressiveness vs. complexity. J. Artif. Intell. Res.\u00a023, 167\u2013243 (2005)","journal-title":"J. Artif. Intell. Res."},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-40381-1_20","volume-title":"Scalable Uncertainty Management","author":"J. Grant","year":"2013","unstructured":"Grant, J., Molinaro, C., Parisi, F.: Aggregate count queries in probabilistic spatio-temporal databases. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol.\u00a08078, pp. 255\u2013268. Springer, Heidelberg (2013)"},{"issue":"1","key":"21_CR10","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.artint.2009.10.002","volume":"174","author":"J. Grant","year":"2010","unstructured":"Grant, J., Parisi, F., Parker, A., Subrahmanian, V.S.: An agm-style belief revision mechanism for probabilistic spatio-temporal logics. Artif. Intell.\u00a0174(1), 72\u2013104 (2010)","journal-title":"Artif. Intell."},{"key":"21_CR11","series-title":"STUDFUZZ","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-37509-5_1","volume-title":"Advances in Probabilistic Databases for Uncertain Information Management","author":"J. Grant","year":"2013","unstructured":"Grant, J., Parisi, F., Subrahmanian, V.S.: Research in probabilistic spatiotemporal databases: The spot framework. In: Ma, Z., Yan, L. (eds.) Advances in Probabilistic Databases. STUDFUZZ, vol.\u00a0304, pp. 1\u201322. Springer, Heidelberg (2013)"},{"key":"21_CR12","unstructured":"Hammel, T., Rogers, T.J., Yetso, B.: Fusing live sensor data into situational multimedia views. In: Multimedia Information Systems, pp. 145\u2013156 (2003)"},{"issue":"2","key":"21_CR13","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.tcs.2005.09.067","volume":"351","author":"A. Knapp","year":"2006","unstructured":"Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and refinement of mobile systems in mtla and mobile uml. Theor. Comput. Sci.\u00a0351(2), 184\u2013202 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Li, S.Z., Jain, A.K. (eds.): Handbook of Face Recognition, 2nd edn. Springer (2011)","DOI":"10.1007\/978-0-85729-932-1"},{"issue":"3","key":"21_CR15","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Trans. on Computational Logic\u00a02(3), 289\u2013339 (2001)","journal-title":"ACM Trans. on Computational Logic"},{"key":"21_CR16","unstructured":"Mittu, R., Ross, R.: Building upon the coalitions agent experiment (CoAx) - integration of multimedia information in gccs-m using impact. In: Multimedia Information Systems, pp. 35\u201344 (2003)"},{"key":"21_CR17","unstructured":"Muller, P.: A qualitative theory of motion based on spatio-temporal primitives. In: Int. Conf. on Principles of Knowledge Representation and Reasoning (KR), pp. 131\u2013143 (1998)"},{"key":"21_CR18","unstructured":"Papadimitriou, C.H., Steiglitz, K.: Combinatorial optimization: algorithms and complexity. Prentice-Hall, Inc., Upper Saddle River (1982)"},{"key":"21_CR19","series-title":"LNCS","first-page":"265","volume-title":"SUM 2014","author":"F. Parisi","year":"2014","unstructured":"Parisi, F., Grant, J.: Repairs and consistent answers for inconsistent probabilistic spatio-temporal databases. In: Straccia, U., Cali, A. (eds.) SUM 2014. LNCS, vol.\u00a08720, pp. 265\u2013279. Springer, Heidelberg (2014)"},{"key":"21_CR20","series-title":"STUDFUZZ","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-14755-5_12","volume-title":"Methods for Handling Imperfect Spatial Information","author":"F. Parisi","year":"2010","unstructured":"Parisi, F., Parker, A., Grant, J., Subrahmanian, V.S.: Scaling cautious selection in spatial probabilistic temporal databases. In: Jeansoulin, R., Papini, O., Prade, H., Schockaert, S. (eds.) Methods for Handling Imperfect Spatial Information. STUDFUZZ, vol.\u00a0256, pp. 307\u2013340. Springer, Heidelberg (2010)"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-642-23963-2_29","volume-title":"Scalable Uncertainty Management","author":"F. Parisi","year":"2011","unstructured":"Parisi, F., Sliva, A., Subrahmanian, V.S.: Embedding forecast operators in databases. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS, vol.\u00a06929, pp. 373\u2013386. Springer, Heidelberg (2011)"},{"issue":"7","key":"21_CR22","doi-asserted-by":"publisher","first-page":"827","DOI":"10.1016\/j.ijar.2013.01.010","volume":"54","author":"F. Parisi","year":"2013","unstructured":"Parisi, F., Sliva, A., Subrahmanian, V.S.: A temporal database forecasting algebra. Int. J. of Approximate Reasoning\u00a054(7), 827\u2013860 (2013)","journal-title":"Int. J. of Approximate Reasoning"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Parker, A., Subrahmanian, V.S., Grant, J.: A logical formulation of probabilistic spatial databases. IEEE TKDE, 1541\u20131556 (2007)","DOI":"10.1109\/TKDE.2007.190631"},{"issue":"1","key":"21_CR24","first-page":"92","volume":"21","author":"A. Parker","year":"2009","unstructured":"Parker, A., Infantes, G., Grant, J., Subrahmanian, V.S.: Spot databases: Efficient consistency checking and optimistic selection in probabilistic spatial databases. IEEE TKDE\u00a021(1), 92\u2013107 (2009)","journal-title":"IEEE TKDE"},{"key":"21_CR25","unstructured":"Parker, A., Infantes, G., Subrahmanian, V.S., Grant, J.: An agm-based belief revision mechanism for probabilistic spatio-temporal logics. In: AAAI, pp. 511\u2013516 (2008)"},{"key":"21_CR26","unstructured":"Parker, A., Yaman, F., Nau, D.S., Subrahmanian, V.S.: Probabilistic go theories. In: Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 501\u2013506 (2007)"},{"issue":"1","key":"21_CR27","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/1132863.1132870","volume":"31","author":"M. Pelanis","year":"2006","unstructured":"Pelanis, M., Saltenis, S., Jensen, C.S.: Indexing the past, present, and anticipated future positions of moving objects. ACM Trans. Database Syst.\u00a031(1), 255\u2013298 (2006)","journal-title":"ACM Trans. Database Syst."},{"key":"21_CR28","unstructured":"Southey, F., Loh, W., Wilkinson, D.F.: Inferring complex agent motions from partial trajectory observations. In: IJCAI, pp. 2631\u20132637 (2007)"},{"key":"21_CR29","unstructured":"Tao, Y., Cheng, R., Xiao, X., Ngai, W.K., Kao, B., Prabhakar, S.: Indexing multi-dimensional uncertain data with arbitrary probability density functions. In: VLDB, pp. 922\u2013933 (2005)"},{"key":"21_CR30","unstructured":"Wolter, F., Zakharyaschev, M.: Spatio-temporal representation and reasoning based on RCC-8. In: KR, pp. 3\u201314 (2000)"},{"key":"21_CR31","unstructured":"Yaman, F., Nau, D., Subrahmanian, V.: A motion closed world assumption. In: Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 621\u2013626 (2005)"},{"key":"21_CR32","unstructured":"Yaman, F., Nau, D.S., Subrahmanian, V.S.: A logic of motion. In: KR, pp. 85\u201394 (2004)"},{"key":"21_CR33","unstructured":"Yaman, F., Nau, D.S., Subrahmanian, V.S.: Going far, logically. In: Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 615\u2013620 (2005)"},{"issue":"1","key":"21_CR34","first-page":"1198","volume":"2","author":"M. Zhang","year":"2009","unstructured":"Zhang, M., Chen, S., Jensen, C.S., Ooi, B.C., Zhang, Z.: Effectively indexing uncertain moving objects for predictive queries. PVLDB\u00a02(1), 1198\u20131209 (2009)","journal-title":"PVLDB"},{"key":"21_CR35","doi-asserted-by":"crossref","unstructured":"Zheng, K., Trajcevski, G., Zhou, X., Scheuermann, P.: Probabilistic range queries for uncertain trajectories on road networks. In: EDBT, pp. 283\u2013294 (2011)","DOI":"10.1145\/1951365.1951400"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11508-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T16:12:25Z","timestamp":1558973545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11508-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115078","9783319115085"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11508-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}