课题基金 / 基金详情

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

项目摘要

项目成果

Jack Minker的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
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
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
    SATOSHI NAWATA
  • 依托单位:
Cell Research
Cell Research
Cell Research (细胞研究)