刷新
{{item.name}}会员
Advanced representation and reasoning techniques for planning and constraint satisfaction
用于规划和约束满足的高级表示和推理技术
基本信息
- 批准号：41848-2002
- 负责人：
- 金额：$ 3.64万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2002
- 资助国家：加拿大
- 起止时间：2002-01-01 至 2003-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 }}
Bacchus, Fahiem其他文献
Solving #SAT and Bayesian Inference with Backtracking Search
- DOI：
10.1613/jair.2648 - 发表时间：
2009-01-01 - 期刊：
- 影响因子：5
- 作者：
Bacchus, Fahiem;Dalmao, Shannon;Pitassi, Toniann - 通讯作者：
Pitassi, Toniann
Bacchus, Fahiem的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Bacchus, Fahiem', 18)}}的其他基金
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2021
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2019
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2018
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2017
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2016
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2015
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2014
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Correlation clustering for identical product detection
用于相同产品检测的相关聚类
- 批准号：
469745-2014 - 财政年份：2014
- 资助金额：
$ 3.64万 - 项目类别：
Engage Grants Program
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2013
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2012
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
稀疏表示及其在盲源分离中的应用研究
- 批准号：61104053
- 批准年份：2011
- 资助金额：23.0 万元
- 项目类别：青年科学基金项目
约化群GL(n, F)的表示－－F是非阿基米德局部域
- 批准号：10701034
- 批准年份：2007
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
信号盲处理的稀疏表示方法
- 批准号：60475004
- 批准年份：2004
- 资助金额：23.0 万元
- 项目类别：面上项目
相似海外基金
Travel: RI: Small: Student Travel Grant for 20th International Conference on Principles of Knowledge Representation and Reasoning and Doctoral Consortium
旅费：RI：小额：第 20 届知识表示和推理原理及博士联盟国际会议学生旅费补助
- 批准号：
2328173 - 财政年份：2023
- 资助金额：
$ 3.64万 - 项目类别：
Standard Grant
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理：推动前沿
- 批准号：
RGPIN-2020-05211 - 财政年份：2022
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理：推动前沿
- 批准号：
RGPIN-2020-05211 - 财政年份：2021
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
Student Support for the 18th International Conference of Knowledge Representation and Reasoning, 2021
2021 年第 18 届国际知识表示与推理会议的学生支持
- 批准号：
2138698 - 财政年份：2021
- 资助金额：
$ 3.64万 - 项目类别：
Standard Grant
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理：推动前沿
- 批准号：
RGPIN-2020-05211 - 财政年份：2020
- 资助金额：
$ 3.64万 - 项目类别：
Discovery Grants Program - Individual
A study on qualitative spatial representation and reasoning system focused on the change of shapes
以形状变化为中心的定性空间表示与推理系统研究
- 批准号：
18K11453 - 财政年份：2018
- 资助金额：
$ 3.64万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques
基于先进知识表示与推理技术的多目标优化求解器研究与开发
- 批准号：
18K11242 - 财政年份：2018
- 资助金额：
$ 3.64万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Studying the single-neuronal representation of higher-order cognitive processes in the human brain
研究人脑高阶认知过程的单神经元表征
- 批准号：
396662 - 财政年份：2018
- 资助金额：
$ 3.64万 - 项目类别：
Fellowship Programs
Student Travel Grant for 2018 Principles of Knowledge Representation and Reasoning Conference and Doctoral Consortium
2018年知识表示与推理原理会议及博士联盟学生旅费补助
- 批准号：
1838259 - 财政年份：2018
- 资助金额：
$ 3.64万 - 项目类别：
Standard Grant
Michigan State University PREP: Increasing Underrepresented Minority Representation in Biomedical Sciences
密歇根州立大学 PREP：增加生物医学科学中代表性不足的少数群体的代表性
- 批准号：
9405030 - 财政年份：2017
- 资助金额：
$ 3.64万 - 项目类别：