Home

Department of Computer Science & Technology 
Northern Campus of Guizhou University 
Huaxi, Guiyang 
Guizhou, China 550025
Phone:(851) 3621638
Fax:(851) 3621638
Email:yswang168@gmail.com

Research interests

  • Artificial intelligence, and in particular,
    • Knowledge representation & reasoning
    • Theory and practice of logic programming
    • Non-monotonic logic and non-monotonic reasoning
  • Semantic Web
  • Computer security

Education Experience

  • B.S. Software, Guizhou University, 1994-1998.
  • M.A. Computer application, Guizhou University, 2001-2004.
  • Ph.D. Computer software and theory, Guizhou University, 2004-2007.

Employment

  • Guizhou University, 1998-2004, teaching assistant.
  • Guizhou University, 2004-2007, lecture.
  • Guizhou University, 2007-2011, associate professor.
  • Guizhou University, 2011- , professor.

Teaching

  • A Discipline of Programming (postgraduate) (2014 spring)
  • Introduction to the Theory of Computation (PhD candidate) (2014 winter,2013 winter)
  • Discrete Mathematics (2013 winter)
  • Introduction to Logic Programming (postgraduate) (2013 spring)
  • Science Research Writing in English (postgraduate) (2012 winter, 2013 winter)
  • Introduction to Automata Theory (postgraduate)(2012 spring)
  • Linux System (2014 spring, 2012 spring, 2011 spring, 2009 spring, 2007 spring, 2006 spring)
  • Mathematical Logic for Computer Science (postgraduate) (2014 winter, 2010 winter)
  • Introduction to Artificial Intelligence (2014 winter, 2012 winter, 2010 winter, 2006 winter, 2004 winter)
  • Non-classical Logics (postgraduate) (2009 winter)
  • Advanced Language Programming (2008 winter)
  • Operating System (2002)
  • Object-Oriented Programming (2001)

Grants

  1. Forgetting Theory and Its Applications in Incomplete Knowledge Base, NSF61370161, 700,000 Yuan, 2014.1 - 2017.12.
  2. The research and application of diagnosis reasoning based-on forgetting in logic programs. The stadholder Fund of Guizhou Province under grant (2012)62. 55,000 Yuan, 2013.1 - 2015.12.
  3. The study of key technologies of nonmonotonic reasoning for the semantic web. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (SYSKF1106), 100,000 Yuan, 2011.1 - 2012.12.
  4. The study and implementation of Answer set programming with functions, NSF60963009, 200,000 Yuan, 2010.1 - 2012.12.
  5. The study of Answer Set Programming, The Natural Science Foundation of Educational Commission of Guizhou Province (2008)011, 40,000 Yuan, 2009.1 - 2011.12.
  6. The study and application of Answer Set Programming, Science and Technology Foundation of Guizhou Province [2008]2119, 36,000 Yuan, 2008.6 - 2010.7.
  7. The study and implement of answer set programming with functions, Scientific Research Fund for talents recruiting of Guizhou University (2007)042, 40,000 Yuan, 2009.1 - 2011.12.

Prototype systems

  • FASP: Answer set programming with functions 
    http://www.cse.ust.hk/fasp/ 
    A latest version available at http://www.cs.ualberta.ca/$ $yisong/fasp

Awards and fellowships

  • Ray Reiter best paper prize at KR-2006 (with Yin Chen, Fangzhen Lin, and Mingyi Zhang)
  • Sep. 2002 - Dec. 2002, visiting scholar, Department of Mathematics and Computer Science, Leicester University, UK.
  • Mar. 2005 - Jun. 2005, visiting scholar, Department of Computer Science, Hong Kong university of Science and Technology, Hong Kong.
  • Oct. 2007 - Oct. 2008, Postdoctoral fellowship, Department of Computer Science and Engineering, Hong Kong university of Science and Technology, Hong Kong.
  • May 2009 - April 2010, Postdoctoral fellowship, Department of Computing Science, University of Alberta, Canada.
  • June 2011 - Nov. 2011, visiting fellow, Department of Mathematics and Computer Science, University of Western Sydney.
  • Dec. 2012 - May 2013, visiting fellow, Institute for Integrated and Intelligent Systems (IIIS), Griffith University.
  • June 2014 - Aug. 2014, visiting fellow, Institute for Integrated and Intelligent Systems (IIIS), Griffith University.

Publications

Journal Articles

  1. Yisong Wang, Yan Zhang, Yi Zhou and Mingyi Zhang. Knowledge Forgetting in Answer Set Programming. Journal of Artificial Intelligence Research, 2014(50),31-70.
  2. Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen and Mingyi Zhang. The loop formula based semantics of description logic programs. Theoretical Computer Science. Volume 415 (2012), Page 60-85.
  3. Yisong Wang, Jia-Huai You,Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang. 2011. Weight constraint programs with evaluable functions. Annals of Mathematics and Artificial Intelligence:Volume 60, Issue 3 (2011), Page 341-380.
  4. Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. 2010. Loop Formulas for Description Logic Programs. Theory and Practice of Logic Programming. Volume 10, special issue (4-6):531-545.
  5. Yisong Wang, Mingyi Zhang, Jia-Huai You. 2009. Logic Programs, Compatibility and Forward Chaining Construction. Journal of Computer Science and Technology 24(6): 1125-1137.
  6. Yisong Wang; Mingyi Zhang and Yuping Shen. 2007. Consistency property of finite FC-normal logic programs. Journal of Computer Science and Technology 22(4):554-561.

Proceedings

  1. Yisong Wang, Jia-Huai You, Mingyi Zhang: Embedding Functions into Disjunctive Logic Programs. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, 355-372, 2013: 543-555.
  2. Yisong Wang, Kewen Wang, Mingyi Zhang: Forgetting for Answer Set Programs Revisited. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 1162-1168.
  3. Yisong Wang, Zhiqiang Zhuang, Kewen Wang: Belief Change in Nonmonotonic Multi-Context Systems. Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013: 543-555.
  4. Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen: Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. Web Reasoning and Rule Systems - 7th International Conference, RR 2013: 168-182.
  5. Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang: Rule Revision in Normal DL Logic Programs. Web Reasoning and Rule Systems - 7th International Conference, RR 2013: 204-209.
  6. Yisong Wang, Fangzhen Lin and Mingyi Zhang. A Well-founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. Twenty-Sixth Conference on Artificial Intelligence (AAAI-12), 835-841.
  7. Yisong Wang, Yan Zhang, Yi Zhou and Mingyi Zhang. Forgetting in Logic Programs under Strong Equivalence. The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR-2012), Rome, Italy. 2012: 643-647.
  8. Yisong Wang and Mingyi Zhang. Answer Set Programming Modulo Theories. Applied Informatics and Communication: International Conference, ICAIC 2011, Xi’an China, 2011: 655-661.
  9. Yisong Wang, Ying Zhang and Mingyi Zhang. Constructing First-order Loops of Normal Logic Programs. Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), Shanghai,China. 2011: 358-362.
  10. Yisong Wang, Jia-Huai You, Li-Yan Yuan, and Mingyi Zhang. 2009. Weight Constraint Programs with Functions. In Proceedings of 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 329-341, Potsdam, Germany, LNCS 5753.
  11. Fangzhen Lin and Yisong Wang. 2008. Answer set programming with functions. In Proceedings of Eleventh International Conference on Principles of Knowledge Representation and Reasoning, 454-464. Sydney, Australia: AAAI Press.
  12. Yisong Wang and Xinqiang Ma. 2008. Some results on order consistent logic program. In Proceedings of The Fifth International Conference on Fuzzy Systems and Knowledge Discovery, volume 5, 557-561. Jinan, Shandong, China: IEEE Computer Society.
  13. Chen Yin; Fangzhen Lin; Yisong Wang and Mingyi Zhang. 2006. First-order loop formulas for normal logic programs. In Proceedings of The Tenth International Conference on Principles of Knowledge Representation and Reasoning, 298-307. Lake District of the United Kingdom: AAAI Press. (red Ray Reiter Best paper)
  14. Yisong Wang and Mingyi Zhang. 2004. Revision programs with explicit negation. In Proceedings of The First International Colloquium of Theoretical Aspects of Computing, volume 3407/2005 of Lecture Notes in Computer Science, 403-414. Guiyang, China: Springer Berlin / Heidelberg.

Workshops

  1. Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. 2010. Normal Description Logic Programs as Default Theories. NonMon@30.
  2. Yisong Wang, Jia-Huai You and Mingyi Zhang. Embedding Functions into Disjunctive Logic Programs. ASPOCP09, 46-60
  3. Mingyi Zhang, Ying Zhang and Yisong Wang. 2006. On compatibility and forward chaining normality. In Proceedings of The Eleventh International Workshop on Non-Monotonic Reasoning, 163-171.

Professional Activities

Program Committee

  • LPNMR-2015, the 14th International Conference on Logic Programming and Nonmonotonic Reasoning
  • KR-2014, the 14th International Conference on Principles of Knowledge Representation and Reasoning
  • IJCAI-2013, 23rd International Joint Conference on Artificial Intelligence
  • LPNMR-2013, the 13th International Conference on Logic Programming and Nonmonotonic Reasoning
  • KR-2012, the 13th International Conference on Principles of Knowledge Representation and Reasoning
  • AAAI-2012, the Twenty-Sixth Conference on Artificial Intelligence
  • IJCAI-2011, Twenty-second International Joint Conference on Artificial Intelligence
  • ASPCOMP-2011, the Third (Open) Answer Set Programming Competition
  • LPNMR-2009, 10th International Conference on Logic Programming and Nonmonotonic Reasoning
  • AI-2007, Twentieth Australian Joint Conference on Artificial Intelligence