王以松

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澳大利亞格里菲斯大學訪問學者 ^[1] 

計算機軟件與理論（知識表示與推理、回答集程序設計） 計算機應用技術（人工智能、機器學習） ^[1] 

1不完全知識的遺忘理論研究及應用國家自然科學基金2014.1-2017.

2帶函數的回答集程序設計研究與實現國家自然科學基金2010.1-2012.12

3語義web的非單調推理關鍵技術研究中科院軟件所理論計算機科學國家重點實驗室開發基金SYSKF1106 2010-2012

4基於邏輯程序遺忘理論的診斷推理研究與應用貴州省優秀科技教育人才省長資金項目(2012)62 2013.1-2015.12 ^[1] 

[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 ^[1] 

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 ^[1]