Browsing 08 Information and Computing Sciences by Author "Li, Sanjiang"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

  • >
  • >

Browsing 08 Information and Computing Sciences by Author "Li, Sanjiang"

Sort by: Order: Results:

  • Gao, Xiaoshan; Lu, Ruqian; Ouyang, Dantong; Sun, Jigui; Li, Sanjiang; Shi, Chenggen; Yao, Tianshun; Lu, Ruzhan; Han, Zhangang; Wang, Jiaqi; Cao, Cungen (IEEE Computer Soc, 2008)
    This article consists of nine short essays discussing research pursued by AI researchers in China and their perspectives on research in several AI subareas. The article first introduces the mechanization of mathematics, ...
  • Li, Janson; Kowalski, Tomasz; Renz, Jochen; Li, Sanjiang (IOS Press, 2008)
    Constraint networks in qualitative spatial and temporal reasoning are always complete graphs. When one adds an extra element to a given network, previously unknown constraints are derived by intersections and compositions ...
  • Schockaert, Steven; Li, Sanjiang (AAAI Press / International Joint Conferences on Artificial Intelligence, 2013)
    RCC5 is an important and well-known calculus for representing and reasoning about mereological relations. Among many other applications, it is pivotal in the formalization of commonsense reasoning about natural categories. ...
  • Li, Sanjiang (AAAI Press, 2007)
    Current research on qualitative spatial representation and reasoning usually focuses on one single aspect of space. However, in real world applications, several aspects are often involved together. This paper extends the ...
  • Long, Zhiguo; Li, Sanjiang (Taylor & Francis Ltd, 2013)
    In this article we show that the Voronoi-based nine-intersection (V9I) model proposed by Chen et al. (2001, A Voronoi-based 9-intersection model for spatial relations. International Journal of Geographical Information ...
  • Li, Sanjiang (Taylor & Francis, 2006)
    Formalization of topological relations between spatial objects is an important aspect of spatial representation and reasoning. The well-known 9-Intersection Method (9IM) was previously used to characterize topological ...
  • Schockaert, Steven; Li, Sanjiang (IOS Press, 2012)
    RCC8 is one of the most widely used calculi for qualitative spatial reasoning. Although many applications have been explored where RCC8 relations refer to geographical or physical regions in two- or three-dimensional ...
  • Li, Sanjiang; Ying, Mingsheng (IOS Press, 2003)
    This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism for Qualitative Spatial Reasoning. This table has been independently generated by ...
  • Li, Sanjiang; Luo, Maokang (Elsevier Science Bv, 2003)
    In this paper, we show that there are exactly c different simultaneously bireffective and bicoreflective subconstructs of FNS, in fact there exists a one-to-one correspondence between those subconstructs of FNS and open ...
  • Li, Sanjiang; Li, Yongming (IEEE Computational Intelligence Society, 2004)
    Relational composition-based reasoning has become the most prevalent method for qualitative reasoning since Allen's 1983 work on temporal intervals. Underlying this reasoning technique is the concept of a jointly exhaustive ...
  • Li, Sanjiang; Luo, Maokang (Elsevier Science Bv, 2003)
    According to their value ranges, L-topological spaces form different categories. Clearly, the investigation on their relationships is certainly important and necessary. Lowen was one of the first authors who had studied ...
  • Li, Sanjiang; Ying, Mingsheng (Elsevier B.V, 2004)
    The Region Connection Calculus (RCC) is one of the most widely referenced system of high-level (qualitative) spatial reasoning. RCC assumes a continuous representation of space. This contrasts sharply with the fact that ...
  • Liu, Weiming; Li, Sanjiang (IOS Press, 2012)
    Dealing with spatial and temporal knowledge is an indispensable part of almost all aspects of human activities. The qualitative approach to spatial and temporal reasoning (QSTR) provides a promising framework for spatial ...
  • Li, Sanjiang (AAAI, 2010)
    Sanjiang Li. A Layered Graph Representation for Complex Regions, in Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), pages 581-583, Toronto, Canada, May ...
  • Li, Sanjiang; Luo, Maokang (Elsevier Science Bv, 2003)
    T. Kubiak raised in 1992 a question about Hausdorffness and compactness in L-topology. It is negatively solved in the present paper by constructing certain L-Hausdorffness and L-compactness axioms. (C) 2002 Elsevier Science ...
  • Li, Sanjiang; Luo, Maokang (Elsevier Science Bv, 2004)
    We show that the stratified L-real line and the stratified unit L-interval have no non-trivial crisp open sets. Simple characterizations for Boolean-valued stratified L-interval and L-line are also given. (C) 2004 Elsevier ...
  • Li, Sanjiang; Ying, Mingsheng; Li, Yuefeng (IOS Press, 2005)
    Region Connection Calculus (RCC) is the most widely studied formalism of Qualitative Spatial Reasoning. It has been known for some time that each connected regular topological space provides an RCC model. These 'standard' ...
  • Li, Jason; Li, Sanjiang (IEEE, 2013)
    Qualitative Spatial and Temporal Reasoning (QSTR) represents spatial and temporal information in terms of human comprehensible qualitative predicates and reasons about qualitative information by solving qualitative constraint ...
  • Xia, Lr; Li, Sanjiang (IOS Press, 2006)
    Region Connection Calculus (RCC) is one primary formalism of qualitative spatial reasoning. Standard RCC models are continuous ones where each region is infinitely divisible. This contrasts sharply with the predominant use ...
  • Duntsch, Ivo; Li, Sanjiang (Nicolaus Copernicus University Scientific Publishing House, 2013)
    Ivo Duntsch, Sanjiang Li. On the homogeneous countable Boolean contact algebra. Logic and Logical Philosophy, 2013, 22, 213?251.