Login / Signup

A Concise Horn Theory for RCC8.

Matthias WestphalJulien Hué
Published in: ECAI (2014)
Keyphrases
  • spatial reasoning
  • data sets
  • horn theories
  • np hard
  • general theory
  • database systems
  • formal theory