Common-sense spatial reasoning for information correlation in pervasive computing

Applied Artificial Intelligence

Volumn 21, Issue 4-5, 2007, Pages 405-425

  Bandini, Stefania ^a   Mosca, Alessandro ^a   Palmonari, Matteo ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CORRELATION METHODS; INFORMATION ANALYSIS; MATHEMATICAL MODELS; UBIQUITOUS COMPUTING;

COMMON SENSE SPATIAL REASONING; HYBRID LANGUAGES; SPATIALLY QUALIFIED INFORMATION; TABLEAU BASED CALCULUS;

FORMAL LOGIC;

EID: 34248549057     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/08839510701252676     Document Type: Article

References (19)

1. Aiello, M. and J. van Benthem. 2002. Logical patterns in space. In: Words, Proofs, and Diagrams, eds. J. van Benthem, D. Barker-Plummer, D. Beaver, and P. Scotto di Luzio, 5-25, CSLI Publications, Stanford, California, USA.
2. 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-852, Morgan Kaufmann.
3. 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-642, Lyon, France, IOS Press.
4. Bandini, S., A. Mosca, M. Palmonari, and F. Sartori. 2004. A conceptual framework for monitoring and control system development. In Ubiquitous Mobile Information and Collaboration Systems (UMICS'04), LNCS, Volume 3272, 111-124. Springer-Verlag, Berlin.
5. Bandini, S., A. Mosca, and M. Palmonari. 2005. Commonsense spatial reasoning for context-aware pervasive systems. In: Location and Context-Awareness, First International Workshop, LoCA 2005, LNCS, Volume 3479, 180-188. Springer-Verlag, Berlin.
6. Bennett, B. 1996. Modal logics for qualitative spatial reasoning. Logic Journal of the IGPL 4(1):23-45.
7. Blackburn, P. 2000. Representation, reasoning and relational structures: A hybrid logic manifesto. Logic Journal of the IGPL 8(3):339-365.
8. Blackburn, P., M. de Rijke, and Y. Venema. 2000. Modal Logic. Cambridge: Cambridge University Press, Blackburn, P. and M. Marx. 2002. Tableaux for quantified hybrid logic. In: Automated Reasoning with Analytic Tableaux and delated Methods, International Conference, eds. CU. Egly and C. Fernmller, LNAI, Volume 2381, 38-52. Springer, Berlin.
9. 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-806, Cains, Australia. International Society of Information Fusion.
10. Casati, R. and A. Varzi. 1999. Parts and Places: The Structures of Spatial Representation. Cambridge, MA and London: MIT Press.
11. Chen, H., T. Finin, and A. Joshi. 2004. An ontology for context-aware pervasive computing environments. Knowledge Engineering Review 18 (3):197-207.
12. 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-24. Springer, Berlin.
13. Cohn, A. G. and S. M. Hazarika. 2001. Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46(1-2):1-29.
14. Harel, D. 1985. Recurring dominoes: Making the highly undecidable highly understandable. In Selected Papers of the International Conference on "Foundations of Computation Theory" on Topics in the Theory of Computation, 51-71. New York: Elsevier.
15. Hobbs, J. R. and S. Narayanan. 2002. Spatial representation and reasoning. In The Encyclopedia of Cognitive Sciences, ed. Lynn Nadel, Nature Publishing Group, Macmillan, London, UK.
16. Joshi, A., T. Finin, and Y. Yelsha. 2002. Me-services: A framework for secure & personalized 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-259. Springer, Berlin.
17. Ossowski, S., J. Hernádez, M. Belmonte, J. Maseda, A Fernández, A. García-Serrano, F. Triguero Ruiz, J. M. Serrano, and J. L. Pérez de-la Cruz. 2004. Multi-agent systems for decision support: A case study in the transportation management domain. Applied Artificial Intelligence 18(9-10):779-795.
18. 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-176. Morgan Kaufmann.
19. 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-28. Springer-Verlag, Berlin.