Corpus ID: 16566634

Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions

@inproceedings{Bennett2000DescribingRB,
  title={Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions},
  author={B. Bennett and A. Cohn and P. Torrini and S. M. Hazarika},
  booktitle={AAAI/IAAI},
  year={2000}
}
  • B. Bennett, A. Cohn, +1 author S. M. Hazarika
  • Published in AAAI/IAAI 2000
  • Computer Science
  • We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodies within a confining environment. 
    How does a box work? A study in the qualitative dynamics of solid objects
    • E. Davis
    • Mathematics, Computer Science
    • 2011
    22
    The Expressivity of Quantifying over Regions
    • E. Davis
    • Computer Science, Mathematics
    • 2006
    24
    Mereogeometries: a Semantic Comparison
    3
    Space, time, matter and things
    36
    Formalising bio-spatial knowledge
    26
    Qualitative Spatial Representation and Reasoning: An Overview
    780

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 20 REFERENCES
    A framework for qualitative reasoning about solid objects
    8
    Region-Based Qualitative Geometry
    12
    Qualitative Kinematics in Mechanisms
    102
    A Qualitative Discretization for Two-Body Contacts
    7
    A logical framework for commonsense predictions of solid object behaviour
    34
    Spatial Locations via Morpho-Mereology
    29
    A Spatial Logic based on Regions and Connection
    2221