Advertisement

A logical approach to incorporating qualitative spatial reasoning into GIS (Extended Abstract)

  • Brandon Bennett
  • Anthony G. Cohn
  • Amar Isli
Posters
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1329)

Keywords

Knowledge Representation Propositional Logic Topological Relation Spatial Reasoning Reasoning Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. Bennett, B.: 1994, Spatial reasoning with propositional logics, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, San Francisco, CA.Google Scholar
  2. Cohn, A. G., Bennett, B., Gooday, J. and Gotts, N.: 1997, RCC: a calculus for region based qualitative spatial reasoning, Geoinformatica. To appear.Google Scholar
  3. Nebel, B.: 1995, Computational properties of qualitative spatial reasoning: First results, Procedings of the 19th German AI Conference.Google Scholar
  4. Randell, D. A., Cui, Z. and Colm, A. G.: 1992, A spatial logic based on regions and connection, Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165–176. *** DIRECT SUPPORT *** A0008169 00010Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Brandon Bennett
    • 1
  • Anthony G. Cohn
    • 1
  • Amar Isli
    • 1
  1. 1.School of Computer StudiesUniversity of LeedsLeedsEngland

Personalised recommendations