{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T19:09:25Z","timestamp":1769281765542,"version":"3.49.0"},"reference-count":20,"publisher":"Informa UK Limited","issue":"4-5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2007,4,25]]},"DOI":"10.1080\/08839510701252676","type":"journal-article","created":{"date-parts":[[2007,5,24]],"date-time":"2007-05-24T01:13:28Z","timestamp":1179969208000},"page":"405-425","source":"Crossref","is-referenced-by-count":11,"title":["COMMON-SENSE SPATIAL REASONING FOR INFORMATION CORRELATION IN PERVASIVE COMPUTING"],"prefix":"10.1080","volume":"21","author":[{"given":"Stefania","family":"Bandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Mosca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Palmonari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","first-page":"5","volume-title":"Words, Proofs, and Diagrams","author":"Aiello M.","year":"2002"},{"key":"CIT0002","unstructured":"Asher , N. and L. Vieu . 1995 . Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology . In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 95) , pages 846 \u2013 852 , Morgan Kaufmann ."},{"key":"CIT0003","unstructured":"Bandini , S. , D. Bogni , and S. Manzoni . 2002 . Alarm correlation in traffic monitoring and control systems: A knowledge-based approach . In Proceedings of the 15th European Conference on Artificial Intelligence , pages 638 \u2013 642 , Lyon , France , IOS Press ."},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30188-2_9"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/11426646_17"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/4.1.23"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.339"},{"key":"CIT0008","volume-title":"Modal Logic","author":"Blackburn P.","year":"2000"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Blackburn , P. and M. Marx . 2002 . Tableaux for quantified hybrid logic . In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference , eds. CU. Egly and C. Fernmller , LNAI , Volume 2381 , 38 \u2013 52 . Springer , Berlin .","DOI":"10.1007\/3-540-45616-3_4"},{"key":"CIT0010","doi-asserted-by":"crossref","unstructured":"Carvalho , H. S. , W. B. Heinzelman , A. L. Murphy , and C. J. N. Coelho . 2003 . A general data fusion architecture . In Proceedings of the 6th International Conference on Information Fusion (Fusion 2003) , pages 800 \u2013 806 , Cains , Australia . International Society of Information Fusion .","DOI":"10.1109\/ICIF.2003.177412"},{"key":"CIT0011","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and Places: The Structures of Spatial Representation","author":"Casati R.","year":"1999"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888904000025"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Christopoulou , E. and A. Kameas . 2004 . Using ontologies to address key issues in ubiquitous computing systems . In Proceedings of the Joint Conference on Smart Objects and Ambient Intelligence sOc-EUSAI, Lecture Notes in Computer Science , Volume 3295 , 13 \u2013 24 . Springer , Berlin .","DOI":"10.1007\/978-3-540-30473-9_2"},{"key":"CIT0014","first-page":"1","volume":"46","author":"Cohn A. G.","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Harel , D. 1985 . Recurring dominoes: Making the highly undecidable highly understandable . In selected Papers of the International Conference on \u201cFoundations of Computation Theory\u201d on Topics in the Theory of Computation , 51 \u2013 71 . New York : Elsevier .","DOI":"10.1016\/S0304-0208(08)73075-5"},{"key":"CIT0016","volume-title":"The Encyclopedia of Cognitive Sciences","author":"Hobbs J. R.","year":"2002"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Joshi , A. , T. Finin , and Y. Yelsha . 2002 . Me-services: A framework for secure & personailzed discovery, composition and management of services in pervasive environments . In:Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop (WES 2002), Revised Papers, LNCS, Volume 2512 , 248 \u2013 259 . Springer , Berlin .","DOI":"10.1007\/3-540-36189-8_20"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1080\/08839510490509018"},{"key":"CIT0019","unstructured":"Randell , D. A. , Z. Cui , and A. G. Cohn . 1992 . A spatial logic based on regions and connection . In Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning , pages 165 \u2013 176 . Morgan Kaufmann ."},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"Zambonelli , F. and H. V. D. Parunak . 2002 . Signs of a revolution in computer science and software engineering . In Proceedings of Engineering Societies in the Agents World III (ESAW2002), LNCS , Volume 2577 , 13 \u2013 28 . Springer-Verlag , Berlin .","DOI":"10.1007\/3-540-39173-8_2"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510701252676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T15:56:01Z","timestamp":1737042961000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510701252676"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4,25]]},"references-count":20,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2007,4,25]]}},"alternative-id":["10.1080\/08839510701252676"],"URL":"https:\/\/doi.org\/10.1080\/08839510701252676","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4,25]]}}}