Region Connection Calculus: Its models and composition table S Li, M Ying Artificial Intelligence 145 (1-2), 121-146, 2003 | 155 | 2003 |
Multi-agent coordination using nearest neighbor rules: Revisiting the Vicsek model S Li, H Wang Arxiv preprint cs/0407021, 2004 | 73 | 2004 |
Combining topological and directional information for spatial reasoning S Li Proceedings of the 20th International Joint Conference on Artificial …, 2007 | 71 | 2007 |
Generalized region connection calculus S Li, M Ying Artificial Intelligence 160 (1-2), 1-34, 2004 | 71 | 2004 |
Combining RCC-8 with qualitative direction calculi: Algorithms and complexity W Liu, S Li, J Renz Proceedings of IJCAI-09, 854-859, 2009 | 61 | 2009 |
Reasoning about cardinal directions between extended objects W Liu, X Zhang, S Li, M Ying Artificial Intelligence 174 (12-13), 951-983, 2010 | 60 | 2010 |
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 | 55 | 2020 |
A fuzzy sets theoretic approach to approximate spatial reasoning Y Li, S Li Fuzzy Systems, IEEE Transactions on 12 (6), 745-754, 2004 | 54 | 2004 |
A complete classification of topological relations using the 9‐intersection method S Li International Journal of Geographical Information Science 20 (6), 589-610, 2006 | 49 | 2006 |
On topological consistency and realization S Li Constraints 11 (1), 31-51, 2006 | 48 | 2006 |
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 | 45 | 2014 |
The quintuple implication principle of fuzzy reasoning B Zhou, G Xu, S Li Information Sciences 297, 202-215, 2015 | 44 | 2015 |
On redundant topological constraints S Li, Z Long, W Liu, M Duckham, A Both Artificial Intelligence 225, 51-76, 2015 | 40 | 2015 |
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 | 38 | 2022 |
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 | 38 | 2020 |
On distributive subalgebras of qualitative spatial and temporal calculi Z Long, S Li International Conference on Spatial Information Theory, 354-374, 2015 | 36 | 2015 |
Extensionality of the RCC8 composition table S Li, M Ying Fundamenta Informaticae 55 (3-4), 363-386, 2003 | 36 | 2003 |
Reasoning with topological and directional spatial information S Li, AG Cohn Arxiv preprint arXiv:0909.0122, 2009 | 35 | 2009 |
Computation tree logic model checking based on multi-valued possibility measures Y Li, L Lei, S Li Information sciences 485, 87-113, 2019 | 30 | 2019 |
RCC8 binary constraint network can be consistently extended S Li, H Wang Artificial Intelligence 170 (1), 1-18, 2006 | 30 | 2006 |