{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:54:10Z","timestamp":1725890050744},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319615806"},{"type":"electronic","value":"9783319615813"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61581-3_41","type":"book-chapter","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T02:56:38Z","timestamp":1497408998000},"page":"459-469","source":"Crossref","is-referenced-by-count":0,"title":["Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints"],"prefix":"10.1007","author":[{"given":"John","family":"Grant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Parisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,15]]},"reference":[{"issue":"1","key":"41_CR1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0022-0000(02)00035-1","volume":"66","author":"PK Agarwal","year":"2003","unstructured":"Agarwal, P.K., Arge, L., Erickson, J.: Indexing moving points. J. Comput. Syst. Sci. 66(1), 207\u2013243 (2003)","journal-title":"J. Comput. Syst. Sci."},{"key":"41_CR2","doi-asserted-by":"crossref","DOI":"10.1201\/9781420071986","volume-title":"Location-Based Services Handbook: Applications, Technologies, and Security","author":"SA Ahson","year":"2010","unstructured":"Ahson, S.A., Ilyas, M.: Location-Based Services Handbook: Applications, Technologies, and Security. CRC Press, Hoboken (2010)"},{"key":"41_CR3","unstructured":"Akdere, M., Cetintemel, U., Riondato, M., Upfal, E., Zdonik, S.B.: The case for predictive database systems: opportunities and challenges. In: Proceedings of the 5th Biennial Conference on Innovative Data Systems Research (CIDR), pp. 167\u2013174 (2011)"},{"issue":"4","key":"41_CR4","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/j.pmcj.2010.01.003","volume":"6","author":"MA Bayir","year":"2010","unstructured":"Bayir, M.A., Demirbas, M., Eagle, N.: Mobility profiler: a framework for discovering mobility profiles of cell phone users. Pervasive Mob. Comput. 6(4), 435\u2013454 (2010)","journal-title":"Pervasive Mob. Comput."},{"issue":"1\u20132","key":"41_CR5","first-page":"1","volume":"46","author":"AG Cohn","year":"2001","unstructured":"Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae 46(1\u20132), 1\u201329 (2001)","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"41_CR6","doi-asserted-by":"crossref","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. Logic Comput. 23(3), 487\u2013515 (2013)","journal-title":"J. Logic Comput."},{"key":"41_CR7","unstructured":"Dousson, C., Maigat, P.L.: Chronicle recognition improvement using temporal focusing and hierarchization. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 324\u2013329 (2007)"},{"key":"41_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. 23, 167\u2013243 (2005)","journal-title":"J. Artif. Intell. Res."},{"key":"41_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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 (LNAI), vol. 8078, pp. 255\u2013268. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40381-1_20"},{"issue":"1","key":"41_CR10","doi-asserted-by":"crossref","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. 174(1), 72\u2013104 (2010)","journal-title":"Artif. Intell."},{"key":"41_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-37509-5_1","volume-title":"Advances in Probabilistic Databases for Uncertain Information Management, Studies in Fuzziness and Soft Computing","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 for Uncertain Information Management, Studies in Fuzziness and Soft Computing, vol. 304, pp. 1\u201322. Springer, Heidelberg (2013)"},{"key":"41_CR12","unstructured":"Hammel, T., Rogers, T.J., Yetso, B.: Fusing live sensor data into situational multimedia views. In: Proceedings of International Workshop on Multimedia Information Systems, pp. 145\u2013156 (2003)"},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"Karbassi, A., Barth, M.: Vehicle route prediction and time of arrival estimation techniques for improved transportation system management. In: Proceedings of the 2013 IEEE Intelligent Vehicles Symposium, pp. 511\u2013516 (2003)","DOI":"10.1109\/IVS.2003.1212964"},{"key":"41_CR14","doi-asserted-by":"crossref","DOI":"10.1201\/b14940","volume-title":"Advanced Location-Based Technologies and Services","author":"HA Karimi","year":"2013","unstructured":"Karimi, H.A.: Advanced Location-Based Technologies and Services. CRC Press, Boca Raton (2013)"},{"issue":"4","key":"41_CR15","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s00779-005-0044-5","volume":"10","author":"S Kurkovsky","year":"2006","unstructured":"Kurkovsky, S., Harihar, K.: Using ubiquitous computing in interactive mobile marketing. Pers. Ubiquit. Comput. 10(4), 227\u2013240 (2006)","journal-title":"Pers. Ubiquit. Comput."},{"key":"41_CR16","unstructured":"MarketsandMarkets (2016). http:\/\/www.marketsandmarkets.com\/Market-Reports\/location-based-service-market-96994431.html"},{"key":"41_CR17","unstructured":"Mittu, R., Ross, R.: Building upon the coalitions agent experiment (CoAX) - integration of multimedia information in GCCS-M using impact. In: Proceedings of International Workshop on Multimedia Information Systems (MIS), pp. 35\u201344 (2003)"},{"key":"41_CR18","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1613\/jair.4883","volume":"55","author":"F Parisi","year":"2016","unstructured":"Parisi, F., Grant, J.: Knowledge representation in probabilistic spatio-temporal knowledge bases. J. Artif. Intell. Res. (JAIR) 55, 743\u2013798 (2016)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"41_CR19","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.ijar.2017.02.003","volume":"84","author":"F Parisi","year":"2017","unstructured":"Parisi, F., Grant, J.: On repairing and querying inconsistent probabilistic spatio-temporal databases. Int. J. Approx. Reason. (IJAR) 84, 41\u201374 (2017)","journal-title":"Int. J. Approx. Reason. (IJAR)"},{"key":"41_CR20","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-642-14755-5_12","volume-title":"Methods for Handling Imperfect Spatial Information, Studies in Fuzziness and Soft Computing","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, Studies in Fuzziness and Soft Computing, vol. 256, pp. 307\u2013340. Springer, Heidelberg (2010)"},{"issue":"7","key":"41_CR21","doi-asserted-by":"crossref","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. Approx. Reason. 54(7), 827\u2013860 (2013)","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"41_CR22","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1109\/TKDE.2008.93","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 Trans. Knowl. Data Eng. (TKDE) 21(1), 92\u2013107 (2009)","journal-title":"IEEE Trans. Knowl. Data Eng. (TKDE)"},{"key":"41_CR23","unstructured":"Parker, A., Infantes, G., Subrahmanian, V.S., Grant, J.: An AGM-based belief revision mechanism for probabilistic spatio-temporal logics. In: Proceedings of AAAI Conference on Artificial Intelligence (AAAI), pp. 511\u2013516 (2008)"},{"issue":"11","key":"41_CR24","doi-asserted-by":"crossref","first-page":"1541","DOI":"10.1109\/TKDE.2007.190631","volume":"19","author":"A Parker","year":"2007","unstructured":"Parker, A., Subrahmanian, V.S., Grant, J.: A logical formulation of probabilistic spatial databases. IEEE Trans. Knowl. Data Eng. (TKDE) 19(11), 1541\u20131556 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng. (TKDE)"},{"key":"41_CR25","unstructured":"Parker, A., Yaman, F., Nau, D.S., Subrahmanian, V.S.: Probabilistic go theories. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 501\u2013506 (2007)"},{"issue":"1","key":"41_CR26","doi-asserted-by":"crossref","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. 31(1), 255\u2013298 (2006)","journal-title":"ACM Trans. Database Syst."},{"key":"41_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BFb0035625","volume-title":"Qualitative and Quantitative Practical Reasoning","author":"FD Saint-Cyr","year":"1997","unstructured":"Saint-Cyr, F.D., Lang, J.: Reasoning about unpredicted change and explicit time. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds.) ECSQARU\/FAPR -1997. LNCS, vol. 1244, pp. 223\u2013236. Springer, Heidelberg (1997). doi: 10.1007\/BFb0035625"},{"issue":"2","key":"41_CR28","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1016\/j.artint.2010.11.002","volume":"175","author":"FD Saint-Cyr de","year":"2011","unstructured":"de Saint-Cyr, F.D., Lang, J.: Belief extrapolation (or how to reason about observations and unpredicted change). Artif. Intell. 175(2), 760\u2013790 (2011)","journal-title":"Artif. Intell."},{"key":"41_CR29","unstructured":"Southey, F., Loh, W., Wilkinson, D.F.: Inferring complex agent motions from partial trajectory observations. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 2631\u20132637 (2007)"},{"key":"41_CR30","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: Proceedings of International Conference on Very Large Data Bases (VLDB), pp. 922\u2013933 (2005)"},{"key":"41_CR31","unstructured":"Yaman, F., Nau, D.S., Subrahmanian, V.S.: A logic of motion. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 85\u201394 (2004)"},{"key":"41_CR32","unstructured":"Yaman, F., Nau, D.S., Subrahmanian, V.S.: Going far, logically. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 615\u2013620 (2005)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61581-3_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T01:32:58Z","timestamp":1569461578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61581-3_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319615806","9783319615813"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61581-3_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}