国产v亚洲v天堂无码久久无码_久久久久综合精品福利啪啪_美女扒开尿口让男人桶_国产福利第一视频在线播放_滨崎步无码AⅤ一区二区三区_三年片免费观看了_大屁股妇女流出白浆_泷川苏菲亚无码AV_我想看我想看一级男同乱伦_国产精品午夜福利免费视频,gogo国模全球大胆高清摄影图,2008门艳照全集视频,欧美午夜在线精品品亚洲AV中文无码乱人伦在线播放

陳寅,，華南師范大學(xué)人工智能學(xué)院副院長兼計(jì)算機(jī)學(xué)院副院長,，副教授。主要的研究領(lǐng)域?yàn)槿斯ぶ悄埽R的表示與推理和邏輯程序等,。在主要的人工智能期刊AIJ，JAIR和國際會議IJCAI,，AAAI和KR上均有論文發(fā)表,。主持過兩個(gè)國家自然科學(xué)基金項(xiàng)目和一個(gè)廣東省自然科學(xué)基金項(xiàng)目。

目前的研究興趣包括：
1 回答集程序的理論和應(yīng)用
2 析取邏輯程序,，缺省邏輯和2QBF等第二層復(fù)雜度問題的研究
3 基于一階邏輯的定理發(fā)現(xiàn)

中山大學(xué) 軟件研究所 博士2001-2005中山大學(xué) 軟件研究所 碩士 1998-2001中國人民大學(xué) 社會學(xué)系 學(xué)士 1991-1995

2004至今,，華南師范大學(xué)
1995-1998，溫州大學(xué)

離散數(shù)學(xué) 面向本科生的離散數(shù)學(xué)課程 2015.3-2016.1

人工智能 , 知識表示與推理 , 邏輯程序設(shè)計(jì)

Introduction

Yin Chen, Associate Professor in School of Computer Science, South China Normal University.

Education:
MS and Phd, Software institute, Sun Yat-Sen University. 2005
BA, Department of Sociology, Renmin University, 1995

Research interests:
1 Answer set programming and its application
2 Disjunctive logic program, Default Logic, 2-QBF and other problems whose complexity is on the second level of polynomial hierarchy
3 Computer aided theorem discovery

Education

MS and Phd, Software institute, Sun Yat-Sen University. 2005

BA, Department of Sociology, Renmin University, 1995

Work Experience

1 2004-now, Department of Computer Science, South China Normal University

2 1995-1998, Wenzhou University