Browsing 08 Information and Computing Sciences by Author "Liu, Dayou"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

  • >
  • >

Browsing 08 Information and Computing Sciences by Author "Liu, Dayou"

Sort by: Order: Results:

  • Liu, Weiming; Wang, Shengsheng; Li, Sanjiang; Liu, Dayou (Springer-Verlag Berlin / Heidelberg, 2011)
    Consistency checking plays a central role in qualitative spatial and temporal reasoning. Given a set of variables V , and a set of constraints I? taken from a qualitative calculus (e.g. the Interval Algebra (IA) or RCC-8), ...