资源分类
》 资源 》论文》Euclidean and Mereological Qualitative Spaces: a Study of SCC and DCC

Euclidean and Mereological Qualitative Spaces: a Study of SCC and DCC

2019-11-15 | |  69 |   44 |   0

Abstract We determine the implicit assumptions and the structure of the Single and Double Cross Calculi within Euclidean geometry, and use these results to guide the construction of analogous calculi in mereogeometry. The systems thus obtained have strong semantic and deductive similarities with the Euclidean-based Cross Calculi although they rely on a different geometry. This fact suggests that putting too much emphasis on usual classifification of qualitative spaces may hide important commonalities among spaces living in different classes

上一篇：Next Steps in Propositional Horn Contraction

下一篇：Regular Path Queries in Expressive Description Logics with Nominals

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...