AI4FM: using AI to aid automation of proof search in Formal Methods
AI4FM:使用人工智能辅助形式化方法中证明搜索的自动化
基本信息
- 批准号:EP/H023852/1
- 负责人:
- 金额:$ 2.96万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2010
- 资助国家:英国
- 起止时间:2010 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要,但也可能是因为摘要中包含个人详细信息等敏感信息。
项目成果
期刊论文数量(7)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Logic for Programming, Artificial Intelligence, and Reasoning
编程逻辑、人工智能和推理
- DOI:10.1007/978-3-642-45221-5_9
- 发表时间:2013
- 期刊:
- 影响因子:0
- 作者:Benzmüller C
- 通讯作者:Benzmüller C
Machine Learning in Proof General: Interfacing Interfaces
- DOI:10.4204/eptcs.118.2
- 发表时间:2012-12
- 期刊:
- 影响因子:3.4
- 作者:Ekaterina Komendantskaya;Jónathan Heras;G. Grov
- 通讯作者:Ekaterina Komendantskaya;Jónathan Heras;G. Grov
Abstract State Machines, Alloy, B, VDM, and Z
抽象状态机、Alloy、B、VDM 和 Z
- DOI:10.1007/978-3-642-30885-7_18
- 发表时间:2012
- 期刊:
- 影响因子:0
- 作者:Jones C
- 通讯作者:Jones C
Tinker, tailor, solver, proof
修补匠、裁缝、求解器、证明
- DOI:10.4204/eptcs.167.5
- 发表时间:2014
- 期刊:
- 影响因子:0
- 作者:Grov G
- 通讯作者:Grov G
Reasoned modelling critics: Turning failed proofs into modelling guidance
理性的建模批评家:将失败的证明转化为建模指导
- DOI:10.1016/j.scico.2011.03.006
- 发表时间:2013
- 期刊:
- 影响因子:1.3
- 作者:Ireland A
- 通讯作者:Ireland A
{{
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 }}
Andrew Ireland其他文献
Synthesising Functional Invariants in Separation Logic
综合分离逻辑中的函数不变量
- DOI:
10.29007/xw9c - 发表时间:
2010 - 期刊:
- 影响因子:1.6
- 作者:
E. Maclean;Andrew Ireland;G. Grov - 通讯作者:
G. Grov
Discovering applications of higher order functions through proof planning
通过证明规划发现高阶函数的应用
- DOI:
10.1007/s00165-004-0054-5 - 发表时间:
2005 - 期刊:
- 影响因子:1
- 作者:
Andrew Cook;Andrew Ireland;G. Michaelson;N. Scaife - 通讯作者:
N. Scaife
Low-Level Programming in Hume: An Exploration of the HW-Hume Level
休谟中的低级编程:HW-休谟级别的探索
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
K. Hammond;G. Grov;G. Michaelson;Andrew Ireland - 通讯作者:
Andrew Ireland
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
指导归纳证明的涟漪策略的扩展
- DOI:
10.1007/3-540-52885-7_84 - 发表时间:
1990 - 期刊:
- 影响因子:0
- 作者:
Alan Bundy;F. V. Harmelen;A. Smaill;Andrew Ireland - 通讯作者:
Andrew Ireland
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
将证明计划与偏序计划相结合以进行命令性程序综合
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
Andrew Ireland;Jamie Stark - 通讯作者:
Jamie Stark
Andrew Ireland的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Andrew Ireland', 18)}}的其他基金
The Integration and Interaction of Multiple Mathematical Reasoning Processes
多种数学推理过程的整合与交互
- 批准号:
EP/N014758/1 - 财政年份:2015
- 资助金额:
$ 2.96万 - 项目类别:
Research Grant
The Integration and Interaction of Multiple Mathematical Reasoning Processes
多种数学推理过程的整合与交互
- 批准号:
EP/J001058/1 - 财政年份:2011
- 资助金额:
$ 2.96万 - 项目类别:
Research Grant
A cognitive model of axiom formulation and reformulation with application to AI and software engineering
应用于人工智能和软件工程的公理表述和重新表述的认知模型
- 批准号:
EP/F037058/1 - 财政年份:2008
- 资助金额:
$ 2.96万 - 项目类别:
Research Grant
Cooperative Reasoning for Automatic Software Verification
自动软件验证的协作推理
- 批准号:
EP/F037597/1 - 财政年份:2008
- 资助金额:
$ 2.96万 - 项目类别:
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%
- 批准号:
10093235 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Collaborative R&D
MediMusic: using AI for music therapy in care homes
MediMusic:在疗养院使用人工智能进行音乐治疗
- 批准号:
10107316 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Collaborative R&D
International Partnering Award: Using AI to assess senescence and mitochondrial morphology in calcifying VSMCs
国际合作奖:利用人工智能评估钙化 VSMC 的衰老和线粒体形态
- 批准号:
BB/Y513982/1 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Research Grant
Correlating neuronal activity and large volume nanoscale imaging using AI
使用 AI 将神经元活动与大体积纳米级成像关联起来
- 批准号:
BB/Y51391X/1 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Research Grant
Towards widespread use of cardiac MRI using new affordable low magnetic field (0.55T) MRI scanner and AI
使用新型经济实惠的低磁场 (0.55T) MRI 扫描仪和 AI 实现心脏 MRI 的广泛使用
- 批准号:
2904562 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Studentship
Sensing the Forest - Let the Forest Speak using the Internet of Things, Acoustic Ecology and Creative AI
感知森林——物联网、声学生态、创意人工智能让森林说话
- 批准号:
AH/X011585/2 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Research Grant
Using generative AI combined with immersive technology to treat anxiety disorders
利用生成式人工智能结合沉浸式技术治疗焦虑症
- 批准号:
10109165 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Launchpad
Using AI based modelling to drive the engineering of biology
使用基于人工智能的建模来推动生物学工程
- 批准号:
BB/Y514056/1 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Research Grant
CAREER: A Platform for Per-Packet AI using Heterogeneous Data Planes
职业:使用异构数据平面的每数据包人工智能平台
- 批准号:
2338034 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Continuing Grant
I-Corps: Translation potential of using artificial intelligence (AI) for an interactive and inclusive language-learning process designed for young children
I-Corps:使用人工智能 (AI) 为幼儿设计的交互式和包容性语言学习过程的翻译潜力
- 批准号:
2418277 - 财政年份:2024
- 资助金额:
$ 2.96万 - 项目类别:
Standard Grant