The mathematical morpho-logical view on reasoning about space

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 205-211

  Aiello, Marco ^a,b   Ottens, Brammert ^c  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INFERENCE MECHANISM; LOGIC THEORY; QUALITATIVE REASONING; RELATIVE SIZES; SPATIO-TEMPORAL REASONING;

CALCULATIONS; MATHEMATICAL MORPHOLOGY;

ARTIFICIAL INTELLIGENCE;

EID: 77958449328     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. M. Aiello and J. van Benthem. A modal walk through space. Journal of Applied Non-Classical Logics, 12(3-4):319-363, 2002.
2. M. Aiello, I. Pratt-Hartmann, and J. van Benthem, editors. Handbook of Spatial Logics. Kluwer-Springer, 2007. To appear.
3. C. Areces and J. Heguiabehere. Hylores: Direct resolution for hybrid logics. In Proceedings of Methods for Modalities 2, 2001.
4. C. Areces, M. de Rijke, and H. de Nivelle. Resolution in modal, description and hybrid logic. J. Log. Comput., 11(5):717-736, 2001. (Pubitemid 33099105)
5. L. Bachmair and H. Ganzinger. Resolution theorem proving. In Handbook of Automated Reasoning, pages 19-99. North-Holland, 2001.
6. Ph. Balbiani, L. Fariñas del Cerro, T. Tinchev, and D. Vakarelov. Modal logics for incidence geometries. Journal of Logic and Computation, 7:59-78, 1997.
7. B. Bennett. Spatial reasoning with propositional logics. In KR'94: Principles of Knowledge Representation and Reasoning, pages 51-62. Morgan Kaufmann, 1994.
8. B. Bennett. Modal logics for qualitative spatial reasoning. Bulletin of the IGPL, 3:1-22, 1995.
9. I. Bloch and J. Lang. Towards mathematical "morpho-logics". Technologies for Contructing Intelligent Systems, 2:367-380, 2002.
10. I. Bloch. Using mathematical morphology operators as modal operators for spatial reasoning. In ECAI 2000, Workshop on Spatio-Temporal Reasoning, pages 73-79, 2000.
11. B. ten Cate. Model theory for extended modal languages. PhD thesis, ILLC, University of Amsterdam, 2005.
12. A. G. Cohn and S. M. Hazarika. Qualitative spatial representation and reasoning: an overview. Fundam. Inf., 46(1-2):1-29, 2001.
13. R. de Freitas, J. Viana, P. Veloso, S. Veloso, and M. Benevides. On hybrid arrow logic. In Workshop on Hybrid Logic held at IEEE LICS, 2002.
14. G. Gottlob and C. Koch. Monadic datalog and the expressive power of languages for web information extraction. Journal of the ACM, 51(1):74-113, 2004.
15. H.J.A.M. Heijmans and C. Ronse. The algebraic basis of mathematical morphology. CVGIP, 50:245-295, 1990.
16. G. Matheron. Eléments pur une theorie des milieux poreaux. Masson, 1967.
17. B. Ottens. A Logical Perspective on Mathematical Morphology. Master's thesis, University of Amsterdam, 2006.
18. D. Randell, Z. Cui, and A. Cohn. A spatial logic based on regions and connection. In Princ. of Knowledge Representation and Reasoning, pages 165-176. Morgan Kaufmann, 1992.
19. D. Redish. Beyond the Cognitive Map. MIT, 1999.
20. J. Renz and B. Nebel. On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artificial Intelligence, 108(1-2):69-123, 1999.
21. J. Serra. Image Analysis and Mathematical Morphology. Academic Press, 1982.
22. S. Thrun, D. Fox, W. Burgard, and F. Dellaert. Robust Monte Carlo localization for mobile robots. Artificial Intelligence, 128(1-2):99-141, 2001. (Pubitemid 32421511)
23. Y. Venema. A crash course in arrow logic. In M. Marx, M. Masuch, and L. Pólos, editors, Arrow Logic and Multimodal Logic. CSLI, 1996.