{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:49:03Z","timestamp":1725572943164},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255604"},{"type":"electronic","value":"9783540321248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415763_7","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T19:42:42Z","timestamp":1292874162000},"page":"98-115","source":"Crossref","is-referenced-by-count":3,"title":["Deductive and Inductive Reasoning on Spatio-Temporal Data"],"prefix":"10.1007","author":[{"given":"Mirco","family":"Nanni","sequence":"first","affiliation":[]},{"given":"Alessandra","family":"Raffaet\u00e0","sequence":"additional","affiliation":[]},{"given":"Chiara","family":"Renso","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Turini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/3-540-58435-8_209","volume-title":"Database and Expert Systems Applications","author":"A.I. Abdelmoty","year":"1994","unstructured":"Abdelmoty, A.I., Paton, N.W., Williams, M.H., Fernandes, A.A.A., Barja, M.L., Dinn, A.: Geographic Data Handling in a Deductive Object-Oriented Database. In: Karagiannis, D. (ed.) DEXA 1994. LNCS, vol.\u00a0856, pp. 445\u2013454. Springer, Heidelberg (1994)"},{"key":"7_CR2","unstructured":"Abraham, T.: Knowledge Discovery in Spatio-Temporal Databases. PhD thesis, School of Computer and Information Science, Faculty of Information Technology, University of South Australia (1999)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ICDE.1995.380415","volume-title":"Eleventh International Conference on Data Engineering","author":"R. Agrawal","year":"1995","unstructured":"Agrawal, R., Srikant, R.: Mining sequential patterns. In: Yu, P.S., Chen, A.S.P. (eds.) Eleventh International Conference on Data Engineering, Taipei, Taiwan, pp. 3\u201314. IEEE Computer Society Press, Los Alamitos (1995)"},{"issue":"5","key":"7_CR4","first-page":"686","volume":"10","author":"A. Belussi","year":"1998","unstructured":"Belussi, A., Bertino, E., Catania, B.: An extended algebra for constraint databases. IEEE TKDE\u00a010(5), 686\u2013705 (1998)","journal-title":"IEEE TKDE"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Spatio-Temporal Database Management","year":"1999","unstructured":"B\u00f6hlen, M.H., Jensen, C.S., Scholl, M.O. (eds.): STDBM 1999. LNCS, vol.\u00a01678. Springer, Heidelberg (1999)"},{"key":"7_CR6","unstructured":"Ceccarelli, T., Centeno, D., Giannotti, F., Massolo, A., Parent, C., Raffaet\u00e0, A., Renso, C., Spaccapietra, S., Turini, F.: The behaviour of the Crested Porcupine: the complete case study. Technical report, DeduGIS - EU WG (2001)"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1009849314891","volume":"3","author":"J. Chomicki","year":"1999","unstructured":"Chomicki, J., Revesz, P.Z.: Constraint-Based Interoperability of Spatiotemporal Databases. GeoInformatica\u00a03(3), 211\u2013243 (1999)","journal-title":"GeoInformatica"},{"key":"7_CR8","unstructured":"Cotofrei, P.: Statistical temporal rules. In: Proc. of the 15th Conf. on Computational Statistics (2002)"},{"key":"7_CR9","unstructured":"Das, G., Lin, K.-I., Mannila, H., Renganathan, G., Smyth, P.: Rule discovery from time series. In: Proc. of the Fourth International Conference on Knowledge Discovery and Data Mining - KDD 1998, pp. 16\u201322 (1998)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Ester, M., Kriegel, H.-P., Sanders, J.: Algorithms and applications for spatial data mining. In: [29], pp. 160\u2013187","DOI":"10.4324\/9780203468029_chapter_7"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Temporal Databases: Research and Practice","year":"1998","unstructured":"Etzion, O., Jajodia, S., Sripada, S. (eds.): Dagstuhl Seminar 1997. LNCS, vol.\u00a01399. Springer, Heidelberg (1998)"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/223784.223812","volume-title":"SIGMOD Conf.","author":"C. Faloutsos","year":"1995","unstructured":"Faloutsos, C., Lin, K.-I.: Fastmap: a fast algorithm for indexing of traditional and multimedia databases. In: SIGMOD Conf., pp. 163\u2013174. ACM, New York (1995)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1006\/jsco.1996.0066","volume":"22","author":"T. Fr\u00fchwirth","year":"1996","unstructured":"Fr\u00fchwirth, T.: Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation\u00a022, 555\u2013583 (1996)","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/312129.312198","volume-title":"KDD Conf.","author":"S. Gaffney","year":"1999","unstructured":"Gaffney, S., Smyth, P.: Trajectory clustering with mixture of regression models. In: KDD Conf., pp. 63\u201372. ACM, New York (1999)"},{"key":"7_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-44794-6_10","volume-title":"Principles of Data Mining and Knowledge Discovery","author":"P. Geurts","year":"2001","unstructured":"Geurts, P.: Pattern extraction for time series classification. In: Siebes, A., De Raedt, L. (eds.) PKDD 2001. LNCS (LNAI), vol.\u00a02168, pp. 115\u2013127. Springer, Heidelberg (2001)"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/A:1011464022461","volume":"5","author":"S. Grumbach","year":"2001","unstructured":"Grumbach, S., Rigaux, P., Segoufin, L.: Spatio-Temporal Data Handling with Constraints. GeoInformatica\u00a05(1), 95\u2013115 (2001)","journal-title":"GeoInformatica"},{"key":"7_CR17","unstructured":"Guha, S., Mishra, N., Motwani, R., O\u2019Callaghan, L.: Clustering data streams. In: IEEE Symposium on Foundations of Computer Science, pp. 359\u2013366 (2000)"},{"issue":"4","key":"7_CR18","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF01231602","volume":"3","author":"R.H. G\u00fcting","year":"1994","unstructured":"G\u00fcting, R.H.: An Introduction to Spatial Database Systems. VLDB Journal\u00a03(4), 357\u2013400 (1994)","journal-title":"VLDB Journal"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Han, J., Kamber, M., Tung, A.K.H.: Spatial clustering methods in data mining: a survey. In: [29], pp. 188\u2013217","DOI":"10.4324\/9780203468029_chapter_8"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Harms, S.K., Deogun, J., Tadesse, T.: Discovering sequential association rules with constraints and time lags in multiple sequences. In: Proc. of the 13th Int. Symposium on Methodologies for Intelligent Systems, pp. 432\u2013441 (2002)","DOI":"10.1007\/3-540-48050-1_47"},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.C. Kanellakis","year":"1995","unstructured":"Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages. Journal of Computer and System Sciences\u00a051(1), 26\u201352 (1995)","journal-title":"Journal of Computer and System Sciences"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Keogh, E., Lin, J., Truppel, W.: Clustering of Time Series Subsequences is Meaningless: Implications for Previous and Future Research. In: Proceedings of the 3rd IEEE International Conference on Data Mining, pp. 115\u2013122 (2003)","DOI":"10.1109\/ICDM.2003.1250910"},{"key":"7_CR23","first-page":"215","volume-title":"KDD Conf.","author":"A. Ketterlin","year":"1997","unstructured":"Ketterlin, A.: Clustering sequences of complex objects. In: KDD Conf., pp. 215\u2013218. ACM, New York (1997)"},{"key":"7_CR24","unstructured":"Koperski, K.: A Progressive Refinement Approach to Spatial Data Mining. PhD thesis, Simon Frasery University (1999)"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/3-540-60159-7_4","volume-title":"Advances in Spatial Databases","author":"K. Koperski","year":"1995","unstructured":"Koperski, K., Han, J.: Discovery of spatial association rules in geographic information databases. In: Egenhofer, M.J., Herring, J.R. (eds.) SSD 1995. LNCS, vol.\u00a0951, pp. 47\u201366. Springer, Heidelberg (1995)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Koubarakis, M., Skiadopoulos, S.: Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information. In: [5], pp. 204\u2013223 (1999)","DOI":"10.1007\/3-540-48344-6_12"},{"issue":"4","key":"7_CR27","first-page":"417","volume":"18","author":"P. Mancarella","year":"2004","unstructured":"Mancarella, P., Raffaet\u00e0, A., Renso, C., Turini, F.: Integrating Knowledge Representation and Reasoning in Geographical Information Systems. International Journal of GIS\u00a018(4), 417\u2013446 (2004)","journal-title":"International Journal of GIS"},{"issue":"3","key":"7_CR28","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1009748302351","volume":"1","author":"H. Mannila","year":"1997","unstructured":"Mannila, H., Toivonen, H., Verkamo, A.I.: Discovery of frequent episodes in event sequences. Data Mining and Knowledge Discovery\u00a01(3), 259\u2013289 (1997)","journal-title":"Data Mining and Knowledge Discovery"},{"volume-title":"Geographic Data Mining and knowledge Discovery","year":"2001","key":"7_CR29","unstructured":"Miller, H.J., Han, J. (eds.): Geographic Data Mining and knowledge Discovery. Taylor & Francis, Abington (2001)"},{"key":"7_CR30","unstructured":"Nanni, M.: Clustering Methods for Spatio-Temporal Data. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa (2002)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Ng, R.T.: Detecting outliers from large datasets. In: [29], pp. 218\u2013235","DOI":"10.4324\/9780203468029_chapter_9"},{"key":"7_CR32","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BFb0014004","volume-title":"Temporal Logic","author":"M.A. Orgun","year":"1994","unstructured":"Orgun, M.A., Ma, W.: An Overview of Temporal and Modal Logic Programming. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol.\u00a0827, pp. 445\u2013479. Springer, Heidelberg (1994)"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-58907-4_2","volume-title":"Database Theory - ICDT \u201995","author":"J. Paredaens","year":"1995","unstructured":"Paredaens, J.: Spatial databases, the final frontier. In: Vardi, M. Y., Gottlob, G. (eds.) ICDT 1995. LNCS, vol.\u00a0893, pp. 14\u201332. Springer, Heidelberg (1995)"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-45241-9_18","volume-title":"Practical Aspects of Declarative Languages","author":"A. Raffaet\u00e0","year":"2001","unstructured":"Raffaet\u00e0, A., Fr\u00fchwirth, T.: Spatio-Temporal Annotated Constraint Logic Programming. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 259\u2013273. Springer, Heidelberg (2001)"},{"key":"7_CR35","first-page":"35","volume-title":"ACM GIS 2002","author":"A. Raffaet\u00e0","year":"2002","unstructured":"Raffaet\u00e0, A., Renso, C., Turini, F.: Enhancing GISs for Spatio-Temporal Reasoning. In: ACM GIS 2002, pp. 35\u201341. ACM Press, New York (2002)"},{"key":"7_CR36","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-540-39853-0_7","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"A. Raffaet\u00e0","year":"2003","unstructured":"Raffaet\u00e0, A., Renso, C., Turini, F.: Qualitative Spatial Reasoning in a Logical Framework. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS (LNAI), vol.\u00a02829, pp. 78\u201390. Springer, Heidelberg (2003)"},{"key":"7_CR37","first-page":"165","volume-title":"KR 1992","author":"D. Randell","year":"1992","unstructured":"Randell, D., Cui, Z., Cohn, A.: A Spatial Logic based on Regions and Connection. In: KR 1992, pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"key":"7_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-47724-1_13","volume-title":"Advances in Spatial and Temporal Databases","author":"S. Shekhar","year":"2001","unstructured":"Shekhar, S., Huang, Y.: Discovering spatial co-location patterns: A summary of results. In: Jensen, C.S., Schneider, M., Seeger, B., Tsotras, V.J. (eds.) SSTD 2001. LNCS, vol.\u00a02121, pp. 236\u2013256. Springer, Heidelberg (2001)"},{"key":"7_CR39","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/502512.502567","volume-title":"Proc. of the 7th ACM SIGKDD international conference on Knowledge discovery and data mining","author":"S. Shekhar","year":"2001","unstructured":"Shekhar, S., Lu, C.-T., Zhang, P.: Detecting graph-based spatial outliers: algorithms and applications (a summary of results). In: Proc. of the 7th ACM SIGKDD international conference on Knowledge discovery and data mining, pp. 371\u2013376. ACM Press, New York (2001)"},{"key":"7_CR40","unstructured":"Shekhar, S., Zhang, P., Vatsavai, R.R., Huang, Y.: Research accomplishments and issues on spatial data mining. In: White paper of the Geospatial Visualization and Knowledge Discovery Workshop, Lansdowne, Virginia (2003), http:\/\/www.ucgis.org\/Visualization\/"},{"volume-title":"Spatio-Temporal Data Models & Languages (DEXA Workshop)","year":"1999","key":"7_CR41","unstructured":"Spaccapietra, S. (ed.): Spatio-Temporal Data Models & Languages (DEXA Workshop). IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BFb0014140","volume-title":"Advances in Database Technology EDBT \u201996","author":"R. Srikant","year":"1996","unstructured":"Srikant, R., Agrawal, R.: Mining sequential patterns: generalisations and performance improvements. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol.\u00a01057, pp. 3\u201317. Springer, Heidelberg (1996)"},{"issue":"9","key":"7_CR43","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1016\/S0262-8856(99)00073-6","volume":"18","author":"N. Sumpter","year":"2000","unstructured":"Sumpter, N., Bulpitt, A.: Learning spatio-temporal patterns for predicting object behaviour. Image and Vision Computing\u00a018(9), 697\u2013704 (2000)","journal-title":"Image and Vision Computing"},{"key":"7_CR44","unstructured":"Tansel, A., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.): Temporal Databases: Theory, Design, and Implementation. Benjamin\/Cummings (1993)"},{"key":"7_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/3-540-47724-1_22","volume-title":"Advances in Spatial and Temporal Databases","author":"I. Tsoukatos","year":"2001","unstructured":"Tsoukatos, I., Gunopulos, D.: Efficient mining of spatiotemporal patterns. In: Jensen, C.S., Schneider, M., Seeger, B., Tsotras, V.J. (eds.) SSTD 2001. LNCS, vol.\u00a02121, pp. 425\u2013442. Springer, Heidelberg (2001)"},{"key":"7_CR46","first-page":"3","volume-title":"KR 2000","author":"F. Wolter","year":"2000","unstructured":"Wolter, F., Zakharyaschev, M.: Spatio-temporal representation and reasoning based on RCC-8. In: KR 2000, pp. 3\u201314. Morgan Kaufmann, San Francisco (2000)"},{"key":"7_CR47","volume-title":"GIS - A Computing Perspective","author":"M.F. Worboys","year":"1995","unstructured":"Worboys, M.F.: GIS - A Computing Perspective. Taylor & Francis, Abington (1995)"},{"key":"7_CR48","unstructured":"Yairi, T., Kato, Y., Hori, K.: Fault detection by mining association rules from house-keeping data. In: Proc. of International Symposium on Artificial Intelligence, Robotics and Automation in Space (2001)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415763_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:35Z","timestamp":1619507015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415763_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255604","9783540321248"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/11415763_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}