Sanjiang Li

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 41

Top Venues

Publications

Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. CoRR (2023)
Yuan Feng, Sanjiang Li
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. Inf. Comput. 294 (2023)
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. AAAI (2023)
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. ICCAD (2023)
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
Supervised Learning Enhanced Quantum Circuit Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (2) (2023)
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
Decision Diagrams for Symbolic Verification of Quantum Circuits. QCE (2023)
Yongming Li, Qian Wang, Sanjiang Li
On quotients of formal power series. Inf. Comput. 285 (Part) (2022)
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Design Autom. Electr. Syst. 27 (6) (2022)
Yuan Feng, Sanjiang Li
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. CoRR (2022)
Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
Equivalence Checking of Dynamic Quantum Circuits. ICCAD (2022)
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework. ACM Trans. Design Autom. Electr. Syst. 27 (6) (2022)
Yuan Feng, Sanjiang Li, Mingsheng Ying
Verification of Distributed Quantum Programs. ACM Trans. Comput. Log. 23 (3) (2022)
Xueqing Yan, Yongming Li, Sanjiang Li
A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand. CoRR (2021)
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search. IEEE Trans. Computers 70 (11) (2021)
Yuan Feng, Sanjiang Li, Mingsheng Ying
Verification of Distributed Quantum Programs. CoRR (2021)
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
Approximate Equivalence Checking of Noisy Quantum Circuits. DAC (2021)
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
Approximate Equivalence Checking of Noisy Quantum Circuits. CoRR (2021)
Aifang Xie, Sanjiang Li
On constructing the largest and smallest uninorms on bounded lattices. Fuzzy Sets Syst. 386 (2020)
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. CoRR (2020)
Zhiguo Long, Hua Meng, Tianrui Li, Sanjiang Li
Compact geometric representation of qualitative directional knowledge. Knowl. Based Syst. 195 (2020)
Cuicui Yang, Junzhong Ji, Sanjiang Li
Stability analysis of chemotaxis dynamics in bacterial foraging optimization over multi-dimensional objective functions. Soft Comput. 24 (5) (2020)
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
A Monte Carlo Tree Search Framework for Quantum Circuit Transformation. ICCAD (2020)
Xiangzhen Zhou, Sanjiang Li, Yuan Feng
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Sanjiang Li, Xueqing Yan
Let's Play Mahjong! CoRR (2019)
Yongming Li, Lihui Lei, Sanjiang Li
Computation tree logic model checking based on multi-valued possibility measures. Inf. Sci. 485 (2019)
Sanjiang Li, Yongming Li
Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights. CoRR (2019)
Michael Sioutis, Zhiguo Long, Sanjiang Li
Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints. Int. J. Artif. Intell. Tools 27 (4) (2018)
Shufeng Kong, Sanjiang Li, Michael Sioutis
Exploring Directional Path-Consistency for Solving Constraint Networks. Comput. J. 61 (9) (2018)
Shufeng Kong, Jae Hee Lee, Sanjiang Li
A new distributed algorithm for efficient generalized arc-consistency propagation. Auton. Agents Multi Agent Syst. 32 (5) (2018)
Shufeng Kong, Jae Hee Lee, Sanjiang Li
Multiagent Simple Temporal Problem: The Arc-Consistency Approach. AAAI (2018)
Steven Schockaert, Sanjiang Li
Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces. IJCAI (2018)
Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
On tree-preserving constraints. Ann. Math. Artif. Intell. 81 (3-4) (2017)
Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both
On Redundant Topological Constraints (Extended Abstract). IJCAI (2017)
Shufeng Kong, Jae Hee Lee, Sanjiang Li
A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints. AAMAS (2017)
Shufeng Kong, Sanjiang Li, Michael Sioutis
Exploring Directional Path-Consistency for Solving Constraint Networks. CoRR (2017)
Shufeng Kong, Jae Hee Lee, Sanjiang Li
Multiagent Simple Temporal Problem: The Arc-Consistency Approach. CoRR (2017)
Zhiguo Long, Michael Sioutis, Sanjiang Li
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks. IJCAI (2016)
Michael Sioutis, Zhiguo Long, Sanjiang Li
Efficiently Reasoning about Qualitative Constraints through Variable Elimination. SETN (2016)
Zhiguo Long, Matt Duckham, Sanjiang Li, Steven Schockaert
Indexing large geographic datasets with compact qualitative representation. Int. J. Geogr. Inf. Sci. 30 (6) (2016)
Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis
On Redundancy in Simple Temporal Networks. ECAI (2016)
Zhiguo Long, Steven Schockaert, Sanjiang Li
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions. KR (2016)
Zhiguo Long, Sanjiang Li
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi. CoRR (2015)
Hua Meng, Hui Kou, Sanjiang Li
Belief Revision with General Epistemic States. AAAI (2015)
Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
On Tree-Preserving Constraints. CP (2015)
Zhiguo Long, Sanjiang Li
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi. COSIT (2015)
Baokui Zhou, Genqi Xu, Sanjiang Li
The Quintuple Implication Principle of fuzzy reasoning. Inf. Sci. 297 (2015)
Steven Schockaert, Sanjiang Li
Realizing RCC8 networks using convex regions. Artif. Intell. 218 (2015)
Michael Sioutis, Sanjiang Li, Jean-François Condotta
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. IJCAI (2015)
Michael Sioutis, Sanjiang Li, Jean-François Condotta
On Redundancy in Linked Geospatial Data. LDQ@ESWC (2015)
Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both
On redundant topological constraints. Artif. Intell. 225 (2015)
Sanjiang Li, Weiming Liu
Cardinal directions: a comparison of direction relation matrix and objects interaction matrix. Int. J. Geogr. Inf. Sci. 29 (2) (2015)
Steven Schockaert, Sanjiang Li
Realizing RCC8 networks using convex regions. CoRR (2014)
Hua Meng, Sanjiang Li
A Topological Characterisation of Belief Revision over Infinite Propositional Languages. PRICAI (2014)
Anthony G. Cohn, Sanjiang Li, Weiming Liu, Jochen Renz
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects. J. Artif. Intell. Res. 51 (2014)
Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long
On Redundant Topological Constraints. CoRR (2014)
Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long
On Redundant Topological Constraints. KR (2014)
Steven Schockaert, Sanjiang Li
Combining RCC5 Relations with Betweenness Information. IJCAI (2013)
Sanjiang Li, Weiming Liu, Sheng-sheng Wang
Qualitative constraint satisfaction problems: An extended framework with landmarks. Artif. Intell. 201 (2013)
Zhiguo Long, Sanjiang Li
A complete classification of spatial relations using the Voronoi-based nine-intersection model. Int. J. Geogr. Inf. Sci. 27 (10) (2013)
Jason Jingshi Li, Sanjiang Li
On Finding Approximate Solutions of Qualitative Constraint Networks. ICTAI (2013)
Yongming Li, Qian Wang, Sanjiang Li
On Quotients of Formal Power Series CoRR (2012)
Weiming Liu, Sanjiang Li
Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction. ECAI (2012)
Steven Schockaert, Sanjiang Li
Convex Solutions of RCC8 Networks. ECAI (2012)
Sanjiang Li, Anthony G. Cohn
Reasoning with Topological and Directional Spatial Information. Comput. Intell. 28 (4) (2012)
Ivo Düntsch, Sanjiang Li
Extension Properties of Boolean Contact Algebras. RAMiCS (2012)
Weiming Liu, Sanjiang Li
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. CP (2012)
Weiming Liu, Sanjiang Li
On standard models of fuzzy region connection calculus. Int. J. Approx. Reason. 52 (9) (2011)
Weiming Liu, Sanjiang Li
Reasoning about cardinal directions between extended objects: The NP-hardness result. Artif. Intell. 175 (18) (2011)
Weiming Liu, Sheng-sheng Wang, Sanjiang Li, Dayou Liu
Solving Qualitative Constraints Involving Landmarks. CP (2011)
Weiming Liu, Sanjiang Li
On A Semi-Automatic Method for Generating Composition Tables CoRR (2011)
Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying
Reasoning about cardinal directions between extended objects. Artif. Intell. 174 (12-13) (2010)
Sanjiang Li
A Layered Graph Representation for Complex Regions. KR (2010)
Sanjiang Li, Weiming Liu
Topological Relations between Convex Regions. AAAI (2010)
Matt Duckham, Myeong-Hun Jeong, Sanjiang Li, Jochen Renz
Decentralized querying of topological relations between regions without using localization. GIS (2010)
Weiming Liu, Sanjiang Li
Reasoning about Cardinal Directions between Extended Objects: The Hardness Result CoRR (2010)
Sanjiang Li
A Layered Graph Representation for Complex Regions CoRR (2009)
Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying
Reasoning about Cardinal Directions between Extended Objects CoRR (2009)
Sanjiang Li, Anthony G. Cohn
Reasoning with Topological and Directional Spatial Information CoRR (2009)
Weiming Liu, Sanjiang Li, Jochen Renz
Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity. IJCAI (2009)
Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying
Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI (2008)
Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
Combining binary constraint networks in qualitative reasoning. ECAI (2008)
Sanjiang Li
Causal models have no complete axiomatic characterization CoRR (2008)
Xiao-Shan Gao, Dantong Ouyang, Ji-gui Sun, Sanjiang Li, Tian-shun Yao, Ruzhan Lu, Chun-yi Shi, Zhangang Han, Jue Wang, Cun-gen Cao, Ruqian Lu
AI in China: A Survey. IEEE Intell. Syst. 23 (6) (2008)
Sanjiang Li, Mingsheng Ying
Soft constraint abstraction based on semiring homomorphism. Theor. Comput. Sci. 403 (2-3) (2008)
Sanjiang Li, Bernhard Nebel
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach. Comput. J. 50 (4) (2007)
Sanjiang Li
A representation theorem for minmax regret policies. Artif. Intell. 171 (1) (2007)
Sanjiang Li
Combining Topological and Directional Information for Spatial Reasoning. IJCAI (2007)
Sanjiang Li, Mingsheng Ying
Soft constraint abstraction based on semiring homomorphism CoRR (2007)
Sanjiang Li
On Topological Consistency and Realization. Constraints An Int. J. 11 (1) (2006)
Lirong Xia, Sanjiang Li
On minimal models of the Region Connection Calculus. Fundam. Informaticae 69 (4) (2006)
Sanjiang Li, Yongming Li
On the complemented disk algebra. J. Log. Algebraic Methods Program. 66 (2) (2006)
Sanjiang Li
A complete classification of topological relations using the 9-intersection method. Int. J. Geogr. Inf. Sci. 20 (6) (2006)
Sanjiang Li
Combining Topological and Directional Information: First Results. KSEM (2006)
Sanjiang Li, Huaiqing Wang
RCC8 binary constraint network can be consistently extended. Artif. Intell. 170 (1) (2006)
Sanjiang Li, Mingsheng Ying, Yongming Li
On countable RCC models. Fundam. Informaticae 65 (4) (2005)
Yongming Li, Sanjiang Li, Mingsheng Ying
Relational reasoning in the region connection calculus CoRR (2005)
Sanjiang Li, Huaiqing Wang
Multi-agent coordination using nearest neighbor rules: revisiting the Vicsek model CoRR (2004)
Yongming Li, Sanjiang Li
A fuzzy sets theoretic approach to approximate spatial reasoning. IEEE Trans. Fuzzy Syst. 12 (6) (2004)
Sanjiang Li, Maokang Luo
-interval. Fuzzy Sets Syst. 147 (2) (2004)
Sanjiang Li, Mingsheng Ying
Generalized Region Connection Calculus. Artif. Intell. 160 (1-2) (2004)

Sanjiang Li.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sanjiang Li