王以松

王以松

教授，博士生导师

贵州大学

  • 2024年9月14日－2024年10月13日，中国深圳计算科学研究院，访问学者
  • 2024年4月14日－2024年5月13日，中国北京大学，访问学者
  • 2018年6月－2018年8月，德国波茨坦大学，访问学者
  • 2016年5月－2016年8月，美国德州理工大学，访问学者
  • 2014年6月－2014年8月，澳大利亚格里菲斯大学，访问学者
  • 2012年12月－2013年5月，澳大利亚格里菲斯大学，访问学者
  • 2011年6月－2011年11月，澳大利亚西悉尼大学，访问学者
  • 2009年5月－2010年4月，加拿大阿尔伯塔大学，博士后研究员
  • 2007年10月－2008年10月，中国香港科技大学，博士后研究员
  • 2005年3月－2005年6月，中国香港科技大学，访问学者
  • 2002年9月－2002年12月，英国莱斯特大学，访问学者

yswang168/cb_witness

Compute minimal beta-witness for answer sets of logic programs

0 0 Roff
francisol/py_minimal_model

Compute minimal models based on python-sat (By Zhongtao Xie)

2 1 Python
yswang168/ldiff

Computation propositional logical difference

0 0 C++
yswang168/LFDT

Learning disjunctive logic programs from state transitions

1 0 Python
XuWang1991/LFIO

Learning Horn programs from input and output (by Xu Wang)

0 0 C++
yswang168/FASP

Answer set programs with function

0 0

兴趣爱好
  • 知识表示与推理
  • 回答集程序设计
  • 人工智能
  • 机器学习
教育经历

  • 计算机软件理论 博士, 2007

    贵州大学

  • 计算机应用技术 硕士, 2004

    贵州大学

  • 软件 学士, 1998

    贵州大学

最新