The algebraic basis of mathematical morphology. I. dilations and erosions
Computer Vision, Graphics, and Image Processing
Arrow logic and multi-modal logic
Robust Monte Carlo localization for mobile robots
Artificial Intelligence
Towards mathematical morpho-logics
Technologies for constructing intelligent systems
Monadic datalog and the expressive power of languages for Web information extraction
Journal of the ACM (JACM)
Handbook of Spatial Logics
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Fuzzy region connection calculus: Representing vague topological information
International Journal of Approximate Reasoning
A formal semantics for iconic spatial gestures
Proceedings of the 17th Amsterdam colloquium conference on Logic, language and meaning
Granular description of qualitative change
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Qualitative reasoning about mereotopological relations has been extensively investigated, while more recently geometrical and spatio-temporal reasoning are gaining increasing attention. We propose to consider mathematical morphology operators as the inspiration for a new language and inference mechanism to reason about space. Interestingly, the proposed morpho-logic captures not only traditional mereotopological relations, but also notions of relative size and morphology. The proposed representational framework is a hybrid arrow logic theory for which we define a resolution calculus which is, to the best of our knowledge, the first such calculus for arrow logics.