U.S.- Germany Cooperative Research: Proof Search in Logical Frameworks
美德合作研究:逻辑框架中的证据搜索
基本信息
- 批准号:9909952
- 负责人:
- 金额:$ 1.2万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2000
- 资助国家:美国
- 起止时间:2000-01-15 至 2003-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9909952PfenningThis award supports Frank Pfenning and two students from Carnegie Mellon University in a collaboration with Dieter Hutter of the German Research Institute for Artificial Intelligence (DFKI) in Saarbruecken, Germany. The project will focus on the development of a generic meta-langauge (or logical framework) in which various systems for formal reasoning can be encoded concisely. The central objective of this collaboration is to further the understanding of how standard techniques of redundancy elimination, efficient implementation, and heuristic search from specific logics can be generalized and applied to logical frameworks. Intended applications include formal methods and inductive reasoning about programming languages and logics. This work will make possible new advances in software engineering and artificial intelligence.
9909952Pfenning该奖项支持Frank Pfenning和来自卡内基梅隆大学的两名学生与位于德国萨尔布吕肯的德国人工智能研究所(DFKI)的Dieter Hutter合作。该项目将专注于开发一种通用的元语言(或逻辑框架),在这种语言中,各种形式推理系统可以被简洁地编码。这项合作的中心目标是进一步理解如何将冗余消除、高效实现和启发式搜索的标准技术推广并应用于逻辑框架。预期的应用包括关于编程语言和逻辑的形式化方法和归纳推理。这项工作将可能在软件工程和人工智能方面取得新的进展。
项目成果
期刊论文数量(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 }}
Frank Pfenning其他文献
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
- DOI:
10.1007/s10817-007-9091-0 - 发表时间:
2008-01-24 - 期刊:
- 影响因子:0.800
- 作者:
Kaustuv Chaudhuri;Frank Pfenning;Greg Price - 通讯作者:
Greg Price
Editorial: Strategies in Automated Deduction
- DOI:
10.1023/a:1016668707781 - 发表时间:
2000-02-01 - 期刊:
- 影响因子:1.000
- 作者:
Bernhard Gramlich;Hélène Kirchner;Frank Pfenning - 通讯作者:
Frank Pfenning
Frank Pfenning的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Frank Pfenning', 18)}}的其他基金
SHF:Small: Enriching Session Types for Practical Concurrent Programming
SHF:Small:丰富实用并发编程的会话类型
- 批准号:
1718267 - 财政年份:2017
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
CPS:前沿:协作研究:医疗网络物理系统的组合、近似和定量推理
- 批准号:
1446725 - 财政年份:2015
- 资助金额:
$ 1.2万 - 项目类别:
Continuing Grant
CPS: Breakthrough: Rigorous Integration of Decision Procedures and Numerical Algorithms for the Formal Verification of Cyber-Physical Systems
CPS:突破:决策程序和数值算法的严格集成,用于网络物理系统的形式验证
- 批准号:
1330014 - 财政年份:2013
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
CT-T: Collaborative Research: Manifest Security
CT-T:协作研究:明显的安全性
- 批准号:
0716469 - 财政年份:2007
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Design, Implementation and Application of a Framework for the Formalization of Deductive Systems
演绎系统形式化框架的设计、实现和应用
- 批准号:
9619584 - 财政年份:1997
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Design, Implementation, & Application of a Framework for the Formalization of Deductive Systems
设计、实施、
- 批准号:
9303383 - 财政年份:1993
- 资助金额:
$ 1.2万 - 项目类别:
Continuing Grant
相似海外基金
U.S.-Germany: Cooperative Research on Surfactant Self-Aggregation on Solid Surfaces and in Pores
美德:固体表面和孔隙中表面活性剂自聚集的合作研究
- 批准号:
0541956 - 财政年份:2006
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: Invigorating the Chemistry of Nitriles: An Exploration of Functionalized Grignard Reagents
美德合作研究:激发腈化学:功能化格氏试剂的探索
- 批准号:
0203145 - 财政年份:2003
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S. Germany Cooperative Research: Three-Dimensional Imaging of Ionizing Collisions
美德合作研究:电离碰撞三维成像
- 批准号:
0224943 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: Representation Rings of Finite Groups
美德合作研究:有限群表示环
- 批准号:
0128969 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: Rate Effects in the Fracture Toughness of Ferroelectric Ceramics under Mechanical Loading
美德合作研究:机械载荷下铁电陶瓷断裂韧性的速率效应
- 批准号:
0129025 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: Understanding of the Defect Chemistry of Barium Titanates for Dielectric Applications Using Electron Energy-Loss Spectroscopy
美德合作研究:利用电子能量损失光谱了解介电应用钛酸钡的缺陷化学
- 批准号:
0314159 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: A Formal Methods Tool Suite for Education
美德合作研究:教育的正式方法工具套件
- 批准号:
0128838 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: Stochastic Resonance and Synchronization in Oscillating Neurons
美德合作研究:振荡神经元的随机共振和同步
- 批准号:
0128974 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: Effect of Thyroid Endocrine Disruptors on Gene Expression, Thyroid Homeostasis, and Reproduction in Amphibians and Fish
美德合作研究:甲状腺内分泌干扰物对两栖动物和鱼类基因表达、甲状腺稳态和繁殖的影响
- 批准号:
0129059 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
U.S.-Germany Cooperative Research: Thermodynamic and Proteolytic Stability of Proteins Containing Non-Natural Modules
美德合作研究:含有非天然模块的蛋白质的热力学和蛋白水解稳定性
- 批准号:
0129163 - 财政年份:2002
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant