当前位置: 首页  学术带头人
学术带头人--王以松
  • 个人基本情况介绍
    1994.9-1998.7
    贵州大学计科系本科/工学学士
    2001.9-2004.7
    贵州大学计科系硕士研究生/工学硕士
    2004.9-2007.7
    贵州大学计科系博士研究生/工学博士
    1998.7~
    至今贵州大学计科系,历经助教、讲师、副教授、教授
    2007.10-2008.10
    香港科技大学计算机科学与工程系博士后
    2009.5-2010.4
    加拿大Alberta大学计算机科学系博士后
    2014.6-2014.8
    澳大利亚格里菲斯大学访问学者

    2012.12-2013.5 澳大利亚格里菲斯大学访问学者

    2011.5-2011.12 澳大利亚西悉尼大学访问学者

  • 研究领域与方向

    计算机软件与理论

  • 科研课题(2010年以来主要承担的科研项目)

    1 不完全知识的遗忘理论研究及应用国家自然科学基金613701612014.1-2017.12 70

    2 带函数的回答集程序设计研究与实现国家自然科学基金609630092010.1-2012.12 20.0 20

    3 语义web的非单调推理关键技术研究中科院软件所理论计算机科学国家重点实验室开发基金SYSKF1106 2010-2012 10.0

    4 基于逻辑程序遗忘理论的诊断推理研究与应用贵州省优秀科技教育人才省长资金项目(2012)62 2013.1-2015.12 5.5

  • 学术论著(2009年以来发表的论文、专著)

    [j6] Yisong Wang, Yan Zhang, Yi Zhou,Mingyi Zhang:
    Knowledge Forgetting in Answer Set Programming. J. Artif. Intell. Res. (JAIR)50: 31-70 (2014)
    [j5] Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang:
    The loop formula based semantics of description logic programs. Theor. Comput.Sci. 415: 60-85 (2012)
    [j4] Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang:
    Weight constraint programs with evaluable functions. Ann. Math. Artif. Intell.60(3-4): 341-380 (2010)
    [j3] Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
    Loop formulas for description logic programs. TPLP 10(4-6): 531-545 (2010)
    [j2] Yisong Wang, Mingyi Zhang, Jia-Huai You:
    Logic Programs, Compatibility and Forward Chaining Construction. J. Comput.Sci. Technol. 24(6): 1125-1137 (2009)

    [c13] Yisong Wang, Jia-Huai You, MingyiZhang:
    Embedding Functions into Disjunctive Logic Programs. ICTAC 2013: 355-372
    [c12] Yisong Wang, Kewen Wang, Mingyi Zhang:
    Forgetting for Answer Set Programs Revisited. IJCAI 2013
    [c11] Yisong Wang, Zhiqiang Zhuang, Kewen Wang:
    Belief Change in Nonmonotonic Multi-Context Systems. LPNMR 2013: 543-555
    [c10] Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
    Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. RR 2013:168-182
    [c9] Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang:
    Rule Revision in Normal DL Logic Programs. RR 2013: 204-209
    [c8] Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You:
    A Well-Founded Semantics for Basic Logic Programs with Arbitrary AbstractConstraint Atoms. AAAI 2012
    [c7] Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang:
    Forgetting in Logic Programs under Strong Equivalence. KR 2012
    [c6] Yisong Wang, Ying Zhang, Mingyi Zhang:
    Constructing first-order loops of normal logic programs. FSKD 2011: 352-356

  • 发明专利及获奖情况(2009年以来)

    Ray Reiter best paper prize at KR-2006(with Yin Chen, Fangzhen Lin, and Mingyi Zhang)

  • 学术兼职及荣誉称号

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

  • 主讲课程

    A Discipline of Programming (postgraduate)(2014 spring)
    Introduction to the Theory of Computation (
    PhD candidate) (2014 winter,2013winter)
    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, 2010winter)
    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)

  • 教学格言

    笨鸟先飞,厚积薄发。

  • 电子邮件: ys_wang168@sina.com


【关闭本页】 【返回顶部】