Region Connection Calculus: Its models and composition table. - Sanjiang Li; Mingsheng Ying (Artif. Intell., 2003)

FNS is not isomorphic to FTS. - Sanjiang Li; Maokang Luo (Fuzzy Sets Syst., 2003)

Generalized Lowen functors. - Sanjiang Li; Maokang Luo (Fuzzy Sets Syst., 2003)

A negative answer to T. Kubiak's question. - Sanjiang Li; Maokang Luo (Fuzzy Sets Syst., 2003)

Extensionality of the RCC8 Composition Table. - Sanjiang Li; Mingsheng Ying (Fundam. Informaticae, 2003)

Generalized Region Connection Calculus. - Sanjiang Li; Mingsheng Ying (Artif. Intell., 2004)

Multi-agent coordination using nearest neighbor rules: revisiting the Vicsek model - Sanjiang Li; Huaiqing Wang (CoRR, 2004)

A note on stratified L-real line and unit L-interval. - Sanjiang Li; Maokang Luo (Fuzzy Sets Syst., 2004)

A fuzzy sets theoretic approach to approximate spatial reasoning. - Yongming Li 001; Sanjiang Li (IEEE Trans. Fuzzy Syst., 2004)

Relational reasoning in the region connection calculus - Yongming Li 001; Sanjiang Li; Mingsheng Ying (CoRR, 2005)

On countable RCC models. - Sanjiang Li; Mingsheng Ying; Yongming Li 001 (Fundam. Informaticae, 2005)

Combining Topological and Directional Information: First Results. - Sanjiang Li (KSEM, 2006)

RCC8 binary constraint network can be consistently extended. - Sanjiang Li; Huaiqing Wang (Artif. Intell., 2006)

On Topological Consistency and Realization. - Sanjiang Li (Constraints An Int. J., 2006)

On minimal models of the Region Connection Calculus. - Lirong Xia; Sanjiang Li (Fundam. Informaticae, 2006)

A complete classification of topological relations using the 9-intersection method. - Sanjiang Li (Int. J. Geogr. Inf. Sci., 2006)

On the complemented disk algebra. - Sanjiang Li; Yongming Li 001 (J. Log. Algebraic Methods Program., 2006)

Combining Topological and Directional Information for Spatial Reasoning. - Sanjiang Li (IJCAI, 2007)

A representation theorem for minmax regret policies. - Sanjiang Li (Artif. Intell., 2007)

Qualitative Spatial Representation and Reasoning: A Hierarchical Approach. - Sanjiang Li; Bernhard Nebel (Comput. J., 2007)

Reasoning with Cardinal Directions: An Efficient Algorithm. - Xiaotong Zhang; Weiming Liu 001; Sanjiang Li; Mingsheng Ying (AAAI, 2008)

Combining binary constraint networks in qualitative reasoning. - Jason Jingshi Li; Tomasz Kowalski; Jochen Renz; Sanjiang Li (ECAI, 2008)

Causal models have no complete axiomatic characterization - Sanjiang Li (CoRR, 2008)

AI in China: A Survey. - Xiao-Shan Gao; Dantong Ouyang; Ji-gui Sun; Sanjiang Li; Tian-shun Yao; Ruzhan Lu; Chun-Yi Shi; Zhangang Han; Jue Wang 004; Cun-gen Cao 001; Ruqian Lu (IEEE Intell. Syst., 2008)

Soft constraint abstraction based on semiring homomorphism. - Sanjiang Li; Mingsheng Ying (Theor. Comput. Sci., 2008)

Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity. - Weiming Liu 001; Sanjiang Li; Jochen Renz (IJCAI, 2009)

Topological Relations between Convex Regions. - Sanjiang Li; Weiming Liu 001 (AAAI, 2010)

Decentralized querying of topological relations between regions without using localization. - Matt Duckham; Myeong-Hun Jeong; Sanjiang Li; Jochen Renz (GIS, 2010)

A Layered Graph Representation for Complex Regions. - Sanjiang Li (KR, 2010)

Reasoning about cardinal directions between extended objects. - Weiming Liu 001; Xiaotong Zhang; Sanjiang Li; Mingsheng Ying (Artif. Intell., 2010)

Reasoning about Cardinal Directions between Extended Objects: The Hardness Result - Weiming Liu 001; Sanjiang Li (CoRR, 2010)

Solving Qualitative Constraints Involving Landmarks. - Weiming Liu 001; Sheng-Sheng Wang 001; Sanjiang Li; Dayou Liu (CP, 2011)

Reasoning about cardinal directions between extended objects: The NP-hardness result. - Weiming Liu 001; Sanjiang Li (Artif. Intell., 2011)

On A Semi-Automatic Method for Generating Composition Tables - Weiming Liu 001; Sanjiang Li (CoRR, 2011)

On standard models of fuzzy region connection calculus. - Weiming Liu 001; Sanjiang Li (Int. J. Approx. Reason., 2011)

Extension Properties of Boolean Contact Algebras. - Ivo Düntsch; Sanjiang Li (RAMiCS, 2012)

Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. - Weiming Liu 001; Sanjiang Li (CP, 2012)

Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction. - Weiming Liu 001; Sanjiang Li (ECAI, 2012)

Convex Solutions of RCC8 Networks. - Steven Schockaert; Sanjiang Li (ECAI, 2012)

Reasoning with Topological and Directional Spatial Information. - Sanjiang Li; Anthony G. Cohn 001 (Comput. Intell., 2012)

On Finding Approximate Solutions of Qualitative Constraint Networks. - Jason Jingshi Li; Sanjiang Li (ICTAI, 2013)

Combining RCC5 Relations with Betweenness Information. - Steven Schockaert; Sanjiang Li (IJCAI, 2013)

Qualitative constraint satisfaction problems: An extended framework with landmarks. - Sanjiang Li; Weiming Liu 001; Sheng-Sheng Wang 001 (Artif. Intell., 2013)

A complete classification of spatial relations using the Voronoi-based nine-intersection model. - Zhiguo Long; Sanjiang Li (Int. J. Geogr. Inf. Sci., 2013)

On Redundant Topological Constraints. - Matt Duckham; Sanjiang Li; Weiming Liu 001; Zhiguo Long (KR, 2014)

A Topological Characterisation of Belief Revision over Infinite Propositional Languages. - Hua Meng 001; Sanjiang Li (PRICAI, 2014)

Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects. - Anthony G. Cohn 001; Sanjiang Li; Weiming Liu 001; Jochen Renz (J. Artif. Intell. Res., 2014)

Belief Revision with General Epistemic States. - Hua Meng 001; Hui Kou; Sanjiang Li (AAAI, 2015)

On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi. - Zhiguo Long; Sanjiang Li (COSIT, 2015)

On Redundancy in Linked Geospatial Data. - Michael Sioutis; Sanjiang Li; Jean-François Condotta (LDQ@ESWC, 2015)

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. - Michael Sioutis; Sanjiang Li; Jean-François Condotta (IJCAI, 2015)

On redundant topological constraints. - Sanjiang Li; Zhiguo Long; Weiming Liu 001; Matt Duckham; Alan Both (Artif. Intell., 2015)

Realizing RCC8 networks using convex regions. - Steven Schockaert; Sanjiang Li (Artif. Intell., 2015)

Cardinal directions: a comparison of direction relation matrix and objects interaction matrix. - Sanjiang Li; Weiming Liu 001 (Int. J. Geogr. Inf. Sci., 2015)

The Quintuple Implication Principle of fuzzy reasoning. - Baokui Zhou; Genqi Xu; Sanjiang Li (Inf. Sci., 2015)

On Redundancy in Simple Temporal Networks. - Jae Hee Lee 001; Sanjiang Li; Zhiguo Long; Michael Sioutis (ECAI, 2016)

Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks. - Zhiguo Long; Michael Sioutis; Sanjiang Li (IJCAI, 2016)

Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions. - Zhiguo Long; Steven Schockaert; Sanjiang Li (KR, 2016)

Efficiently Reasoning about Qualitative Constraints through Variable Elimination. - Michael Sioutis; Zhiguo Long; Sanjiang Li (SETN, 2016)

Indexing large geographic datasets with compact qualitative representation. - Zhiguo Long; Matt Duckham; Sanjiang Li; Steven Schockaert (Int. J. Geogr. Inf. Sci., 2016)

A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints. - Shufeng Kong; Jae Hee Lee 001; Sanjiang Li (AAMAS, 2017)

On Redundant Topological Constraints (Extended Abstract). - Sanjiang Li; Zhiguo Long; Weiming Liu 001; Matt Duckham; Alan Both (IJCAI, 2017)

On tree-preserving constraints. - Shufeng Kong; Sanjiang Li; Yongming Li 001; Zhiguo Long (Ann. Math. Artif. Intell., 2017)

Multiagent Simple Temporal Problem: The Arc-Consistency Approach. - Shufeng Kong; Jae Hee Lee 001; Sanjiang Li (AAAI, 2018)

Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces. - Steven Schockaert; Sanjiang Li (IJCAI, 2018)

A new distributed algorithm for efficient generalized arc-consistency propagation. - Shufeng Kong; Jae Hee Lee 001; Sanjiang Li (Auton. Agents Multi Agent Syst., 2018)

Exploring Directional Path-Consistency for Solving Constraint Networks. - Shufeng Kong; Sanjiang Li; Michael Sioutis (Comput. J., 2018)

Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints. - Michael Sioutis; Zhiguo Long; Sanjiang Li (Int. J. Artif. Intell. Tools, 2018)

Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights. - Sanjiang Li; Yongming Li 001 (CoRR, 2019)

Let's Play Mahjong! - Sanjiang Li; Xueqing Yan (CoRR, 2019)

Computation tree logic model checking based on multi-valued possibility measures. - Yongming Li 001; Lihui Lei; Sanjiang Li (Inf. Sci., 2019)

A Monte Carlo Tree Search Framework for Quantum Circuit Transformation. - Xiangzhen Zhou; Yuan Feng 001; Sanjiang Li (ICCAD, 2020)

On constructing the largest and smallest uninorms on bounded lattices. - Aifang Xie; Sanjiang Li (Fuzzy Sets Syst., 2020)

Compact geometric representation of qualitative directional knowledge. - Zhiguo Long; Hua Meng 001; Tianrui Li 001; Sanjiang Li (Knowl. Based Syst., 2020)

Stability analysis of chemotaxis dynamics in bacterial foraging optimization over multi-dimensional objective functions. - Cuicui Yang; Junzhong Ji; Sanjiang Li (Soft Comput., 2020)

Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search. - Xiangzhen Zhou; Sanjiang Li; Yuan Feng 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Approximate Equivalence Checking of Noisy Quantum Circuits. - Xin Hong; Mingsheng Ying; Yuan Feng 001; Xiangzhen Zhou; Sanjiang Li (DAC, 2021)

A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand. - Xueqing Yan; Yongming Li 001; Sanjiang Li (CoRR, 2021)

Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search. - Sanjiang Li; Xiangzhen Zhou; Yuan Feng 001 (IEEE Trans. Computers, 2021)

Equivalence Checking of Dynamic Quantum Circuits. - Xin Hong; Yuan Feng 001; Sanjiang Li; Mingsheng Ying (ICCAD, 2022)

On quotients of formal power series. - Yongming Li 001; Qian Wang; Sanjiang Li (Inf. Comput., 2022)

Verification of Distributed Quantum Programs. - Yuan Feng 001; Sanjiang Li; Mingsheng Ying (ACM Trans. Comput. Log., 2022)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits. - Xin Hong; Xiangzhen Zhou; Sanjiang Li; Yuan Feng 001; Mingsheng Ying (ACM Trans. Design Autom. Electr. Syst., 2022)

Quantum Circuit Transformation: A Monte Carlo Tree Search Framework. - Xiangzhen Zhou; Yuan Feng 001; Sanjiang Li (ACM Trans. Design Autom. Electr. Syst., 2022)

Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. - Afrad Basheer; Yuan Feng 001; Christopher Ferrie; Sanjiang Li (AAAI, 2023)

Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. - Sanjiang Li; Ky Dan Nguyen; Zachary Clare; Yuan Feng 001 (ICCAD, 2023)

Decision Diagrams for Symbolic Verification of Quantum Circuits. - Xin Hong; Wei-Jia Huang; Wei-Chen Chien; Yuan Feng 001; Min-Hsiu Hsieh; Sanjiang Li; Chia-Shun Yeh; Mingsheng Ying (QCE, 2023)

Supervised Learning Enhanced Quantum Circuit Transformation. - Xiangzhen Zhou; Yuan Feng 001; Sanjiang Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. - Yuan Feng 001; Sanjiang Li (Inf. Comput., 2023)

Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows. - Afrad Basheer; Yuan Feng 001; Christopher Ferrie; Sanjiang Li (IJCAI, 2024)

On the Trainability and Classical Simulability of Learning Matrix Product States Variationally. - Afrad Basheer; Yuan Feng 001; Christopher Ferrie; Sanjiang Li; Hakop Pashayan (AAAI, 2025)

Image Computation for Quantum Transition Systems. - Xin Hong; Dingchao Gao; Sanjiang Li; Shenggang Ying; Mingsheng Ying (DATE, 2025)

LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations. - Xin Hong; Aochu Dai; Dingchao Gao; Sanjiang Li; Zhengfeng Ji; Mingsheng Ying (CoRR, 2025)

Quantum State Preparation Based on LimTDD. - Xin Hong; Chenjian Li; Aochu Dai; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps. - Xin Hong; Aochu Dai; Chenjian Li; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)

Qubit mapping: the adaptive divide-and-conquer approach. - Yunqi Huang; Xiangzhen Zhou; Fanxu Meng; Sanjiang Li (Quantum Inf. Process., 2025)

DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation. - Yunqi Huang; Dingchao Gao; Shenggang Ying; Sanjiang Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)