课题基金 / 基金详情

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

AI4FM: using AI to aid automation of proof search in Formal Methods
AI4FM：使用人工智能辅助形式化方法中证明搜索的自动化
批准号：
EP/H023852/1
负责人：
Andrew Ireland
金额：
$2.96万
依托单位：
Heriot-Watt University
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2010
资助国家：
英国
项目状态：
已结题
起止时间：
2010 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FH023852%2F1
关键词：
AI4FMusingAIaidautomation

项目摘要

项目成果

Andrew Ireland的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
Logic for Programming, Artificial Intelligence, and Reasoning
编程逻辑、人工智能和推理
DOI： 10.1007/978-3-642-45221-5_9
发表时间： 2013
期刊：
影响因子： --
作者： [Benzmüller C]
通讯作者： Benzmüller C
Machine Learning in Proof General: Interfacing Interfaces
DOI： 10.4204/eptcs.118.2
发表时间： 2012-12
期刊： Theoretical and Applied Climatology
影响因子： 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
期刊：
影响因子： --
作者： [Jones C]
通讯作者： Jones C
Tinker, tailor, solver, proof
修补匠、裁缝、求解器、证明
DOI： 10.4204/eptcs.167.5
发表时间： 2014
期刊： Electronic Proceedings in Theoretical Computer Science
影响因子： --
作者： [Grov G]
通讯作者： Grov G
The Integration and Interaction of Multiple Mathematical Reasoning Processes
  • 批准号：
    EP/N014758/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $166.21万
  • 财政年份：
    2015
  • 负责人：
    Andrew Ireland
  • 依托单位：
    Heriot-Watt University
The Integration and Interaction of Multiple Mathematical Reasoning Processes
  • 批准号：
    EP/J001058/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $145.3万
  • 财政年份：
    2011
  • 负责人：
    Andrew Ireland
  • 依托单位：
    Heriot-Watt University
A cognitive model of axiom formulation and reformulation with application to AI and software engineering
  • 批准号：
    EP/F037058/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $9.45万
  • 财政年份：
    2008
  • 负责人：
    Andrew Ireland
  • 依托单位：
    Heriot-Watt University
Cooperative Reasoning for Automatic Software Verification
  • 批准号：
    EP/F037597/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $38.85万
  • 财政年份：
    2008
  • 负责人：
    Andrew Ireland
  • 依托单位：
    Heriot-Watt University
国内基金
海外基金
Capture and Release of Droplets Using Advanced Materials for High Technology Applications
  • 批准号：
    52073127
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2020
  • 负责人：
    Alidad Amirfazli
  • 依托单位：
    江苏理工学院
Molecular Interaction Reconstruction of Rheumatoid Arthritis Therapies Using Clinical Data