权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

AI4FM: using AI to aid automation of proof search in Formal Methods

AI4FM：使用人工智能辅助形式化方法中证明搜索的自动化

基本信息

批准号：
EP/H024204/1
负责人：
Alan Bundy
金额：
$ 65.45万
依托单位：
University of Edinburgh
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2010
资助国家：
英国
起止时间：
2010 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FH024204%2F1
关键词：
AI4FM using AI aid automation

项目摘要

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

验证软件：理论、工具和实验 - 第六届国际会议，VSTTE 2014，奥地利维也纳，2014 年 7 月 17-18 日，修订后的精选论文

DOI：
10.1007/978-3-319-12154-3_12
发表时间：
2014
期刊：
影响因子：
0
作者：
Freitas L
通讯作者：
Freitas L

Tinker, tailor, solver, proof

修补匠、裁缝、求解器、证明

DOI：
10.4204/eptcs.167.5
发表时间：
2014
期刊：
Electronic Proceedings in Theoretical Computer Science
影响因子：
0
作者：
Grov G
通讯作者：
Grov G

NASA Formal Methods

NASA 正式方法

DOI：
10.1007/978-3-319-06200-6_18
发表时间：
2014
期刊：
影响因子：
0
作者：
Bardsley E
通讯作者：
Bardsley E

The Tinker tool for graphical tactic development

用于图形战术开发的 Tinker 工具

DOI：
10.1007/s10009-017-0452-7
发表时间：
2017
期刊：
International Journal on Software Tools for Technology Transfer
影响因子：
1.5
作者：
Grov G
通讯作者：
Grov G

Productive use of failure in top-down formal methods

在自上而下的形式方法中有效地利用失败

DOI：
发表时间：
2011
期刊：
影响因子：
0
作者：
Bundy A
通讯作者：
Bundy A

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Alan Bundy其他文献

On Process Equivalence = Equation Solving in CCS

DOI：
10.1007/s10817-009-9125-x
发表时间：
2009-03-20
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
0.800
作者：
Raúl Monroy;Alan Bundy;Ian Green
通讯作者：
Ian Green

Experiments with proof plans for induction

DOI：
10.1007/bf00249016
发表时间：
1991-09-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
0.800
作者：
Alan Bundy;Frank van Harmelen;Jane Hesketh;Alan Smaill
通讯作者：
Alan Smaill

Grand Challenges in Computing Research 2010

2010 年计算研究的重大挑战

DOI：
发表时间：
2010
期刊：
影响因子：
0
作者：
Gudmund Grov;Alan Bundy;Cliff B. Jones;Andrew Ireland
通讯作者：
Andrew Ireland

Will it reach the top? Prediction in the mechanics world

DOI：
10.1016/s0004-3702(78)80009-5
发表时间：
1978-04-01
期刊：
Research article
影响因子：
作者：
Alan Bundy
通讯作者：
Alan Bundy

A recursive techniques editor for Prolog

DOI：
10.1007/bf00120880
发表时间：
1991-03-01
期刊：
INSTRUCTIONAL SCIENCE
影响因子：
2.100
作者：
Alan Bundy;Gerd Grosse;Paul Brna
通讯作者：
Paul Brna

Alan Bundy的其他文献

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

立即体验

{{ truncateString('Alan Bundy', 18)}}的其他基金

Interpreting and integrating mismatched data on the fly

即时解释和集成不匹配的数据

批准号：
EP/J020524/1
财政年份：
2012
资助金额：
$ 65.45万
项目类别：
Research Grant

The potential of automated reasoning tools to assist the working mathematician

自动推理工具协助数学家的潜力

批准号：
EP/H023119/1
财政年份：
2010
资助金额：
$ 65.45万
项目类别：
Research Grant

Ontology Evolution in Physics

物理学本体论演化

批准号：
EP/G000700/1
财政年份：
2008
资助金额：
$ 65.45万
项目类别：
Research Grant

Automated Theorem Discovery

自动定理发现

批准号：
EP/F033559/1
财政年份：
2007
资助金额：
$ 65.45万
项目类别：
Research Grant

The Integration and Interaction of Multiple Mathematical Reasoning Processes.

多种数学推理过程的整合和相互作用。

批准号：
EP/E005713/1
财政年份：
2007
资助金额：
$ 65.45万
项目类别：
Research Grant

相似国自然基金

Molecular Interaction Reconstruction of Rheumatoid Arthritis Therapies Using Clinical Data

批准号：
31070748
批准年份：
2010
资助金额：
34.0 万元
项目类别：
面上项目

相似海外基金

An innovative platform using ML/AI to analyse farm data and deliver insights to improve farm performance, increasing farm profitability by 5-10%

An%20innovative%20platform%20using%20ML/AI%20to%20analysis%20farm%20data%20and%20deliver%20insights%20to%20improv%20farm%20performance,%20increasing%20farm%20profitability%20by%205-10%