Switch to: References

Add citations

You must login to add citations.
  1. Ontologies for Plane, Polygonal Mereotopology.Ian Pratt & Oliver Lemon - 1997 - Notre Dame Journal of Formal Logic 38 (2):225-245.
    Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotopological reasoning in two-dimensional space. Our strategy is to define a mereotopological language together with a familiar, point-based interpretation. It is proposed that, to be practically useful, any alternative region-based spatial ontology must support the same sentences in our language (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.John Grant, Francesco Parisi, Austin Parker & V. S. Subrahmanian - 2010 - Artificial Intelligence 174 (1):72-104.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An attempt to formalise a non-trivial benchmark problem in common sense reasoning.Murray Shanahan - 2004 - Artificial Intelligence 153 (1-2):141-165.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Space-time as a primitive for space and motion.Philippe Muller - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 63-76.
    Download  
     
    Export citation  
     
    Bookmark