Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning

References

• AIELLO , M. and VAN BENTHEM , J. 1999 . Logical Patterns in Space , University of Amsterdam . report num. UVA PP-99-24
   Google Scholar
• ALLEN , J. 1983 . Maintaining Knowledge about Temporal Intervals . Comunications of the ACM , 26 ( 11 ) : 832 – 843 .
   Web of Science ®Google Scholar
• ASHER , N. and VIEU , L. 1995 . Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology . IJCAI'95 . 1995 , San Mateo , CA . pp. 846 – 852 .
   Google Scholar
• BAETS , B. D. and KERRE , E. 1993 . An Introduction to Fuzzy Mathematical Morphology . AFIPS'93 . 1993 , Allentown , Pennsylvania . pp. 129 – 133 .
   Google Scholar
• BAETS , B. D. 1995 . Idempotent Closing and Opening Operations in Fuzzy Mathematical Morphology . ISUMA-NAFIPS'95 . Sep. 1995 , College Park , MD . pp. 228 – 233 .
   Google Scholar
• BALBIANI , P. and ORLOWSKA , E. 1999 . A Hierarchy of Modal Logics with Relative Accessibility Relations . Journal of Applied Non-Classical Logics , 9 : 303 – 328 .
   Google Scholar
• VAN BENTHEM , J. Logical Structures in Mathematical Morphology http://turing.wins.uva.nl/ johan/MM-LL.ps
   Google Scholar
• BENNETT , B. 1995 . Modal Logics for Qualitative Spatial Reasoning . Bulletin of the IGPL , 4 ( 1 ) : 23 – 45 .
   Google Scholar
• BLOCH , I. and MAÎTRE , H. 1993 . Constructing a Fuzzy Mathematical Morphology: Alternative Ways . Second IEEE International Conference on Fuzzy Systems, FUZZ IEEE 93 . March 1993 , San Fransisco , California . pp. 1303 – 1308 .
   Google Scholar
• BLOCH , I. and MAÎTRE , H. 1995 . Fuzzy Mathematical Morphologies: A Comparative Study . Pattern Recognition , 28 ( 9 ) : 1341 – 1387 .
   Web of Science ®Google Scholar
• BLOCH , I. , MAÎTRE , H. and ANVARI , M. 1997 . Fuzzy Adjacency between Image Objects . International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems , 5 ( 6 ) : 615 – 653 .
   Web of Science ®Google Scholar
• BLOCH , I. 1999 . Fuzzy Relative Position between Objects in Image Processing: a Morphological Approach . IEEE Transactions on Pattern Analysis and Machine Intelligence , 21 ( 7 ) : 657 – 664 .
   Web of Science ®Google Scholar
• BLOCH , I. 1999 . Fuzzy Relative Position between Objects in Image Processing: New Definition and Properties based on a Morphological Approach . International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems , 7 ( 2 ) : 99 – 133 .
   Web of Science ®Google Scholar
• BLOCH , I. 1999 . On Fuzzy Distances and their Use in Image Processing under Imprecision . Pattern Recognition , 32 ( 11 ) : 1873 – 1895 .
   Web of Science ®Google Scholar
• BLOCH , I. 2000 . On Links between Mathematical Morphology and Rough Sets . Pattern Recognition , 33 ( 9 ) : 1487 – 1496 .
   Web of Science ®Google Scholar
• BLOCH , I. 2000 . Spatial Representation of Spatial Relationships Knowledge . 7th International Conference on Principles of Knowledge Representation and Reasoning KR 2000 . 2000 , Breckenridge , CO . Edited by: COHN , A. G. , GIUNCHIGLIA , F. and SELMAN , B. pp. 247 – 258 . San Francisco , CA : Morgan Kaufmann .
   Google Scholar
• BLOCH , I. 2000 . Using Mathematical Morphology Operators as Modal Operators for Spatial Reasoning . ECAI 2000, Workshop on Spatio-Temporal Reasoning . 2000 , Berlin , Germany. pp. 73 – 79 .
   Google Scholar
• BLOCH , I. and LANG , J. 2000 . Towards Mathematical Morpho-Logics . 8th International Conference on Information Processing and Management of Uncertainty in Knowledge based Systems IPMU 2000 . 2000 , Madrid , Spain. Vol. III , pp. 1405 – 1412 .
   Google Scholar
• BOLDRIN , L. and SAFFIOTTI , A. 1995 . A Modal logic for merging Partial Belief of Multiple Reasoners num. TR/IRIDIA/95-19
   Google Scholar
• BOLDRIN , L. and SAFFIOTTI , A. 1999 . A Modal logic for Fusing Partial Belief of Multiple Reasoners . Journal of Logic and Computation , 9 ( 1 ) : 81 – 103 .
   Web of Science ®Google Scholar
• CHELLAS , B. 1980 . Modal Logic, an Introduction , Cambridge : Cambridge University Press .
   Google Scholar
• CLEMENTINI , E. and FELICE , O. D. 1997 . Approximate Topological Relations . International Journal of Approximate Reasoning , 16 : 173 – 204 .
   Web of Science ®Google Scholar
• COHN , A. , BENNETT , B. , GOODAY , J. and GOTTS , N. M. 1997 . “ Representing and Reasoning with Qualitative Spatial Relations about Regions ” . In Spatial and Temporal Reasoning , Edited by: STOCK , O. 97 – 134 . Kluwer .
   Google Scholar
• CRISTANI , M. , COHN , A. G. and BENNETT , B. 2000 . Spatial Locations via Morpho- Mereology . 7th International Conference on Principles of Knowledge Representation and Reasoning KR 2000 . 2000 , Breckenridge , CO . Edited by: COHN , A. G. , GIUNCHIGLIA , F. and SELMAN , B. pp. 15 – 25 . San Francisco , CA : Morgan Kaufmann .
   Google Scholar
• DENIS , M. 1996 . “ Imagery and the Description of Spatial Configurations ” . In Models of Visuospatial Cognition , Edited by: DE VEGA , M. New York : Oxford University Press . chapter 4
   Google Scholar
• DENG , T.-Q. and HEIJMANS , H. 2000 . -Scale Morphology Based on Fuzzy Logic , Amsterdam, NL : CWI . report num. PNA-R0012
   Google Scholar
• DUBOIS , D. and PRADE , H. 1980 . Fuzzy Sets and Systems: Theory and Applications , New-York : Academic Press .
   Google Scholar
• DUBOIS , D. , ESTEVA , F. , GARCIA , P. , GODO , L. and PRADE , H. 1997 . A Logical Approach to Interpolation based on Similarity Relations . International Journal of Approximate Reasoning , 17 ( 1 ) : 1 – 36 .
   Web of Science ®Google Scholar
• DUTTA , S. 1991 . Approximate Spatial Reasoning: Integrating Qualitative and Quantitative Constraints . International Journal of Approximate Reasoning , 5 : 307 – 331 .
   Google Scholar
• ESTEVA , F. , GARCIA , P. and GODO , L. 1997 . A Modal Account of Similarity-Based Reasoning . International Journal of Approximate Reasoning , 16 : 235 – 260 .
   Web of Science ®Google Scholar
• FREEMAN , J. 1975 . The Modelling of Spatial Relations . Computer Graphics and Image Processing , 4 ( 2 ) : 156 – 171 .
   Google Scholar
• GALTON , A. 2000 . Continous Motion in Discrete Space . 7th International Conference on Principles of Knowledge Representation and Reasoning KR 2000 . 2000 , Breckenridge , CO . Edited by: COHN , A. G. , GIUNCHIGLIA , F. and SELMAN , B. pp. 26 – 37 . San Francisco , CA : Morgan Kaufmann .
   Google Scholar
• GAPP , K. P. 1994 . Basic Meanings of Spatial Relations: Computation and Evaluation in 3D Space . 12th National Conference on Artificial Intelligence, AAAI-94 . 1994 , Seattle , Washington . pp. 1393 – 1398 .
   Google Scholar
• GUESGUEN , H. W. 1996 . “ Towards Hybrid Spatial Reasoning ” . In Fuzzy Logic in Artificial Intelligence, Towards Intelligent Systems , Edited by: MARTIN , T. and RALESCU , A. 197 – 206 . Springer . vol. 1188 of LNAI
   Google Scholar
• GUESGEN , H. W. 1998 . “ Reasoning with Words about Geographic Information ” . In Fuzzy Logic in Artificial Intelligence , Edited by: RALESCU , A. and SHANAHAN , J. 133 – 148 . Springer . vol. 1566 of LNAI
   Google Scholar
• HEIJMANS , H. J. A. M. and RONSE , C. 1990 . The Algebraic Basis of Mathematical Morphology – Part I: Dilations and Erosions . Computer Vision, Graphics and Image Processing , 50 : 245 – 295 .
   Google Scholar
• HUGHES , G. E. and CRESSWELL , M. J. 1968 . An Introduction to Modal Logic Methuen, London , , UK
   Google Scholar
• JEANSOULIN , R. and MATHIEU , C. 1994 . Une logique modale des inférences spatiales . Revue Internationale de Géomatique , 4 : 369 – 384 .
   Google Scholar
• KELLER , J. M. and WANG , X. 1995 . Comparison of Spatial Relation Definitions in Computer Vision . ISUMA-NAFIPS'95 . Sep. 1995 , College Park , MD . pp. 679 – 684 .
   Google Scholar
• KRISHNAPURAM , R. , KELLER , J. M. and MA , Y. 1993 . Quantitative Analysis of Properties and Spatial Relations of Fuzzy Image Regions . IEEE Transactions on Fuzzy Systems , 1 ( 3 ) : 222 – 233 .
   Google Scholar
• KUIPERS , B. 1978 . Modeling Spatial Knowledge . Cognitive Science , 2 : 129 – 153 .
   Google Scholar
• KUIPERS , B. J. and LEVITT , T. S. 1988 . Navigation and Mapping in Large-Scale Space . AI Magazine , 9 ( 2 ) : 25 – 43 .
   Web of Science ®Google Scholar
• LIU , J. 1998 . A Method of Spatial Reasoning based on Qualitative Trigonometry . Artificial Intelligence , 98 : 137 – 168 .
   Web of Science ®Google Scholar
• MATSAKIS , P. and WENDLING , L. 1999 . A New Way to Represent the Relative Position between Areal Objects . IEEE Trans. on Pattern Analysis and Machine Intelligence , 21 ( 7 ) : 634 – 642 .
   Web of Science ®Google Scholar
• MENGER , K. Statistical Metrics . Proc. National Academy of Siences USA . Vol. 28 , pp. 535 – 537 .
   Google Scholar
• MIYAJIMA , K. and RALESCU , A. 1994 . Spatial Organization in 2D Segmented Images: Representation and Recognition of Primitive Spatial Relations . Fuzzy Sets and Systems , 65 : 225 – 236 .
   Web of Science ®Google Scholar
• ORLOWSKA , E. 1993 . Rough Set Semantics for Non-Classical Logics . International Workshop on Rough Sets, Fuzzy Sets and Knowledge Discovery . Oct. 1993 , Banff , Canada. pp. 143 – 148 .
   Google Scholar
• PAWLAK , Z. 1982 . Rough Sets . International Journal of Information and Computer Science , 11 ( 5 ) : 341 – 356 .
   Web of Science ®Google Scholar
• PAWLAK , Z. 1987 . Rough Logic . Bulletin of the Polish Academy of Sciences , 35 ( 5-6 ) : 253 – 258 .
   Google Scholar
• PEUQUET , D. J. 1988 . Representations of Geographical Space: Toward a Conceptual Synthesis . Annals of the Association of American Geographers , 78 ( 3 ) : 375 – 394 .
   Web of Science ®Google Scholar
• PULLAR , D. and EGENHOFER , M. 1988 . Toward Formal Definitions of Topological Relations Among Spatial Objects . Third Int.. Symposium on Spatial Data Handling . Aug. 1988 , Sydney , Australia. pp. 225 – 241 .
   Google Scholar
• RANDELL , D. , CUI , Z. and COHN , A. 1992 . “ A Spatial Logic based on Regions and Connection ” . In Principles of Knowledge Representation and Reasoning KR'92 , Edited by: NEBEL , B. , RICH , C. and SWARTOUT , W. 165 – 176 . San Mateo , CA : Kaufmann .
   Google Scholar
• RENZ , J. and NEBEL , B. 2001 . Efficient Methods for Qualitative Spatial Reasoning . Journal of Artificial Intelligence Research ,
   Web of Science ®Google Scholar
• SCHWEIZER , B. and SKLAR , A. 1963 . Associative Functions and Abstract Semigroups . Publ. Math. Debrecen , 10 : 69 – 81 .
   Google Scholar
• SERRA , J. 1982 . Image Analysis and Mathematical Morphology , London : Academic Press .
   Google Scholar
• SERRA , J. 1988 . Image Analysis and Mathematical Morphology, Part II: Theoretical Advances , Edited by: Serra , J. London : Academic Press .
   Google Scholar
• SINHA , D. and DOUGHERTY , E. 1992 . Fuzzy Mathematical Morphology . Journal of Visual Communication and Image Representation , 3 ( 3 ) : 286 – 302 .
   Google Scholar
• SINHA , D. , SINHA , P. , DOUGHERTY , E. R. and BATMAN , S. 1997 . Design and Analysis of Fuzzy Morphological Algorithms for Image Processing . IEEE Trans. on Fuzzy Systems , 5 ( 4 ) : 570 – 584 .
   Web of Science ®Google Scholar
• VARZI , A. 1996 . Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology . Data and Knowledge Engineering , 20 ( 3 ) : 259 – 286 .
   Web of Science ®Google Scholar
• VIEU , L. 1997 . “ Spatial Representation and Reasoning in Artificial Intelligence ” . In Spatial and Temporal Reasoning , Edited by: STOCK , O. 5 – 41 . Kluwer .
   Google Scholar
• WANG , X. and KELLER , J. M. 1999 . Human-based Spatial Relationship Generalization through Neural/Fuzzy Approaches . Fuzzy Sets and Systems , 101 ( 1 ) : 5 – 20 .
   Web of Science ®Google Scholar
• ZADEH , L. A. 1975 . The Concept of a Linguistic Variable and its Application to Approximate Reasoning . Information Sciences , 8 : 199 – 249 .
   Web of Science ®Google Scholar