Workshop on Research in Logic-Based Artificial Intelligence
Workshop on Research in Logic-Based Artificial Intelligence
批准号:
9820138
负责人:
Jack Minker
金额:
$3.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1999
资助国家:
美国
项目状态:
已结题
起止时间:
1999-03-01 至 2000-02-29
中文摘要
点击翻译按钮获取中文摘要
英文摘要
There is a perception among certain members of the artificial intelligence community that the logic-based approach to AI has not been sufficiently recognized as important at NSF. This workshop will bring together leading researchers in the logic-based AI community, to provide them with an opportunity to exchange information in their sub-disciplines, to learn about related work in logic-based AI, and to assess the direction of the field as a whole. A report to NSF will describes important current themes in the field which are worthy of research support, and will provide an assessment of an area of research that some of the leading figures in artificial intelligence believe to be among the most promising for significant future advances. NSF funds will be used to partially support attendees who do not have sufficient funds to come otherwise, as well as a small number of student attendees; no funds will be used for overhead or for the PIs. The University of Maryland Institute for Advanced Computer Studies will contribute approximately $5,000 to defray the charge for use of the conference rooms, to provide preprints of papers, and for other incidentals.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
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
-
依托单位:
Artificial Intelligence, Parallel Logic Programming and Deductive Databases (Computer and Information Science)
-
批准号:8609170
-
项目类别:Continuing Grant
-
资助金额:$34.98万
-
财政年份:1987
-
负责人: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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: