{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T05:46:54Z","timestamp":1738129614793,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371090"},{"type":"electronic","value":"9783540371106"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-37110-6_6","type":"book-chapter","created":{"date-parts":[[2008,2,19]],"date-time":"2008-02-19T15:39:26Z","timestamp":1203435566000},"page":"105-124","source":"Crossref","is-referenced-by-count":0,"title":["Context-Aware Applications Enhanced with Commonsense Spatial Reasoning"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Palmonari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Bandini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"319","DOI":"10.3166\/jancl.12.319-363","volume":"12","author":"M. Aiello","year":"2002","unstructured":"Aiello, M., and J. van Benthem (2002): A Modal Walk Through Space. Journal of Applied Non-Classical Logics Vol. 12 No. (3-4), pp. 319-364","journal-title":"Journal of Applied Non-Classical Logics Vol"},{"key":"6_CR2","first-page":"638","volume-title":"Proceedings of the 15th European Conference on Artificial Intelligence, July 21-26 2002, Lyon (F)","author":"S. Bandini","year":"2002","unstructured":"Bandini, S., Bogni, D., and Manzoni, S. (2002): Alarm Correlation in Traffic Monitoring and Control Systems: a Knowledge-Based Approach. In: Proceedings of the 15th European Conference on Artificial Intelligence, July 21-26 2002, Lyon (F). Amsterdam: IOS Press, pp. 638\u2013642."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Bandini, S., Alessandro M., Palmonari, M., and Sartori, F. (2004): A Conceptual Framework for Monitoring and Control System Development. In Ubiquitous Mobile Information and Collaboration Systems (UMICS\u201904), LNCS, Vol. 3272. Springer-Verlag, pp. 112-125.","DOI":"10.1007\/978-3-540-30188-2_9"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bandini, S., Bogni, D., Manzoni, S., and Mosca, A. (2005a): A ST-Modal Logic Approach to Alarm Correlation in Monitoring and Control of Italian Highways Traffic. In Proceedings of The 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems. Bari, June 22-25, 2005. Springer-Verlag, pp. 819\u2013828.","DOI":"10.1007\/11504894_112"},{"key":"6_CR5","unstructured":"Bandini, S., Mosca, A., and Palmonari, M. (2005b): Commonsense Spatial Reasoning for Context\u2013Aware Pervasive Systems. Location- and Context-Awareness, First International Workshop, LoCA 2005, LNCS Vol. 3479. Springer-Verlag, pp. 180\u2013188."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bandini, S., Mosca, A., and Palmonari, M. (2005c): A Hybrid Logic for Commonsense Spatial Reasoning. Proceedings of the 9th Congress of the Italian Association for Artificial Intelligence. LNAI 3673, Springer-Verlag, pp. 25\u201337.","DOI":"10.1007\/11558590_3"},{"issue":"1","key":"6_CR7","first-page":"23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"Bennett, B. (1996): Modal Logics for Qualitative Spatial Reasoning. Journal of the Interest Group in Pure and Applied Logic. Vol. 4, No. 1. pp. 23-45.","journal-title":"Journal of the Interest Group in Pure and Applied Logic. Vol"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A. G., Wolter, F., and Zakharyaschev, M. (2002): Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence 17 (3), pp. 239\u2013251.","journal-title":"Applied Intelligence"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P. (2000): Representation, Reasoning and Realtional Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL, Vol 8 No. 3, pp. 339\u2013365.","journal-title":"Logic Journal of the IGPL, Vol"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y., (2000): Modal Logic. Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Carvalho, H.S., Heinzelman, W.B., Murphy, A.L., and Coelho, C.J.N. (2003): A General Data Fusion Architecture. Proceedings of the 6th International Conference on Information Fusion (Fusion). Cains, Australia, pp. 1465- 1472.","DOI":"10.1109\/ICIF.2003.177412"},{"key":"6_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and places: the structures of spatial representation","author":"R. Casati","year":"1999","unstructured":"Casati, R., and Varzi, A. (1999): Parts and places: the structures of spatial representation. Cambridge, MA and London: MIT Press."},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1017\/S0269888904000025","volume":"18","author":"H. Chen","year":"2004","unstructured":"Chen, H., Finin, T., and Joshi, A. (2004): An Ontology for Context-Aware Pervasive Computing Environments. Knowledge Engineering Review, Vol. 18 No. 3, pp. 197\u2013207.","journal-title":"Knowledge Engineering Review, Vol"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Christopoulou, E., Goumoupoulos, C., and Kameas, A. (2005): An ontology-based context management and reasoning process for UbiComp applications. In Joint conference on Smart Objects and Ambient Intelligence (sOc-EUSAI). ACM Press, pp. 183\u2013188.","DOI":"10.1145\/1107548.1107613"},{"issue":"1-2):, pp.","key":"6_CR15","first-page":"1","volume":"46","author":"A.G Cohn","year":"2001","unstructured":"Cohn, A. G, and Hazarika, S. M. (2001): Qualitative Spatial Representation and Reasoning: An Overview. Fundamenta Informaticae, Vol. 46 No. (1-2):, pp.1\u201329.","journal-title":"Fundamenta Informaticae, Vol"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s007790170019","volume":"5","author":"A.K. Dey","year":"2001","unstructured":"Dey, A. K., (2001). Understanding and Using Context. Personal and Ubiquitous Computing, Vol. 5 No. 1, pp. 4\u20137.","journal-title":"Personal and Ubiquitous Computing, Vol"},{"key":"6_CR17","first-page":"1","volume-title":"Spatial Information Theory - A Theoretical Basis for GIS (COSIT\u201995), edited by","author":"M.J. Egenhofer","year":"1995","unstructured":"Egenhofer, M. J., and Mark, D. M. (1995): Naive Geography. In Spatial Information Theory - A Theoretical Basis for GIS (COSIT\u201995), edited by A. U. Frank and W. Kuhn, Berlin, Heidelberg: Springer, pp. 1\u201315."},{"issue":"1-2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1015808104769","volume":"36","author":"F.T. Fonseca","year":"2002","unstructured":"Fonseca, F. T., Max, J., Egenhofer, C., Davis, A., and C\u00e2mara. G. (2002): Semantic Granularity in Ontology-Driven Geographic Information Systems. Annals of. Mathematics and Artificial Intelligence, Vol. 36 No. (1-2), pp. 121\u2013151.","journal-title":"Annals of. Mathematics and Artificial Intelligence, Vol"},{"issue":"9-10","key":"6_CR19","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1080\/08839510490509018","volume":"18","author":"S. Ossowski","year":"2004","unstructured":"Ossowski, S., Hern\u00e1ndez, J., Belmonte, M., Maseda, J., Fernandez, A., Garc\u00eda-Serrano, A., Triguero Ruiz, F., Serrano, J. M., and P\u00e9rez de-la Cruz, J. L. (2004): Multi-Agent Systems For Decision Support: A Case Study In The Transportation Management Domain. Applied Artificial Intelligence, Vol. 18 No. (9-10), pp. 779\u2013795.","journal-title":"Applied Artificial Intelligence, Vol"},{"key":"6_CR20","first-page":"165","volume-title":"Proceedings of the 3rd Internationa Conference on Knowledge Representation and Reasoning","author":"D.A. Randell","year":"1992","unstructured":"Randell, D. A., Cui, Z., and Cohn, A. G. (1992): A Spatial Logic Based on Regions and Connection. Proceedings of the 3rd Internationa Conference on Knowledge Representation and Reasoning. San Mateo, CA: Morgan Kaufmann, pp. 165\u2013176."},{"key":"6_CR21","unstructured":"Zambonelli, F., and Parunak, H.V.D. (2002): Signs of a Revolution in Computer Science and Software Engineering. Proceedings of Engineering Societies in the Agents World III (ESAW2002), Volume 2577. Springer-Verlag, pp. 13\u201328."}],"container-title":["Lecture Notes in Geoinformation and Cartography","Map-based Mobile Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-37110-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T16:39:43Z","timestamp":1738082383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-37110-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540371090","9783540371106"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-37110-6_6","relation":{},"subject":[]}}