Symposium on Artificial Intelligence and the Mathematical Theory of Computation, Stanford, California, September 6-7, 1991
Symposium on Artificial Intelligence and the Mathematical Theory of Computation, Stanford, California, September 6-7, 1991
批准号:
9119326
负责人:
Jeffrey Ullman
金额:
$1.15万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-09-01 至 1992-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This Symposium presents original papers on the relation of artificial intelligence to the mathematical theory of computation. These papers by distinguished authors cover the relevant aspects of this topic. They are mostly research papers and some are historical papers tracing the development of the field. A volume of proceedings of the Symposium is to be published by Academic Press. The Symposium is expected to make a contribution to the field of artificial intelligence by extending extant work on artificial intelligence theory and by bringing together diverse strands of it. This event is held at Stanford University on September 6 and 7, 1991. One of the leading pioneers of artificial intelligence is Professor John McCarthy. The Symposium recognizes his important contributions to the field and many of the presenters are his students and colleagues.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Data Warehousing and Decision Support
-
批准号:9631952
-
项目类别:Standard Grant
-
资助金额:$42.46万
-
财政年份:1996
-
负责人:Jeffrey Ullman
-
依托单位:
NSF Workshop on Database Research in the Era of Information Infrastructure
-
批准号:9521026
-
项目类别:Standard Grant
-
资助金额:$1.45万
-
财政年份:1995
-
负责人:Jeffrey Ullman
-
依托单位:
Research into Database System Theory
-
批准号:9223405
-
项目类别:Continuing Grant
-
资助金额:$22.61万
-
财政年份:1993
-
负责人:Jeffrey Ullman
-
依托单位:
Integrated Data Exchange and Concurrent Designs for Engineered Facilities
-
批准号:9116646
-
项目类别:Continuing Grant
-
资助金额:$65.0万
-
财政年份:1991
-
负责人:Jeffrey Ullman
-
依托单位:
Research into the Design and Implementation of Logical Data base Languages
-
批准号:9016358
-
项目类别:Continuing Grant
-
资助金额:$18.08万
-
财政年份:1991
-
负责人:Jeffrey Ullman
-
依托单位:
FAUVE: Specification and Implementation of Delayed Consistency for Replicated Data in Federated Databases
-
批准号:9007753
-
项目类别:Continuing Grant
-
资助金额:$14.58万
-
财政年份:1990
-
负责人:Jeffrey Ullman
-
依托单位:
Research into the Design and Implementation of Knowledge- Based Systems (Computer and Information Science)
-
批准号:8722886
-
项目类别:Continuing Grant
-
资助金额:$65.28万
-
财政年份:1988
-
负责人:Jeffrey Ullman
-
依托单位:
Implementation of Logical Query Languages For Databases (Information Science)
-
批准号:8412791
-
项目类别:Continuing Grant
-
资助金额:$36.42万
-
财政年份:1984
-
负责人:Jeffrey Ullman
-
依托单位:
Theoretical Investigations Into Very Large Scale Integrated Circuit Technology (Computer Research)
-
批准号:8203405
-
项目类别:Continuing Grant
-
资助金额:$18.19万
-
财政年份:1982
-
负责人:Jeffrey Ullman
-
依托单位:
Acquisition of Computer Science Research Equipment
-
批准号:8106189
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1981
-
负责人:Jeffrey Ullman
-
依托单位:
Database Theory
-
批准号:8012907
-
项目类别:Continuing Grant
-
资助金额:$10.01万
-
财政年份:1980
-
负责人:Jeffrey Ullman
-
依托单位:
Implementation of a Simple User Model By a Relational Database
-
批准号:8021358
-
项目类别:Interagency Agreement
-
资助金额:$4.95万
-
财政年份:1980
-
负责人:Jeffrey Ullman
-
依托单位:
Database Theory
-
批准号:7904528
-
项目类别:Continuing Grant
-
资助金额:$4.8万
-
财政年份:1979
-
负责人:Jeffrey Ullman
-
依托单位:
Efficient Combinatorial Algorithms and Their Applications
-
批准号:7826858
-
项目类别:Continuing Grant
-
资助金额:$5.89万
-
财政年份:1979
-
负责人:Jeffrey Ullman
-
依托单位:
Code Optimization
-
批准号:7415255
-
项目类别:Standard Grant
-
资助金额:$19.09万
-
财政年份:1975
-
负责人:Jeffrey Ullman
-
依托单位:
海外基金