Curriculum Vitae

Jianmin Ji


School of Computer Science and Technology of China
University of Science and Technology of China
Hefei, 230026, P.R. China
jianmin{at}ustc.edu.cn

Research Interests

  1. Knowledge-driven Artificial Intelligence: Nonmonotonic Reasoning, Answer Set Programming (ASP), Logic Programming.
  2. Robotics: Service Robots, Self-Driving, Deep Reinforcement Learning, Cognitive Robotics.

Education

  1. PhD in computer science, June 2010, University of Science and Technology of China, Hefei, China.
  2. BSc in computer science, June 2005, University of Science and Technology of China, Hefei, China.

Experience

  1. April, 2012 -- present, Associate Professor, School of Computer Science and Technology, University of Science and Technology of China, Hefei, China.
  2. December, 2016 -- December, 2017, Visiting Scholar, Machine Learning Department, Carnegie Mellon University, USA.
  3. November, 2016, Visiting Scholar, Department of Computer Science, University of Alberta, Canada.
  4. April, 2016, Visiting Scholar, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongkong.
  5. September, 2015 -- December, 2015, Visiting Scholar, Institute for Integrated and Intelligent Systems, Griffith University, Australia.
  6. June, 2010 -- April, 2012, Postdoctoral Fellow, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongkong.
  7. September, 2005 -- June, 2010, Graduate Research Assistant, School of Computer Science and Technology, University of Science and Technology of China, Hefei, China.
  8. October, 2007 -- October, 2008, Visiting Scholar, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongkong.

Honors and Awards

  1. August, 2015, Best Technique Solutions for Cognition, "RoboCup@Home: Analysis and results of evolving competitions for domestic and service robots" in Artificial Intelligence 229 (2015) 258-281.
  2. August, 2013, Best Autonomous Robotics Video, IJCAI-13 Video Award.
  3. July, 2010, 1st Place Winer, @Home Simulation League of China Robot Competition 2010.
  4. July 2010, 1st Place Winer, @Home League of China Robot Competition 2010.
  5. October 2009, 1st Place Winer, Service Robot Intelligence Challenge of China Robot Competition 2009.
  6. October 2009, 2nd Place Winer, @Home League of China Robot Competition 2009.

Implemented Systems

  1. Sonic Smart Vehicle (2020) cooperating with Prof. Yanyong Zhang
    A self-driving system implemented on various smart vehicles.
    https://b23.tv/wtpi24f
    https://b23.tv/taTXXfT

  2. DLP2NLP (March, 2016) cooperating with Hai Wan
    A program for equivalently translating a disjunctive logic program to a normal logic program.
    http://ss.sysu.edu.cn/~wh/dlp2nlp.html

  3. EXTENDWFM (December, 2015) cooperating with Hai Wan
    A program for computing more consequences than the well-founded model to simplify ASP programs.
    http://ss.sysu.edu.cn/~wh/extendwfm.html

  4. ProgramSimplification (July, 2015) cooperating with Hai Wan
    A program for identifying atoms from consequences of a program that can be used to simplify ASP programs.
    http://ss.sysu.edu.cn/~wh/simplifying.html

  5. splitting (January, 2015) cooperating with Hai Wan
    A program for splitting an ASP program into two parts, whose results can be combined to construct answer sets of the original ASP program.
    http://ss.sysu.edu.cn/~wh/splitting.html

  6. gloop and properloopdlp (July, 2014) cooperating with Hai Wan
    Programs for computing elementary loops and proper loops of normal and disjunctive logic programs, which can be used to improve the answer set computation.
    http://ss.sysu.edu.cn/~wh/properloop.html
    http://ss.sysu.edu.cn/~wh/properloopdlp.html

  7. gk2dlp (May, 2014) cooperating with Hannes Strass
    A program for equivalently translating a formula in non-monotonic logic or GK logic to a disjunctive logic program.
    http://informatik.uni-leipzig.de/~strass/gk2dlp/

  8. Server for @Home Simulation League of China Robot Competition (2013 - 2015) (October, 2013)
    The new version of the platform for the competition with sensor actions and human-robot interactions.
    http://www.wrighteagle.org/homesimulation/en/competitions.php

  9. cloopC (October, 2012)
    A program for computing some consequences of a logic program with constraints, the results can speed up current ASP solvers for certain programs.
    http://staff.ustc.edu.cn/~jianmin/cloopC/

  10. ASPControl (October, 2012)
    A program for converting a Golog-like language, which represents functional and procedural knowledge from user-defined task instructions for Human-Robot Interactions (HRI), to Answer Set Programming (ASP) rules for the incremential ASP solver, iClingo.
    http://ai.ustc.edu.cn/en/robocup/atHome/aspcontrol/

  11. cloopD (October, 2010)
    A program for computing some consequences of a normal or disjunctive logic program, the results can speed up current ASP solvers cmodels, clasp and DLV for certain programs.
    http://www.cse.ust.hk/cloop/

  12. Task Planning Component of "Ke Jia" (December, 2008 -- July, 2010)
    "Ke Jia" is a domestic service robot of WrightEagle, the 2nd place winner of RoboCup@Home 2011. The task planning component is used to "understand" information from natural language processing and "plan" the next action.
    http://ai.ustc.edu.cn/

  13. Server for @Home Simulation League of China Robot Competition (June, 2010 -- October, 2009)
    The platform for the competition, which calls the program of each team, sets the simulated environment, and evaluates the performance of each competitor.
    http://www.wrighteagle.org/homesimulation/en/competitions.php

Selected Publications

  1. Quecheng Qiu, Shunyi Yao, Jing Wang, Jun Ma, Guangda Chen, Jianmin Ji*. Learning to Socially Navigate in Pedestrian-rich Environments with Interaction Capacity. ICRA 2022. 2022.
  2. Peng Yin, Lingyun Xu, Jianmin Ji, Sebastian A. Scherer, Howie Choset. 3D Segmentation Learning From Sparse Annotations and Hierarchical Descriptors. IEEE Robotics Autom. Lett. 6(3): 5953-5960 (2021).
  3. Guangda Chen, Lifan Pan, Yu'an Chen, Pei Xu, Zhiqiang Wang, Peichen Wu, Jianmin Ji*, Xiaoping Chen. Deep Reinforcement Learning of Map-Based Obstacle Avoidance for Mobile Robot Navigation. SN Comput. Sci. 2(6): 417 (2021).
  4. Jie Peng, Yu'an Chen, Yifan Duan, Yu Zhang, Jianmin Ji*, Yanyong Zhang. Towards an Online RRT-based Path Planning Algorithm for Ackermann-steering Vehicles. ICRA 2021: 7407-7413. 2021.
  5. Yuyu Li, Jianmin Ji*. Parallel Curriculum Experience Replay in Distributed Reinforcement Learning. AAMAS 2021: 782-789. 2021.
  6. Lifan Pan, Anyi Li, Jun Ma, Jianmin Ji*. Learning Navigation Policies for Mobile Robots in Deep Reinforcement Learning with Random Network Distillation. ICIAI 2021: 151-157. 2021.
  7. Yu'an Chen, Guangda Chen, Lifan Pan, Jun Ma, Yu Zhang, Yanyong Zhang, Jianmin Ji*. DRQN-based 3D Obstacle Avoidance with a Limited Field of View. IROS 2021: 8137-8143. 2021.
  8. Shunyi Yao, Guangda Chen, Quecheng Qiu, Jun Ma, Xiaoping Chen, Jianmin Ji*. Crowd-Aware Robot Navigation for Pedestrians with Multiple Collision Avoidance Strategies via Map-based Deep Reinforcement Learning. IROS 2021: 8144-8150. 2021.
  9. Xiaomeng Chu, Jiajun Deng, Yao Li, Zhenxun Yuan, Yanyong Zhang, Jianmin Ji, Yu Zhang. Neighbor-Vote: Improving Monocular 3D Object Detection through Neighbor Distance Voting. ACM Multimedia 2021: 5239-5247. 2021.
  10. Defeng Xie, Jianmin Ji*, Jiafei Xu, Ran Ji. Combining Improvements for Exploiting Dependency Trees in Neural Semantic Parsing. PRICAI (2) 2021: 58-72. 2021.
  11. Peijin Li, Gaotian Wang, Hao Jiang, Yusong Jin, Yinghao Gan, Xiaoping Chen, Jianmin Ji*. A Q-learning Control Method for a Soft Robotic Arm Utilizing Training Data from a Rough Simulator. ROBIO 2021: 839-845. 2021.
  12. Jun Ma, Shunyi Yao, Guangda Chen, Jiakai Song, Jianmin Ji*. Distributed Reinforcement Learning with Self-Play in Parameterized Action Space. SMC 2021: 1178-1185. 2021.
  13. Guangda Chen, Shunyi Yao, Jun Ma, Lifan Pan, Yu'an Chen, Pei Xu, Jianmin Ji*, Xiaoping Chen. Distributed Non-Communicating Multi-Robot Collision Avoidance via Map-Based Deep Reinforcement Learning. Sensors 20(17): 4836 (2020).
  14. Guangda Chen, Lifan Pan, Yu'an Chen, Pei Xu, Zhiqiang Wang, Peichen Wu, Jianmin Ji*, Xiaoping Chen. Robot Navigation with Map-Based Deep Reinforcement Learning. ICNSC 2020: 1-6. 2020.
  15. Shunyi Yao, Guangda Chen, Lifan Pan, Jun Ma, Jianmin Ji*, Xiaoping Chen: Multi-Robot Collision Avoidance with Map-based Deep Reinforcement Learning. ICTAI 2020: 532-539. 2020.
  16. Peng Yin*, Lingyun Xu, Xueqian Li, Chen Yin, Yingli Li, Rangaprasad Arun Srivatsan, Lu Li, Jianmin Ji*, Yuqing He. A Multi-Domain Feature Learning Method for Visual Place Recognition. ICRA 2019: 319-324. 2019.
  17. Peng Yin, Rangaprasad Arun Srivatsan, Yin Chen, Xueqian Li, Hongda Zhang, Lingyun Xu, Lu Li, Zhenzhong Jia, Jianmin Ji*, Yuqing He*. MRS-VPR: a multi-resolution sampling based global visual place recognition method. ICRA 2019: 7137-7142. 2019.
  18. Jianmin Ji, Fangfang Liu, Jia-Huai You. Well-founded operators for normal hybrid MKNF knowledge bases. Theory and Practice of Logic Programming. 17(5-6): 889-905 (2017).
  19. Jianmin Ji, Pooyan Fazli, Song Liu, Tiago Pereira do Nascimento, Dongcai Lu, Jiangchuan Liu, Manuela M. Veloso, Xiaoping Chen. Help Me! Sharing of Instructions Between Remote and Heterogeneous Robots. ICSR 2016. 2016.
  20. Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, and Jiangtao Xu. Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI 2016. 2016.
  21. Jianmin Ji, Jiahuai You, and Yisong Wang. On Forgetting Postulates in Answer Set Pro- gramming. IJCAI 2015. 2015.
  22. Jianmin Ji, Hai Wan, Ziwei Huo, and Zhenfeng Yuan. Simplifying a Logic Program Using Its Consequences. IJCAI 2015. 2015.
  23. Jianmin Ji, Hai Wan, and Peng Xiao. On Elementary Loops and Proper Loops for Disjunctive Logic Programs. AAAI 2015. 2015.
  24. Jianmin Ji, Hai Wan, Ziwei Huo, and Zhenfeng Yuan. Splitting a Logic Program Revisited. AAAI 2015. 2015.
  25. Jianmin Ji and Fangzhen Lin*. Position Systems in Dynamic Domains. Journal of Philo- sophical Logic (JPL) 44(2). 2015.
  26. Dongcai Lu*, Jianmin Ji*, Xiaoping Chen*, Jiangchuan Liu. Filling Knowledge Gaps in Human-Robot Interaction Using Rewritten Knowledge of Common Verbs: Extended Abstract. AAMAS 2015. 2015.
  27. Jianmin Ji. Brave Induction Revisited. ILP 2015 (Late Breaking Papers). 2015.
  28. Jianmin Ji. Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head. KSEM 2015. 2015.
  29. Jianmin Ji and Xiaoping Chen*. A weighted causal theory for acquiring and utilizing open knowledge. International Journal of Approximate Reasoning (IJAR) 55(9). 2014.
  30. Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanghao Xiao. Elementary Loops Revisited. AAAI 2014. 2014.
  31. Jianmin Ji and Hannes Strass. From default and autoepistemic logics to disjunctive answer set programs via the logic of GK. ECAI 2014. 2014.
  32. Jianmin Ji and Hannes Strass. Implementing Default and Autoepistemic Logics via the Logic of GK. NMR 2014. 2014.
  33. Xiaoping Chen, Jianmin Ji*, Fangzhen Lin. Computing loops with at most one external support rule. ACM Transaction on Computational Logic (TOCL) 14(1). 2013.
  34. Xiaoping Chen, Jianmin Ji, Zhiqiang Sui, Jiongkun Xie. IJCAI 2013. 2013.
  35. Jianmin Ji, Fangzhen Lin, Jia-Huai You. Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. Theory and Practice of Logic Programming (TPLP) 13.4-5-Online-Supplement. 2013.
  36. Jianmin Ji and Fangzhen Lin. Turners logic of universal causation, propositional logic, and logic programming. LPNMR 2013. 2013.
  37. Jianmin Ji and Xiaoping Chen. From Structured Task Instructions to Robot Task Plans. KEOD 2013. 2013.
  38. Xiaoping Chen, Jiongkun Xie, Jianmin Ji, Zhiqiang Sui. Toward open knowledge enabling for human-robot interaction. Journal of Human-Robot Interaction (JHRI) 1(2). 2012.
  39. Jianmin Ji, Zhiqiang Sui, Guoqiang Jin, Jiongkun Xie, Xiaoping Chen. Simulation Compe- titions on Domestic Robots. Robocup 2012. 2012.
  40. Jianmin Ji and Fangzhen Lin. From Turner’s Logic of Universal Causation to the Logic of GK. Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. LNCS 7265. 2012.
  41. Xiaoping Chen, Jianmin Ji, and Fangzhen Lin. Computing loops with at most one external support rule. ACM Transaction on Computational Logic (TOCL). 2012.
  42. Jianmin Ji and Xiaoping Chen. Induction in Nonmonotonic Causal Theories for a Domestic Service Robot. ILP 2011. 2011.
  43. Jianmin Ji, Xiaoping Chen, Jiehui Jiang, Guoqiang Jing, Feng Wang. A service robot architecture supporting individualized coordination. Journal of Nanjing University (Natural Sciences). 46(2). 2010.
  44. Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang Jin, Feng Wang, Jiongkun Xie. Developing High-level Cognitive Functions for Service Robots. AAMAS 2010. 2010.
  45. Xiaoping Chen, Jianmin Ji, and Fangzhen Lin. Computing loops with at most one external support rule for disjunctive logic programs. ICLP 2009. 2009.
  46. Jianmin Ji. Research summary: a cognitive architecture for a service robot: an answer set programming approach. ICLP 2009. 2009.
  47. Xiaoping Chen, Jianmin Ji, Fangzhen Lin. Computing loops with at most one external support rule. KR 2008. 2008.

Back to Jianmin Ji's Home Page
Last updated June 30th, 2022