CRI: Computing Support for the Next Generation Application-driven Declarative Programming Systems

CRI:下一代应用程序驱动的声明式编程系统的计算支持

基本信息

  • 批准号:
    0454066
  • 负责人:
  • 金额:
    $ 10.29万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2005
  • 资助国家:
    美国
  • 起止时间:
    2005-07-01 至 2007-06-30
  • 项目状态:
    已结题

项目摘要

AbstractProposal: CNS 0454066PI: Enrico PontelliInstitution: New Mexico State University Program: NSF 04-588 CISE Computing Research InfrastructureTitle: CRI: CRI: Computing Support for the Next Generation Application-driven Declarative Programming Systems The PI's will acquire a Beowulf cluster to support research in Logic Programming, particular a new effort in Answer Set Programming (ASP). ASP addresses needs for constraint programming and non-monotonic reasoning that are not present in traditional logic programming. These needs arise in world situations in which knowledge of the world changes such that prior true statements become false - violating monotonic properties of traditional logic programming. The research to be performed will include research on scalable and transparent methods to exploit parallelism, research on reasoning in complex environments such as those expressing sensing and actuation or actions with time constraints, and development of a domain specific workbench to support the design data oriented processes in evolutionary biology, such as phylogenetic inference. The infrastructure will support research and education at New Mexico State University, a minority serving institution.
摘要提案:CNS 0454066PI: Enrico pontelli机构:新墨西哥州立大学项目:NSF 04-588 CISE计算研究基础设施标题:CRI: CRI:下一代应用驱动的声明式编程系统的计算支持PI将获得一个Beowulf集群来支持逻辑编程的研究,特别是在答案集编程(ASP)方面的新努力。ASP解决了传统逻辑编程中不存在的约束规划和非单调推理的需求。这些需求出现在世界情境中,在这种情境中,对世界的认识发生了变化,使得先前的真命题变为假命题——违反了传统逻辑编程的单调性。将要进行的研究将包括研究可扩展和透明的方法,以利用并行性,研究复杂环境中的推理,例如那些表达感知和驱动或具有时间限制的动作,以及开发特定领域的工作台,以支持进化生物学中面向设计数据的过程,例如系统发育推理。该基础设施将支持新墨西哥州立大学的研究和教育,这是一所少数民族服务机构。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Enrico Pontelli其他文献

Solving distributed constraint optimization problems using logic programming* †
使用逻辑编程解决分布式约束优化问题* †
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming
利用 GPU 通过动态规划解决(分布式)约束优化问题
Finitary S5-Theories
有限S5理论
  • DOI:
    10.1007/978-3-319-11558-0_17
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tran Cao Son;Enrico Pontelli;Chitta Baral;G. Gelfond
  • 通讯作者:
    G. Gelfond
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs
DCOP 智能家居设备调度问题的现实数据集
  • DOI:
    10.1007/978-3-319-71679-4_9
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    William Kluegel;M. Iqbal;Ferdinando Fioretto;W. Yeoh;Enrico Pontelli
  • 通讯作者:
    Enrico Pontelli
Justifications for Logic Programs Under Answer Set Semantics
答案集语义下逻辑程序的理由

Enrico Pontelli的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Enrico Pontelli', 18)}}的其他基金

Collaborative Research: AGEP ACA: An HSI R2 Strategic Collaboration to Improve Advancement of Hispanic Students Into the Professoriate
合作研究:AGEP ACA:HSI R2 战略合作,以提高西班牙裔学生进入教授职位的水平
  • 批准号:
    2343236
  • 财政年份:
    2024
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Artificial Intelligence for Arid Land Agriculture (AIALA)
干旱地区农业人工智能(AIALA)
  • 批准号:
    2151254
  • 财政年份:
    2022
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Continuing Grant
BPC-DP: DEPICT - Engaging a Diverse Student Population in Computational Thinking through Creative Writing and Performances
BPC-DP:DEPICT - 通过创意写作和表演让多元化的学生群体参与计算思维
  • 批准号:
    2137581
  • 财政年份:
    2022
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
CREST: Interdisciplinary Center for Research Excellence in Design of Intelligent Technologies for Smartgrids Phase II
CREST:智能电网智能技术设计卓越研究中心第二期
  • 批准号:
    1914635
  • 财政年份:
    2020
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Continuing Grant
FDSS: A Faculty Position in Space Sciences at New Mexico State University (NMSU) to Integrate Research and Education in Solar Magnetic Fields
FDSS:新墨西哥州立大学 (NMSU) 空间科学教授职位,旨在整合太阳磁场的研究和教育
  • 批准号:
    1936336
  • 财政年份:
    2019
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Continuing Grant
Collaborative Research: BPEC: YO-GUTC: YOung Women Growing Up Thinking Computationally
合作研究:BPEC:YO-GUTC:年轻女性在计算思维中成长
  • 批准号:
    1723277
  • 财政年份:
    2016
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: BPEC: YO-GUTC: YOung Women Growing Up Thinking Computationally
合作研究:BPEC:YO-GUTC:年轻女性在计算思维中成长
  • 批准号:
    1440911
  • 财政年份:
    2015
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: BPEC: YO-GUTC: YOung Women Growing Up Thinking Computationally
合作研究:BPEC:YO-GUTC:年轻女性在计算思维中成长
  • 批准号:
    1440918
  • 财政年份:
    2015
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: ABI Development: An open infrastructure to disseminate phylogenetic knowledge
合作研究:ABI 开发:传播系统发育知识的开放基础设施
  • 批准号:
    1458595
  • 财政年份:
    2015
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
iCREDITS: interdisciplinary Center of Research Excellence in Design of Intelligent Technologies for Smartgrids
iCREDITS:智能电网智能技术设计跨学科卓越研究中心
  • 批准号:
    1345232
  • 财政年份:
    2014
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Continuing Grant

相似海外基金

Collaborative Research: Frameworks: hpcGPT: Enhancing Computing Center User Support with HPC-enriched Generative AI
协作研究:框架:hpcGPT:通过 HPC 丰富的生成式 AI 增强计算中心用户支持
  • 批准号:
    2411297
  • 财政年份:
    2024
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: Frameworks: hpcGPT: Enhancing Computing Center User Support with HPC-enriched Generative AI
协作研究:框架:hpcGPT:通过 HPC 丰富的生成式 AI 增强计算中心用户支持
  • 批准号:
    2411298
  • 财政年份:
    2024
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: Frameworks: hpcGPT: Enhancing Computing Center User Support with HPC-enriched Generative AI
协作研究:框架:hpcGPT:通过 HPC 丰富的生成式 AI 增强计算中心用户支持
  • 批准号:
    2411299
  • 财政年份:
    2024
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: Frameworks: hpcGPT: Enhancing Computing Center User Support with HPC-enriched Generative AI
协作研究:框架:hpcGPT:通过 HPC 丰富的生成式 AI 增强计算中心用户支持
  • 批准号:
    2411296
  • 财政年份:
    2024
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: Frameworks: hpcGPT: Enhancing Computing Center User Support with HPC-enriched Generative AI
协作研究:框架:hpcGPT:通过 HPC 丰富的生成式 AI 增强计算中心用户支持
  • 批准号:
    2411295
  • 财政年份:
    2024
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: Frameworks: hpcGPT: Enhancing Computing Center User Support with HPC-enriched Generative AI
协作研究:框架:hpcGPT:通过 HPC 丰富的生成式 AI 增强计算中心用户支持
  • 批准号:
    2411294
  • 财政年份:
    2024
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
DIVISION OF CANCER CONTROL AND POPULATION SCIENCES (DCCPS) BIOMEDICAL COMPUTING SUPPORT SERVICES_ Moonshot Support
癌症控制和人口科学部 (DCCPS) 生物医学计算支持服务_ Moonshot 支持
  • 批准号:
    10975530
  • 财政年份:
    2023
  • 资助金额:
    $ 10.29万
  • 项目类别:
Conference: Scholarship Support for the Richard Tapia Diversity in Computing Conference
会议:理查德·塔皮亚计算多样性会议的奖学金支持
  • 批准号:
    2331068
  • 财政年份:
    2023
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Student and Early Career Support: 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2023)
学生和早期职业支持:第 23 届 IEEE/ACM 国际集群、云和互联网计算研讨会 (CCGrid 2023)
  • 批准号:
    2317547
  • 财政年份:
    2023
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Hardware and Software Support for Memory-Centric Computing Systems
协作研究:SHF:中:以内存为中心的计算系统的硬件和软件支持
  • 批准号:
    2312507
  • 财政年份:
    2023
  • 资助金额:
    $ 10.29万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了