![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sanjiang Li
Person information
- affiliation: University of Technology Sydney, Australia
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j46]Yuan Feng
, Sanjiang Li
:
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. Inf. Comput. 294: 105077 (2023) - [j45]Xiangzhen Zhou
, Yuan Feng
, Sanjiang Li
:
Supervised Learning Enhanced Quantum Circuit Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(2): 437-447 (2023) - 2022
- [j44]Yongming Li
, Qian Wang, Sanjiang Li
:
On quotients of formal power series. Inf. Comput. 285(Part): 104874 (2022) - [j43]Yuan Feng
, Sanjiang Li
, Mingsheng Ying
:
Verification of Distributed Quantum Programs. ACM Trans. Comput. Log. 23(3): 19:1-19:40 (2022) - [j42]Xiangzhen Zhou
, Yuan Feng
, Sanjiang Li
:
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework. ACM Trans. Design Autom. Electr. Syst. 27(6): 59:1-59:27 (2022) - [j41]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): 60:1-60:30 (2022) - 2021
- [j40]Sanjiang Li
, Xiangzhen Zhou
, Yuan Feng
:
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search. IEEE Trans. Computers 70(11): 1777-1788 (2021) - 2020
- [j39]Aifang Xie, Sanjiang Li
:
On constructing the largest and smallest uninorms on bounded lattices. Fuzzy Sets Syst. 386: 95-104 (2020) - [j38]Zhiguo Long
, Hua Meng, Tianrui Li
, Sanjiang Li
:
Compact geometric representation of qualitative directional knowledge. Knowl. Based Syst. 195: 105616 (2020) - [j37]Cuicui Yang, Junzhong Ji, Sanjiang Li
:
Stability analysis of chemotaxis dynamics in bacterial foraging optimization over multi-dimensional objective functions. Soft Comput. 24(5): 3711-3725 (2020) - [j36]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): 4683-4694 (2020) - 2019
- [j35]Yongming Li
, Lihui Lei, Sanjiang Li
:
Computation tree logic model checking based on multi-valued possibility measures. Inf. Sci. 485: 87-113 (2019) - 2018
- [j34]Shufeng Kong
, Jae Hee Lee
, Sanjiang Li
:
A new distributed algorithm for efficient generalized arc-consistency propagation. Auton. Agents Multi Agent Syst. 32(5): 569-601 (2018) - [j33]Shufeng Kong
, Sanjiang Li
, Michael Sioutis
:
Exploring Directional Path-Consistency for Solving Constraint Networks. Comput. J. 61(9): 1338-1350 (2018) - [j32]Michael Sioutis
, Zhiguo Long
, Sanjiang Li
:
Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints. Int. J. Artif. Intell. Tools 27(4): 1860001:1-1860001:37 (2018) - 2017
- [j31]Shufeng Kong
, Sanjiang Li
, Yongming Li
, Zhiguo Long
:
On tree-preserving constraints. Ann. Math. Artif. Intell. 81(3-4): 241-271 (2017) - 2016
- [j30]Zhiguo Long
, Matt Duckham
, Sanjiang Li
, Steven Schockaert
:
Indexing large geographic datasets with compact qualitative representation. Int. J. Geogr. Inf. Sci. 30(6): 1072-1094 (2016) - 2015
- [j29]Steven Schockaert
, Sanjiang Li
:
Realizing RCC8 networks using convex regions. Artif. Intell. 218: 74-105 (2015) - [j28]Sanjiang Li
, Zhiguo Long
, Weiming Liu, Matt Duckham
, Alan Both
:
On redundant topological constraints. Artif. Intell. 225: 51-76 (2015) - [j27]Sanjiang Li
, Weiming Liu:
Cardinal directions: a comparison of direction relation matrix and objects interaction matrix. Int. J. Geogr. Inf. Sci. 29(2): 194-216 (2015) - [j26]Baokui Zhou, Genqi Xu
, Sanjiang Li
:
The Quintuple Implication Principle of fuzzy reasoning. Inf. Sci. 297: 202-215 (2015) - 2014
- [j25]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: 493-532 (2014) - 2013
- [j24]Sanjiang Li
, Weiming Liu, Sheng-Sheng Wang:
Qualitative constraint satisfaction problems: An extended framework with landmarks. Artif. Intell. 201: 32-58 (2013) - [j23]Zhiguo Long
, Sanjiang Li
:
A complete classification of spatial relations using the Voronoi-based nine-intersection model. Int. J. Geogr. Inf. Sci. 27(10): 2006-2025 (2013) - 2012
- [j22]Sanjiang Li
, Anthony G. Cohn:
Reasoning with Topological and Directional Spatial Information. Comput. Intell. 28(4): 579-616 (2012) - 2011
- [j21]Weiming Liu, Sanjiang Li
:
Reasoning about cardinal directions between extended objects: The NP-hardness result. Artif. Intell. 175(18): 2155-2169 (2011) - [j20]Weiming Liu, Sanjiang Li
:
On standard models of fuzzy region connection calculus. Int. J. Approx. Reason. 52(9): 1337-1354 (2011) - 2010
- [j19]Weiming Liu, Xiaotong Zhang, Sanjiang Li
, Mingsheng Ying
:
Reasoning about cardinal directions between extended objects. Artif. Intell. 174(12-13): 951-983 (2010) - 2008
- [j18]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): 26-32 (2008) - [j17]Sanjiang Li
, Mingsheng Ying
:
Soft constraint abstraction based on semiring homomorphism. Theor. Comput. Sci. 403(2-3): 192-201 (2008) - 2007
- [j16]Sanjiang Li
:
A representation theorem for minmax regret policies. Artif. Intell. 171(1): 19-24 (2007) - [j15]Sanjiang Li
, Bernhard Nebel
:
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach. Comput. J. 50(4): 391-402 (2007) - 2006
- [j14]Sanjiang Li
, Huaiqing Wang:
RCC8 binary constraint network can be consistently extended. Artif. Intell. 170(1): 1-18 (2006) - [j13]Sanjiang Li
:
On Topological Consistency and Realization. Constraints An Int. J. 11(1): 31-51 (2006) - [j12]Lirong Xia, Sanjiang Li:
On minimal models of the Region Connection Calculus. Fundam. Informaticae 69(4): 427-446 (2006) - [j11]Sanjiang Li
:
A complete classification of topological relations using the 9-intersection method. Int. J. Geogr. Inf. Sci. 20(6): 589-610 (2006) - [j10]Sanjiang Li
, Yongming Li
:
On the complemented disk algebra. J. Log. Algebraic Methods Program. 66(2): 195-211 (2006) - 2005
- [j9]Sanjiang Li, Mingsheng Ying, Yongming Li:
On countable RCC models. Fundam. Informaticae 65(4): 329-351 (2005) - 2004
- [j8]Sanjiang Li
, Mingsheng Ying
:
Generalized Region Connection Calculus. Artif. Intell. 160(1-2): 1-34 (2004) - [j7]Sanjiang Li
, Maokang Luo:
A note on stratified L-real line and unit L-interval. Fuzzy Sets Syst. 147(2): 327-332 (2004) - [j6]Yongming Li
, Sanjiang Li
:
A fuzzy sets theoretic approach to approximate spatial reasoning. IEEE Trans. Fuzzy Syst. 12(6): 745-754 (2004) - 2003
- [j5]Sanjiang Li
, Mingsheng Ying
:
Region Connection Calculus: Its models and composition table. Artif. Intell. 145(1-2): 121-146 (2003) - [j4]Sanjiang Li
, Maokang Luo:
Generalized Lowen functors. Fuzzy Sets Syst. 133(3): 375-387 (2003) - [j3]Sanjiang Li
, Maokang Luo:
A negative answer to T. Kubiak's question. Fuzzy Sets Syst. 133(3): 407-409 (2003) - [j2]Sanjiang Li
, Maokang Luo:
FNS is not isomorphic to FTS. Fuzzy Sets Syst. 136(1): 127-131 (2003) - [j1]Sanjiang Li, Mingsheng Ying:
Extensionality of the RCC8 Composition Table. Fundam. Informaticae 55(3-4): 363-385 (2003)
Conference and Workshop Papers
- 2023
- [c36]Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li:
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. AAAI 2023: 6770-6778 - [c35]Sanjiang Li
, Ky Dan Nguyen, Zachary Clare, Yuan Feng:
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. ICCAD 2023: 1-9 - [c34]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: 970-977 - 2022
- [c33]Xin Hong, Yuan Feng
, Sanjiang Li
, Mingsheng Ying
:
Equivalence Checking of Dynamic Quantum Circuits. ICCAD 2022: 127:1-127:8 - 2021
- [c32]Xin Hong, Mingsheng Ying
, Yuan Feng
, Xiangzhen Zhou
, Sanjiang Li
:
Approximate Equivalence Checking of Noisy Quantum Circuits. DAC 2021: 637-642 - 2020
- [c31]Xiangzhen Zhou
, Yuan Feng
, Sanjiang Li
:
A Monte Carlo Tree Search Framework for Quantum Circuit Transformation. ICCAD 2020: 138:1-138:7 - 2018
- [c30]Shufeng Kong
, Jae Hee Lee, Sanjiang Li:
Multiagent Simple Temporal Problem: The Arc-Consistency Approach. AAAI 2018: 6219-6226 - [c29]Steven Schockaert, Sanjiang Li
:
Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces. IJCAI 2018: 1963-1969 - 2017
- [c28]Shufeng Kong, Jae Hee Lee, Sanjiang Li:
A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints. AAMAS 2017: 203-211 - [c27]Sanjiang Li
, Zhiguo Long
, Weiming Liu, Matt Duckham, Alan Both:
On Redundant Topological Constraints (Extended Abstract). IJCAI 2017: 5020-5024 - 2016
- [c26]Jae Hee Lee
, Sanjiang Li
, Zhiguo Long
, Michael Sioutis
:
On Redundancy in Simple Temporal Networks. ECAI 2016: 828-836 - [c25]Zhiguo Long, Michael Sioutis, Sanjiang Li:
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks. IJCAI 2016: 1202-1208 - [c24]Zhiguo Long
, Steven Schockaert, Sanjiang Li:
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions. KR 2016: 463-472 - [c23]Michael Sioutis
, Zhiguo Long
, Sanjiang Li
:
Efficiently Reasoning about Qualitative Constraints through Variable Elimination. SETN 2016: 1:1-1:10 - 2015
- [c22]Hua Meng, Hui Kou, Sanjiang Li:
Belief Revision with General Epistemic States. AAAI 2015: 1553-1559 - [c21]Zhiguo Long
, Sanjiang Li
:
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi. COSIT 2015: 354-374 - [c20]Shufeng Kong
, Sanjiang Li
, Yongming Li
, Zhiguo Long
:
On Tree-Preserving Constraints. CP 2015: 244-261 - [c19]Michael Sioutis, Sanjiang Li, Jean-François Condotta:
On Redundancy in Linked Geospatial Data. LDQ@ESWC 2015 - [c18]Michael Sioutis, Sanjiang Li, Jean-François Condotta:
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. IJCAI 2015: 3229-3235 - 2014
- [c17]Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long:
On Redundant Topological Constraints. KR 2014 - [c16]Hua Meng
, Sanjiang Li
:
A Topological Characterisation of Belief Revision over Infinite Propositional Languages. PRICAI 2014: 77-90 - 2013
- [c15]Jason Jingshi Li, Sanjiang Li
:
On Finding Approximate Solutions of Qualitative Constraint Networks. ICTAI 2013: 30-37 - [c14]Steven Schockaert, Sanjiang Li:
Combining RCC5 Relations with Betweenness Information. IJCAI 2013: 1083-1089 - 2012
- [c13]Ivo Düntsch
, Sanjiang Li
:
Extension Properties of Boolean Contact Algebras. RAMiCS 2012: 342-356 - [c12]Weiming Liu, Sanjiang Li
:
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. CP 2012: 464-479 - [c11]Weiming Liu, Sanjiang Li
:
Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction. ECAI 2012: 552-557 - [c10]Steven Schockaert
, Sanjiang Li
:
Convex Solutions of RCC8 Networks. ECAI 2012: 726-731 - 2011
- [c9]Weiming Liu, Sheng-Sheng Wang, Sanjiang Li
, Dayou Liu:
Solving Qualitative Constraints Involving Landmarks. CP 2011: 523-537 - 2010
- [c8]Sanjiang Li, Weiming Liu:
Topological Relations between Convex Regions. AAAI 2010: 321-326 - [c7]Matt Duckham
, Myeong-Hun Jeong
, Sanjiang Li
, Jochen Renz:
Decentralized querying of topological relations between regions without using localization. GIS 2010: 414-417 - [c6]Sanjiang Li:
A Layered Graph Representation for Complex Regions. KR 2010 - 2009
- [c5]Weiming Liu, Sanjiang Li, Jochen Renz:
Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity. IJCAI 2009: 854-859 - 2008
- [c4]Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI 2008: 387-392 - [c3]Jason Jingshi Li, Tomasz Kowalski
, Jochen Renz, Sanjiang Li
:
Combining binary constraint networks in qualitative reasoning. ECAI 2008: 515-519 - 2007
- [c2]Sanjiang Li:
Combining Topological and Directional Information for Spatial Reasoning. IJCAI 2007: 435-440 - 2006
- [c1]Sanjiang Li
:
Combining Topological and Directional Information: First Results. KSEM 2006: 252-264
Informal and Other Publications
- 2023
- [i23]Sanjiang Li
, Ky Dan Nguyen, Zachary Clare, Yuan Feng
:
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. CoRR abs/2308.00876 (2023) - 2022
- [i22]Yuan Feng, Sanjiang Li:
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. CoRR abs/2206.13772 (2022) - 2021
- [i21]Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li:
Approximate Equivalence Checking of Noisy Quantum Circuits. CoRR abs/2103.11595 (2021) - [i20]Yuan Feng, Sanjiang Li, Mingsheng Ying:
Verification of Distributed Quantum Programs. CoRR abs/2104.14796 (2021) - [i19]Xueqing Yan, Yongming Li, Sanjiang Li:
A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand. CoRR abs/2108.06832 (2021) - 2020
- [i18]Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying:
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. CoRR abs/2009.02618 (2020) - 2019
- [i17]Sanjiang Li, Yongming Li:
Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights. CoRR abs/1903.01756 (2019) - [i16]Sanjiang Li, Xueqing Yan:
Let's Play Mahjong! CoRR abs/1903.03294 (2019) - 2017
- [i15]Shufeng Kong, Sanjiang Li, Michael Sioutis
:
Exploring Directional Path-Consistency for Solving Constraint Networks. CoRR abs/1708.05522 (2017) - [i14]Shufeng Kong, Jae Hee Lee, Sanjiang Li:
Multiagent Simple Temporal Problem: The Arc-Consistency Approach. CoRR abs/1711.08151 (2017) - 2015
- [i13]Zhiguo Long, Sanjiang Li:
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi. CoRR abs/1506.00337 (2015) - 2014
- [i12]Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long:
On Redundant Topological Constraints. CoRR abs/1403.0613 (2014) - [i11]Steven Schockaert, Sanjiang Li:
Realizing RCC8 networks using convex regions. CoRR abs/1410.2442 (2014) - 2012
- [i10]Yongming Li, Qian Wang, Sanjiang Li:
On Quotients of Formal Power Series. CoRR abs/1203.2236 (2012) - 2011
- [i9]Weiming Liu, Sanjiang Li:
On A Semi-Automatic Method for Generating Composition Tables. CoRR abs/1105.4224 (2011) - 2010
- [i8]Weiming Liu, Sanjiang Li:
Reasoning about Cardinal Directions between Extended Objects: The Hardness Result. CoRR abs/1011.0233 (2010) - 2009
- [i7]Sanjiang Li:
A Layered Graph Representation for Complex Regions. CoRR abs/0909.0109 (2009) - [i6]Sanjiang Li, Anthony G. Cohn:
Reasoning with Topological and Directional Spatial Information. CoRR abs/0909.0122 (2009) - [i5]Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning about Cardinal Directions between Extended Objects. CoRR abs/0909.0138 (2009) - 2008
- [i4]Sanjiang Li:
Causal models have no complete axiomatic characterization. CoRR abs/0804.2401 (2008) - 2007
- [i3]Sanjiang Li, Mingsheng Ying:
Soft constraint abstraction based on semiring homomorphism. CoRR abs/0705.0734 (2007) - 2005
- [i2]Yongming Li, Sanjiang Li, Mingsheng Ying:
Relational reasoning in the region connection calculus. CoRR abs/cs/0505041 (2005) - 2004
- [i1]Sanjiang Li, Huaiqing Wang:
Multi-agent coordination using nearest neighbor rules: revisiting the Vicsek model. CoRR cs.MA/0407021 (2004)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint