搜索
  • 本版
  • 文章
  • 帖子
  • 用户
  • 首页
  • 学院概况
    • 学院简介
    • 学院领导
    • 组织结构
    • 学位委员会
    • 学术委员会
    • 历届领导
    • 联系我们
  • 党建工作
  • 师资队伍
    • 师资介绍
    • 博士生导师
    • 硕士生导师
    • 教师风采
  • 学科概况
    • 科研团队
    • 科研成果
    • 科研项目
    • 学术活动
  • 本科生教育
    • 专业介绍
    • 招生简章
    • 培养方案
    • 学生组织
    • 学生社团
    • 学生活动
  • 研究生教育
    • 招生简章
    • 培养方案
    • 研究生风采
    • 研究生活动
  • 招生就业
    • 研究生招生就业
    • 就业信息
  • 资料下载
    • 学院黄页
    • 办事流程

版块导航

师资队伍
师资介绍
博士生导师
硕士生导师
教师风采
贵州大学计算机学院 › 师资队伍› 师资介绍

王以松

个人基本情况介绍

My personal page from the university campus

http://210.40.16.99/~wys

教授,博士,硕士、博士生导师。


1994.9-1998.7 贵州大学计科系本科/工学学士
2001.9-2004.7
贵州大学计科系硕士研究生/工学硕士
2004.9-2007.7
贵州大学计科系博士研究生/工学博士
1998.7~
至今贵州大学计科系,历经助教、讲师、副教授、教授
2007.10-2008.10
香港科技大学计算机科学与工程系博士后
2009.5-2010.4
加拿大Alberta大学计算机科学系博士后

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

2014.6-2014.8 澳大利亚格里菲斯大学访问学者

研究领域与方向

计算机软件与理论(知识表示与推理、回答集程序设计) 计算机应用技术(人工智能、机器学习)

科研课题(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年以来发表的论文、专著)

My dblp publications http://dblp.uni-trier.de/pers/hd/w/Wang:Yisong.html


[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

教学格言

笨鸟先飞,厚积薄发。

电子邮件

ys_wang168@sina.com
学院协同办公系统
校内综合首页系统
校内网络教学平台
教工电子邮箱系统
学生电子邮箱系统

上网信息不涉密,涉密信息不上网

版权所有:贵州大学计算机科学与技术学院 中国·贵州·花溪

2010-2020.All Rights Reserved

黔公网安备52011102002224号