周青副教授论文目录

作者 论文题目 刊物/会议/出版社名称

发表时间

刊物级别/著作类别 收录情况
Qing Zhou, Ligong Long, SEDATALOG: A set extension of Datalog, The Proceedings of IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) 2004年10月    
Qing Zhou, Pen Wei, Uncertain reasoning and decision making, The Proceedings of IFIP TC12/WG12.3 International Conference on Intelligent Information Processing(IIP2004) 2004年10月    
Qing Zhou, Zeqi Zheng An intelligent query expansion of searching related text information by keywords The Proceedings of IEEE/WIC/ACM International Conference on Web Intelligence (WI2004) 2004年9月    

Q Zhou, W.Reng

KURS:A Knowledge-based Uncertain Reasoning System

The International Conference on Applied Artificial Intelligence 2003

2003

 

 

Q Zhou, L.Q. Yuang

Computer-Aided Course Major Decision Making tool for Remote Students Cyberworlds

 

2003

 

 

周青,伍丽华

基于一附逻辑的的与运算的合并系统

 

2002299月增刊

 

 

周青

Relatively Computable Functions of Real Variables

Computing 67,P167-181,2001

2001

 

 

周青

Grzegorczyk's hierarchy of computable analysis

Theoretical Computer Science,243(2000)449-466

2000年

 

SCI

周青,鞠实儿

不确定推理的支持度

软件学报

19992

 

 

周青

集合上的递归函数

数学研究与发展

19983

 

 

周青

的递归开子集的可计算实函数

理论计算机科学

199710

 

 

Qing Zhou

Subclasses of Computable Real Valued Functions

Lecture Notes in Computer Science

19978

 

 

周青

HiLog的悖论

计算机学报

199610

 

 

周青

的递归闭子集的可计算实函数

96'全国理论计算机科学学术年会

199610

 

 

周青,鞠实儿

不确定推理的概念及支持度

96'全国理论计算机科学学术年会

199610

 

 

Qing Zhou

Computable Real-Valued Functions on Recursive Open and Closed Subsets of Euclidean Space

Mathematical Logic Quarterly

19969

 

 

Qing Zhou

Recursive ZFC Functions

6th Asian Logic Conference

19966

 

 

Qing Zhou

Recursive Open and Closed Subsets of R°

6th Asian Logic Conference

19966

 

 

周青

关于程序验证方法的讨论

计算机科学

19953

 

 

Q. Zhou, W.H.Hu

Almost Recidable predicates of Real Variables

The International Conference on Real Numbers Computers

 

 

 

周青

The concept of uncertain Reasoning and its supporting degree

The International Conference of Intelligent Systems