Follow
Sanjiang Li
Title
Cited by
Cited by
Year
Region Connection Calculus: Its models and composition table
S Li, M Ying
Artificial Intelligence 145 (1-2), 121-146, 2003
1572003
Multi-agent coordination using nearest neighbor rules: Revisiting the Vicsek model
S Li, H Wang
Arxiv preprint cs/0407021, 2004
732004
Combining topological and directional information for spatial reasoning
S Li
Proceedings of the 20th International Joint Conference on Artificial …, 2007
712007
Generalized region connection calculus
S Li, M Ying
Artificial Intelligence 160 (1-2), 1-34, 2004
712004
Quantum circuit transformation based on simulated annealing and heuristic search
X Zhou, S Li, Y Feng
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
642020
Combining RCC-8 with qualitative direction calculi: Algorithms and complexity
W Liu, S Li, J Renz
Proceedings of IJCAI-09, 854-859, 2009
622009
Reasoning about cardinal directions between extended objects
W Liu, X Zhang, S Li, M Ying
Artificial Intelligence 174 (12-13), 951-983, 2010
602010
A fuzzy sets theoretic approach to approximate spatial reasoning
Y Li, S Li
Fuzzy Systems, IEEE Transactions on 12 (6), 745-754, 2004
542004
Qubit mapping based on subgraph isomorphism and filtered depth-limited search
S Li, X Zhou, Y Feng
IEEE Transactions on Computers 70 (11), 1777-1788, 2020
492020
A complete classification of topological relations using the 9‐intersection method
S Li
International Journal of Geographical Information Science 20 (6), 589-610, 2006
492006
On topological consistency and realization
S Li
Constraints 11 (1), 31-51, 2006
482006
The quintuple implication principle of fuzzy reasoning
B Zhou, G Xu, S Li
Information Sciences 297, 202-215, 2015
452015
Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects
AG Cohn, S Li, W Liu, J Renz
Journal of Artificial Intelligence Research 51, 493-532, 2014
452014
A tensor network based decision diagram for representation of quantum circuits
X Hong, X Zhou, S Li, Y Feng, M Ying
ACM Transactions on Design Automation of Electronic Systems (TODAES) 27 (6 …, 2022
432022
On redundant topological constraints
S Li, Z Long, W Liu, M Duckham, A Both
Artificial Intelligence 225, 51-76, 2015
432015
A Monte Carlo tree search framework for quantum circuit transformation
X Zhou, Y Feng, S Li
Proceedings of the 39th International Conference on Computer-Aided Design, 1-7, 2020
362020
On distributive subalgebras of qualitative spatial and temporal calculi
Z Long, S Li
International Conference on Spatial Information Theory, 354-374, 2015
362015
Extensionality of the RCC8 composition table
S Li, M Ying
Fundamenta Informaticae 55 (3-4), 363-386, 2003
362003
Reasoning with topological and directional spatial information
S Li, AG Cohn
Arxiv preprint arXiv:0909.0122, 2009
352009
Computation tree logic model checking based on multi-valued possibility measures
Y Li, L Lei, S Li
Information sciences 485, 87-113, 2019
312019
The system can't perform the operation now. Try again later.
Articles 1–20