刷新
{{item.name}}会员
Logical foundations for agent programming
代理编程的逻辑基础
基本信息
- 批准号：183994-1996
- 负责人：
- 金额：$ 1.6万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1999
- 资助国家：加拿大
- 起止时间：1999-01-01 至 2000-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（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.6万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2021
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2020
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2019
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2018
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2017
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2016
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
自主自适应代理的规范、验证和综合
- 批准号：
RGPIN-2015-03756 - 财政年份：2015
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Logic-based agent programming
基于逻辑的代理编程
- 批准号：
183994-2000 - 财政年份：2000
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Logical foundations for agent programming
代理编程的逻辑基础
- 批准号：
183994-1996 - 财政年份：1998
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
CAREER: Foundations of Scalable and Resilient Distributed Real-Time Decision Making in Open Multi-Agent Systems
职业：开放多代理系统中可扩展和弹性分布式实时决策的基础
- 批准号：
2339509 - 财政年份：2024
- 资助金额：
$ 1.6万 - 项目类别：
Continuing Grant
Exploration of the immunosuppressive function of RBMS3/PRRX1 axis in TNBC
RBMS3/PRRX1轴在TNBC中免疫抑制功能的探讨
- 批准号：
10650595 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Crosslinking-based targeted therapy for triple-negative breast cancer
基于交联的三阴性乳腺癌靶向治疗
- 批准号：
10650998 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Cancer Therapeutics and Host Response Research Program
癌症治疗和宿主反应研究计划
- 批准号：
10625756 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Delineating how nucleic acid sensing in tumor cells regulate anti-tumor immune responses
描述肿瘤细胞中的核酸传感如何调节抗肿瘤免疫反应
- 批准号：
10626284 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Developing multitarget enzyme inhibitors as safe and effective anti-migraine treatments
开发多靶点酶抑制剂作为安全有效的抗偏头痛治疗方法
- 批准号：
10714658 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Pilot Studies of PAX3-FOXO1 Fusions Proteins in Alveolar Rhabdomyosarcoma
PAX3-FOXO1 融合蛋白在肺泡横纹肌肉瘤中的初步研究
- 批准号：
10726763 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Bridging the gap: joint modeling of single-cell 1D and 3D genomics
弥合差距：单细胞 1D 和 3D 基因组学联合建模
- 批准号：
10572539 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Prader-Willi syndrome (PWS) gene-domain and AAV miniaturization for gene therapy
Prader-Willi 综合征 (PWS) 基因域和 AAV 小型化用于基因治疗
- 批准号：
10593218 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：