Artificial Intelligence, Parallel Logic Programming and Deductive Databases (Computer and Information Science)
Artificial Intelligence, Parallel Logic Programming and Deductive Databases (Computer and Information Science)
批准号:
8609170
负责人:
Jack Minker
金额:
$34.98万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1987
资助国家:
美国
项目状态:
已结题
起止时间:
1987-01-15 至 1990-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Workshop on Research in Logic-Based Artificial Intelligence
-
批准号:9820138
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:1999
-
负责人:Jack Minker
-
依托单位:
Logic Programming and Deductive Databases
-
批准号:9300691
-
项目类别:Continuing Grant
-
资助金额:$21.0万
-
财政年份:1993
-
负责人:Jack Minker
-
依托单位:
Artificial Intelligence Logic Programming and Deductive Databases
-
批准号:8916059
-
项目类别:Continuing Grant
-
资助金额:$28.34万
-
财政年份:1990
-
负责人:Jack Minker
-
依托单位:
Workshop on Foundations of Deductive Databases and Logic Programming to be held at the University of Maryland- College Park in August, 1986
-
批准号:8602676
-
项目类别:Standard Grant
-
资助金额:$2.54万
-
财政年份:1986
-
负责人:Jack Minker
-
依托单位:
Artificial Intelligence, Parallel Logic Programming, and Deductive Databases (Computer Research)
-
批准号:8305992
-
项目类别:Standard Grant
-
资助金额:$29.18万
-
财政年份:1983
-
负责人:Jack Minker
-
依托单位:
Applications of Logic and Theorem Proving to Databases
-
批准号:7919418
-
项目类别:Standard Grant
-
资助金额:$23.33万
-
财政年份:1980
-
负责人:Jack Minker
-
依托单位:
Computer Science and Computer Engineering Research Equipment
-
批准号:7906935
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1979
-
负责人:Jack Minker
-
依托单位:
Research in Question-Answering Systems
-
批准号:7303433
-
项目类别:Standard Grant
-
资助金额:$14.86万
-
财政年份:1974
-
负责人:Jack Minker
-
依托单位:
海外基金