UTS: Professor Sanjiang Li - Quantum Computation Laboratory

University of Technology, Sydney

Staff directory | Campus maps | Newsroom | What's on

Professor Sanjiang Li

ARC Future Fellow and Professor
Core Member, Centre for Quantum Computation and Intelligent Systems

Email: Sanjiang.Li"at"uts.edu.au
Phone: +61 2 9514 7872
Fax: +61 2 9514 4517
Room: CB11.10.202 (map)
Mailing address: PO Box 123, Broadway NSW 2007, Australia

Biography

Education

1996-2001  Sichuan University, Chengdu, China
                   Ph.D., in Mathematics
1992-1996  Shaanxi Normal University, Xi’an, China
                   B.Sc., in Mathematics
 
Employment


January 2010 – Present: Associate Professor, Faculty of Engineering and Information Technology, University of Technology Sydney
January 2009 – December 2009: Senior Lecturer,  Faculty of Engineering and Information Technology, University of Technology Sydney
January 2005 – December 2008: Associate Professor, Dept. Comp. Sci. & Technol., Tsinghua University
July 2003 – December 2004: Assistant Professor, Dept. Comp. Sci. & Technol., Tsinghua University
September 2001 – June 2003: Postdoctoral researcher, Dept. Comp. Sci. & Technol., Tsinghua University
 
Visiting Experience


July – September 2009: Alexander von Humboldt Research Fellow, Bremen University, Germany
April 2008: Visiting Scientist,  Leeds University, UK (Supported by The Royal Society of UK)
April 2007: Visiting Scientist, University of Western Sydney (UWS) and The National University of Australia (ANU), Australia
January 2005 – June 2006: Alexander von Humboldt Research Fellow,  Freiburg University, Germany
June – August 2004: Research Fellow,  City University of Hong Kong, Hong Kong, China
 

Awards
 
UTS Early Career Research Excellence Award, University of Technology Sydney, 2010
ARC Future Fellowship, Australian Research Council, 2009
CVIC Software Award,  CVIC Software Engineering Co., Ltd, 2008
MSRA Young Professorship, Microsoft Research Asia, 2006
Alexander von Humboldt Research Fellowship, Humboldt Foundation, 2004


Research Areas

1 .   My research interests are mainly in spatial reasoning and artificial intelligence. The main objective of my current research is to establish expressive representation formalism of spatial knowledge and provide effective reasoning mechanisms. This will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographical information systems.

Research Grants

1 .   Approximate reasoning with qualitative spatial constraints involving landmarks, ARC Discovery Project (DP120104159), 2012.1-2014.12

2 .   Artificial intelligence meets wireless sensor networks: filling the gaps between sensors using spatial reasoningARC Discovery Project (DP120103758), 2012.1-2014.12

3 .   Intelligent Processing of Complex Spatio-Temporal Knowledge: Fundamental Theory and Practice, National Natural Science Foundation of China (Key Project: Grant No. 61133011, Co-Investigator), 2012.1-2016.12

4 .   2009.7-2013.6 : Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning, ARC Future Fellowship, ARC FT0990811. Sanjiang Li, Sole Investigator.  Total Amount: AUD 686,400

5 .   2007.10-2011.9: Multi-Modal Interaction and Knowledge Inference for Unstructured Information. Ministry of Science & Technology of China, National Program on Key Basic Research Projects (973 Program), Grant No.2007CB311000. Sanjiang Li, Co-Investigator. (Chief-Investigator is Prof. Zongben Xu, Xi’an Jiaotong University). Amount: CNY 300,000

6 .   2007.1-2009.12: Representation and Reasoning with Spatial Knowledge based on Qualitative Calculi. National Natural Science Foundation of China (NSFC), Grant No.60673105. Sanjiang Li, Sole Investigator. Total Amount: CNY 240,000

7 .   2006.7--2009.6: Microsoft Research Asia Young Professorship, MSRA, Grant No.63000249. Sanjiang Li, Sole Investigator. Total Amount: CNY 500,000

8 .   2004.11- 2008.10: Basic Theory and Core Techniques of Non-Standard Knowledge. National Natural Science Foundation of China (NSFC Major Program), 60496321. Sanjiang Li, Co-Investigator. (Chief-Investigator is Prof. Ruqian Lu of the Chinese Academy of Sciences). The Amount allocated to me: CNY 610,000

9 .   2004.1 - 2006.12: Topological Representation and Reasoning of Spatial Knowledge.  National Natural Science Foundation of China (NSFC), Grant No.60305005. Sanjiang Li, Sole Investigator. Total Amount: CNY 230,000

10 .   2003.1-2009.12: Theory and Methods of Intelligent Information Processing. National Natural Foundation of China (NSFC Outstanding Research Group Reward, Grant Nos.60321002 and 60621062. Sanjiang Li, Co-Investigator. (Chief-Investigator is Prof. Mingsheng Ying, Tsinghua University). Total Amount: 8,100,000. (The Amount allocated to me: CNY 480,000)

Community Services

1 .   Member of Program Committee: The 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI-11); The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11); The 20th Australian Joint Conference of Artificial Intelligence (2007); Doctoral Consortium of The 12th Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

2 .   Reviewer for the following journals: Artificial Intelligence; Journal of Artificial Intelligence Research; IEEE Transactions on Fuzzy Systems; IEEE Transactions on Knowledge and Data Engineering; Computer Vision and Image Understanding; Data & Knowledge Engineering; Knowledge and Information Systems; Theoretical Computer Science; International Journal of Geographical Information Science; International Journal of Approximate Reasoning; Discrete Applied Mathematics; The Logic Journal of the Interest Group in Pure and Applied Logics (IGPL, Oxford Univ. Press); Fuzzy Sets & Systems; Information Sciences; Spatial Computation & Cognition; Studia Logica; Journal of Computer Science and Technology; Journal of Software; Sciences in China (series E); Acta Mathematica Sinica; Frontiers of Computer Science in China; International Journal of Software and Informatics.

3 .   Reviewer for the following conferences: The 21st International Joint Conference on Artificial Intelligence (IJACI'2009); The 48th IEEE Conference on Decision and Control (CDC'2009); The 14th International Conference on Artificial Intelligence: Methodology, Systems, Application (AIMSA'2010).

4 .   I am also a reviewer for The National Science Foundation of China (NSFC), and Mathematical Reviews.

Research Publications

All publications

1 .   Sanjiang Li and Anthony G Cohn. Reasoning with topological and directional spatial information. Computational Intelligence (accepted on September 28, 2010) View Details

2 .   Weiming Liu, Sanjiang Li. Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning, Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP-2012), pages 464-479, Quebec City, Canada, October 8-12, 2012.

3 .   Ivo Düntsch, Sanjiang Li. Extension Properties of Boolean Contact Algebras, Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), pages 342-356, Cambridge, UK, September 17-20, 2012.

4 .   Steven Schockaert, Sanjiang Li. Convex solutions of RCC8 networks, Proceedings of the 20th European conference on artificial intelligence (ECAI-2012), Montpellier, France, August 27-31, 2012.

5 .   Weiming Liu, Sanjiang Li. Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction, Proceedings of the 20th European conference on artificial intelligence (ECAI-2012) , Montpellier, France, August 27-31, 2012.

6 .   Weiming Liu, Sanjiang Li. On standard models of fuzzy Region Connection Calculus. International Journal of Approximate Reasoning, 2011, 52(9):1337-1354. View Details

7 .   Weiming Liu, Sanjiang Li. Reasoning about Cardinal Directions between Extended Objects: The NP-Hardness Result. Artificial Intelligence, 2011, 175(18): 2155-2169. View Details

8 .   Weiming Liu, Shengsheng Wang, Sanjiang Li, Dayou Liu. Solving Qualitative Constraints Involving Landmarks, in Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP-2011), pages 523-537, Perugia, Italy from 12-16th September 2011.

9 .   Weiming Liu, Xiaotong Zhang, Sanjiang Li, and Mingsheng Ying. Reasoning about cardinal directions between extended objects. Artificial Intelligence 2010, 174(12-13):951-983. (Corresponding Author. This is the extension of our AAAI-08 paper). View Details

10 .   Sanjiang Li and Weiming Liu. Topological relations between convex regions, in Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10), pages 321-326, Atlanta, Georgia, USA, July 11-15, 2010. View Details

11 .   M. Duckham, L.-J. Guan, S. Li, and J. Renz. Spatial and topological granularity of region relations monitored by Geosensor Networks, to appear in: Sixth international conference on Geographic Information Science (GIScience'10), Zurich, Switzerland, September 2010. View Details

12 .   Sanjiang Li. A layered graph representation for complex regions, in Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), pages 581-583, Toronto, Canada, May 9-13, 2010. View Details

13 .   Weiming Liu, Sanjiang Li, and Jochen Renz. Combining RCC-8 with qualitative direction calculi: algorithms and complexity, in: Proceedings of the Twenty- first International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, CA, July 2009. (Corresponding Author). View Details

14 .   Xiaoshan Gao, Dantong Ouyang, Jigui Sun, Sanjiang Li, Tianshun Yao, Ruzhan Lu, Chunyi Shi, Zhangang Han, Jue Wang, Cungen Cao, and Ruqian Lu. AI in china: a survey. IEEE Intelligent Systems 2008, 23(6): 26-32. View Details

15 .   Sanjiang Li and Mingsheng Ying. Soft constraint abstraction based on semiring homomorphism. Theoretical Computer Science (B) 2008, 403(2-3): 192-201. View Details

16 .   Xiaotong Zhang, Weiming Liu, Sanjiang Li, and Mingsheng Ying. Reasoning with cardinal directions: an efficient algorithm, in Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, IL, 2008. (Corresponding Author). View Details

17 .   Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, and Sanjiang Li. Combining binary constraint networks in qualitative reasoning, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece, July 2008. View Details

18 .   Sanjiang Li and Bernhard Nebel. Qualitative spatial representation and reasoning: a hierarchical approach. The Computer Journal 2007, 50(4): 391-402. View Details

19 .   Sanjiang Li. A representation theorem for minmax regret policies. Artificial Intelligence 2007, 171(1): 19-24. View Details

20 .   Sanjiang Li. Combining topological and directional information for spatial reasoning, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 435-440, AAAI Press, 2007. View Details

21 .   Sanjiang Li. A complete classification of topological relations using 9-intersection method. International Journal of Geographical Information Science 2006, 20(6): 589-610. View Details

22 .   Sanjiang Li and Yongming Li. On the complemented disk algebra. Journal of Logic and Algebraic Programming, 2006 66(2): 195-211. View Details

23 .   Sanjiang Li. On topological consistency and realization. Constraints 2006, 11(1): 31-51. View Details

24 .   Sanjiang Li and Huaiqing Wang. RCC8 binary constraint network can be consistently extended. Artificial Intelligence 2006, 170(1): 1-18. View Details

25 .   Lirong Xia and Sanjiang Li. On minimal models of the region connection calculus. Fundamenta Informaticae 2006, 69(4): 427-446. View Details

26 .   Sanjiang Li. Combining topological and directional information: first results, Knowledge science, Engineering, and Management 2006(KSEM'06), Lecture Notes in Computer Science(LNCS), 4092: 252-264, 2006. View Details

27 .   Sanjiang Li, Mingsheng Ying, and Yongming Li. On countable RCC models. Fundamenta Informaticae 2005, 65(4): 329-351. View Details

28 .   Sanjiang Li and Mingsheng Ying. Generalized region connection calculus. Artificial Intelligence 2004, 160(1-2): 1-34. View Details

29 .   Sanjiang Li and Maokang Luo. A note on stratified L-real line and unit L-interval. Fuzzy Sets and Systems 2004, 147(2): 327-332. View Details

30 .   Yongming Li and Sanjiang Li. A fuzzy sets theoretic approach to approximate spatial reasoning, IEEE Transactions on Fuzzy Systems 2004, 12(6): 745-754. View Details

31 .   Sanjiang Li and Mingsheng Ying. Region connection calculus: its models and composition table, Artificial Intelligence 2003, 145(1-2): 121-146. View Details

32 .   Sanjiang Li and Mingsheng Ying. Extensionality of the RCC8 composition table, Fundamenta Informaticae 2003, 55(3-4): 363-385. View Details

33 .   Sanjiang Li and Maokang Luo. A negative answer to T. Kubiak's problem. Fuzzy Sets and Systems 2003, 133(3): 131-133. View Details

34 .   Sanjiang Li and Maokang Luo. Generalized Lowen functors. Fuzzy Sets and Systems 2003, 133(3): 99-111. View Details

35 .   Sanjiang Li and Maokang Luo. FNS is not isomorphic to FTS, Fuzzy Sets and Systems 2003, 136(1): 127-131. View Details

36 .   Sanjiang Li and Dexue Zhang. A non-topologically generated Hutton-Lowen uniformizable space. Quaestiones Mathematicae 2003, 26(4): 471-477. View Details

Journal Articles

1 .   Sanjiang Li and Anthony G Cohn. Reasoning with topological and directional spatial information. Computational Intelligence (accepted on September 28, 2010) View Details

2 .   Weiming Liu, Sanjiang Li. On standard models of fuzzy Region Connection Calculus. International Journal of Approximate Reasoning, 2011, 52(9):1337-1354. View Details

3 .   Weiming Liu, Sanjiang Li. Reasoning about Cardinal Directions between Extended Objects: The NP-Hardness Result. Artificial Intelligence, 2011, 175(18): 2155-2169. View Details

4 .   Weiming Liu, Xiaotong Zhang, Sanjiang Li, and Mingsheng Ying. Reasoning about cardinal directions between extended objects. Artificial Intelligence 2010, 174(12-13):951-983. (Corresponding Author. This is the extension of our AAAI-08 paper). View Details

5 .   Sanjiang Li. A layered graph representation for complex regions, in Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), pages 581-583, Toronto, Canada, May 9-13, 2010. View Details

6 .   Weiming Liu, Sanjiang Li, and Jochen Renz. Combining RCC-8 with qualitative direction calculi: algorithms and complexity, in: Proceedings of the Twenty- first International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, CA, July 2009. (Corresponding Author). View Details

7 .   Xiaoshan Gao, Dantong Ouyang, Jigui Sun, Sanjiang Li, Tianshun Yao, Ruzhan Lu, Chunyi Shi, Zhangang Han, Jue Wang, Cungen Cao, and Ruqian Lu. AI in china: a survey. IEEE Intelligent Systems 2008, 23(6): 26-32. View Details

8 .   Sanjiang Li and Mingsheng Ying. Soft constraint abstraction based on semiring homomorphism. Theoretical Computer Science (B) 2008, 403(2-3): 192-201. View Details

9 .   Xiaotong Zhang, Weiming Liu, Sanjiang Li, and Mingsheng Ying. Reasoning with cardinal directions: an efficient algorithm, in Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, IL, 2008. (Corresponding Author). View Details

10 .   Sanjiang Li and Bernhard Nebel. Qualitative spatial representation and reasoning: a hierarchical approach. The Computer Journal 2007, 50(4): 391-402. View Details

11 .   Sanjiang Li. A representation theorem for minmax regret policies. Artificial Intelligence 2007, 171(1): 19-24. View Details

12 .   Sanjiang Li. A complete classification of topological relations using 9-intersection method. International Journal of Geographical Information Science 2006, 20(6): 589-610. View Details

13 .   Sanjiang Li and Yongming Li. On the complemented disk algebra. Journal of Logic and Algebraic Programming, 2006 66(2): 195-211. View Details

14 .   Sanjiang Li. On topological consistency and realization. Constraints 2006, 11(1): 31-51. View Details

15 .   Sanjiang Li and Huaiqing Wang. RCC8 binary constraint network can be consistently extended. Artificial Intelligence 2006, 170(1): 1-18. View Details

16 .   Lirong Xia and Sanjiang Li. On minimal models of the region connection calculus. Fundamenta Informaticae 2006, 69(4): 427-446. View Details

17 .   Sanjiang Li, Mingsheng Ying, and Yongming Li. On countable RCC models. Fundamenta Informaticae 2005, 65(4): 329-351. View Details

18 .   Sanjiang Li and Mingsheng Ying. Generalized region connection calculus. Artificial Intelligence 2004, 160(1-2): 1-34. View Details

19 .   Sanjiang Li and Maokang Luo. A note on stratified L-real line and unit L-interval. Fuzzy Sets and Systems 2004, 147(2): 327-332. View Details

20 .   Yongming Li and Sanjiang Li. A fuzzy sets theoretic approach to approximate spatial reasoning, IEEE Transactions on Fuzzy Systems 2004, 12(6): 745-754. View Details

21 .   Sanjiang Li and Mingsheng Ying. Region connection calculus: its models and composition table, Artificial Intelligence 2003, 145(1-2): 121-146. View Details

22 .   Sanjiang Li and Mingsheng Ying. Extensionality of the RCC8 composition table, Fundamenta Informaticae 2003, 55(3-4): 363-385. View Details

23 .   Sanjiang Li and Maokang Luo. A negative answer to T. Kubiak's problem. Fuzzy Sets and Systems 2003, 133(3): 131-133. View Details

24 .   Sanjiang Li and Maokang Luo. Generalized Lowen functors. Fuzzy Sets and Systems 2003, 133(3): 99-111. View Details

25 .   Sanjiang Li and Maokang Luo. FNS is not isomorphic to FTS, Fuzzy Sets and Systems 2003, 136(1): 127-131. View Details

26 .   Sanjiang Li and Dexue Zhang. A non-topologically generated Hutton-Lowen uniformizable space. Quaestiones Mathematicae 2003, 26(4): 471-477. View Details

Conference Papers

1 .   Weiming Liu, Sanjiang Li. Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning, Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP-2012), pages 464-479, Quebec City, Canada, October 8-12, 2012.

2 .   Ivo Düntsch, Sanjiang Li. Extension Properties of Boolean Contact Algebras, Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), pages 342-356, Cambridge, UK, September 17-20, 2012.

3 .   Steven Schockaert, Sanjiang Li. Convex solutions of RCC8 networks, Proceedings of the 20th European conference on artificial intelligence (ECAI-2012), Montpellier, France, August 27-31, 2012.

4 .   Weiming Liu, Sanjiang Li. Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction, Proceedings of the 20th European conference on artificial intelligence (ECAI-2012) , Montpellier, France, August 27-31, 2012.

5 .   Weiming Liu, Shengsheng Wang, Sanjiang Li, Dayou Liu. Solving Qualitative Constraints Involving Landmarks, in Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP-2011), pages 523-537, Perugia, Italy from 12-16th September 2011.

6 .   Sanjiang Li and Weiming Liu. Topological relations between convex regions, in Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10), pages 321-326, Atlanta, Georgia, USA, July 11-15, 2010. View Details

7 .   M. Duckham, L.-J. Guan, S. Li, and J. Renz. Spatial and topological granularity of region relations monitored by Geosensor Networks, to appear in: Sixth international conference on Geographic Information Science (GIScience'10), Zurich, Switzerland, September 2010. View Details

8 .   Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, and Sanjiang Li. Combining binary constraint networks in qualitative reasoning, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece, July 2008. View Details

9 .   Sanjiang Li. Combining topological and directional information for spatial reasoning, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 435-440, AAAI Press, 2007. View Details

10 .   Sanjiang Li. Combining topological and directional information: first results, Knowledge science, Engineering, and Management 2006(KSEM'06), Lecture Notes in Computer Science(LNCS), 4092: 252-264, 2006. View Details

Book Chapters

Books