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 |
|
- 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
- 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.
- Guizhou University, 1998-2004, teaching assistant.
- Guizhou University, 2004-2007, lecture.
- Guizhou University, 2007-2011, associate professor.
- Guizhou University, 2011- , professor.
- 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)
- Forgetting Theory and Its Applications in Incomplete Knowledge Base, NSF61370161, 700,000 Yuan, 2014.1 - 2017.12.
- 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.
- 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.
- The study and implementation of Answer set programming with functions, NSF60963009, 200,000 Yuan, 2010.1 - 2012.12.
- 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.
- The study and application of Answer Set Programming, Science and Technology Foundation of Guizhou Province [2008]2119, 36,000 Yuan, 2008.6 - 2010.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.
- FASP: Answer set programming with functions
http://www.cse.ust.hk/fasp/ A latest version available at http://www.cs.ualberta.ca/ yisong/fasp
- 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.
- Yisong Wang, Yan Zhang, Yi Zhou and Mingyi Zhang. Knowledge Forgetting in Answer Set Programming. Journal of Artificial Intelligence Research, 2014(50),31-70.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Yisong Wang and Mingyi Zhang. Answer Set Programming Modulo Theories. Applied Informatics and Communication: International Conference, ICAIC 2011, Xi’an China, 2011: 655-661.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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.
- Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. 2010. Normal Description Logic Programs as Default Theories. NonMon@30.
- Yisong Wang, Jia-Huai You and Mingyi Zhang. Embedding Functions into Disjunctive Logic Programs. ASPOCP09, 46-60
- 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.
- 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
|
|