资源分类
》 资源 》论文》Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions

Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions

2019-10-29 | |  40 |   37 |   0
Abstract Relying on the recently introduced multi-algebras, we present a general approach for reasoning about temporal sequences of qualitative information that is generally more efficient than existing techniques. Applying our approach to the specific case of sequences of topological information about constantsize regions, we show that the resulting formalism has a complete procedure for deciding consistency, and we identify its three maximal tractable subclasses containing all basic relations

上一篇：Strategically Knowing How

下一篇：The Impact of Treewidth on ASP Grounding and Solving

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...