刷新
{{item.name}}会员
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
基本信息
- 批准号：RGPIN-2015-03756
- 负责人：
- 金额：$ 1.75万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
adaptive systems; agent/process customization; automated service composition; automated synthesis of agents and processes; logics of agency; plan and intention recognition; Reasoning about action and processes; reasoning about multi-agent systems; verification of agents and multi-agent systems
自适应系统;代理/过程定制;自动化服务组合；药剂和工艺的自动合成；代理逻辑；计划和意图识别；对行动和过程的推理；多智能体系统的推理；验证代理和多代理系统
项目成果
期刊论文数量（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 }}
Lesperance, Yves其他文献
A planning approach to the automated synthesis of template-based process models
- DOI：
10.1007/s11761-017-0215-z - 发表时间：
2017-12-01 - 期刊：
- 影响因子：1.3
- 作者：
Marrella, Andrea;Lesperance, Yves - 通讯作者：
Lesperance, Yves
Lesperance, Yves的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Lesperance, Yves', 18)}}的其他基金
Using Abstraction in Reasoning about Autonomous Agents and Multiagent Systems
在自治代理和多代理系统的推理中使用抽象
- 批准号：
RGPIN-2022-04565 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2020
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2019
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2018
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2017
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2016
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2015
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Logic-based agent programming
基于逻辑的代理编程
- 批准号：
183994-2000 - 财政年份：2000
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Logical foundations for agent programming
代理编程的逻辑基础
- 批准号：
183994-1996 - 财政年份：1999
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Logical foundations for agent programming
代理编程的逻辑基础
- 批准号：
183994-1996 - 财政年份：1998
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2319400 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2319399 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Standard Grant
SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing Frameworks
SHF：小型：基于属性的测试框架中输入生成器的自动验证和合成
- 批准号：
2321680 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2404036 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2319401 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2409796 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Standard Grant
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号：
RGPIN-2019-04354 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Migrating Database Applications
迁移数据库应用程序的程序验证和综合
- 批准号：
DGECR-2022-00417 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Launch Supplement
Program Verification and Synthesis for Migrating Database Applications
迁移数据库应用程序的程序验证和综合
- 批准号：
RGPIN-2022-04983 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual