Answer set programming and applications
答案集编程和应用
基本信息
- 批准号:9225-2010
- 负责人:
- 金额:$ 1.82万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2012
- 资助国家:加拿大
- 起止时间:2012-01-01 至 2013-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
In Artificial Intelligence, we attempt to build intelligent agents, which, among other things, shall be capable of acquiring knowledge through various means such as learning, observation, or simply being told, and able to reason with it, for example, to make plans, explain observations, achieve goals, etc. To acquire knowledge and reason with it, we need to represent knowledge in a computer readable format.
在人工智能中,我们试图建立智能代理,其中,除其他外,应能够通过各种手段,如学习,观察,或只是被告知获取知识,并能够与它的原因,例如,制定计划,解释观察,实现目标等,获取知识和推理,我们需要以计算机可读的格式表示知识。
项目成果
期刊论文数量(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 }}
You, JiaHuai其他文献
You, JiaHuai的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('You, JiaHuai', 18)}}的其他基金
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2021
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2020
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2019
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2018
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2017
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2016
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2015
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Answer set programming and applications
答案集编程和应用
- 批准号:
9225-2010 - 财政年份:2014
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Answer set programming and applications
答案集编程和应用
- 批准号:
9225-2010 - 财政年份:2013
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
选择性SET7/9抑制剂的设计优化及缺血性脑损伤保护机制
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
C-KIT激酶区突变调控SET在儿童急性髓系白血病耐药中的作用及机制研究
- 批准号:JCZRLH202500940
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
SET7通过调控糖酵解和氧化还原稳态参与PE发生发展的作用及机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
脱乙酰化酶复合物Set3C介导蛋白酶体稳态调控新型隐球菌耐热性
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
PLK1磷酸化ELF1招募Set1/COMPASS复合体调控胶质瘤谷氨酰胺代谢的机制研究
- 批准号:
- 批准年份:2024
- 资助金额:0 万元
- 项目类别:面上项目
CBX8协同SET靶向CDH1促进卵果癌上皮间质转化的作用机制研究
- 批准号:
- 批准年份:2024
- 资助金额:0 万元
- 项目类别:青年科学基金项目
PUF60通过调控SET可变多聚腺苷酸化参与DNA损伤修复促进卵巢癌耐药的机制
- 批准号:82303055
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
ASXL2缺失致SET1甲基化不足抑制TIP150转录在低氧精子尾部畸形中的作用机制研究
- 批准号:CSTB2023NSCQ-MSX0034
- 批准年份:2023
- 资助金额:10.0 万元
- 项目类别:省市级项目
甲基转移酶SET-18/SMYD2通过调控溶酶体活性促进衰老的分子机制研究
- 批准号:32371323
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
致癌组蛋白H3K4M突变调控Set1/MLL家族蛋白稳态的分子机制探究
- 批准号:32301059
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
RI: Small: Embracing Deep Neural Networks into Probabilistic Answer Set Programming
RI:小:将深度神经网络融入概率答案集编程
- 批准号:
2006747 - 财政年份:2020
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2019
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2018
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2017
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
RI: Small: Automated Optimization of Programs and Processing Tools in Answer Set Programming
RI:小:答案集编程中程序和处理工具的自动优化
- 批准号:
1707371 - 财政年份:2017
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant
RI: SMALL: Efficient Implementations of Goal-Directed Solvers for Answer Set Programming
RI:SMALL:答案集编程的目标导向求解器的高效实现
- 批准号:
1718945 - 财政年份:2017
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2016
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2015
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
RI: Small: Knowledge Representation and Reasoning under Uncertainty with Probabilistic Answer Set Programming
RI:小:不确定性下的知识表示和推理与概率答案集编程
- 批准号:
1526301 - 财政年份:2015
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant
Scalable Design Space Exploration via Answer Set Programming
通过答案集编程进行可扩展的设计空间探索
- 批准号:
269264143 - 财政年份:2015
- 资助金额:
$ 1.82万 - 项目类别:
Research Grants