刷新
{{item.name}}会员
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
基本信息
- 批准号：RGPIN-2017-06018
- 负责人：
- 金额：$ 1.68万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
applications of descriptive complexity; GOLOG and situation calculus; knowledge representation; logic in computer science; problem solving beyond NP; propositional satisfiability (SAT); relational databases; satisfiability modulo theory (SMT)
描述性复杂性的应用; GOST和情境演算;知识表示;计算机科学中的逻辑; NP之外的问题解决;命题可满足性（SAT）;关系数据库;可满足性模理论（SMT）
项目成果
期刊论文数量（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 }}
Ternovska, Evgenia其他文献
Ternovska, Evgenia的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ternovska, Evgenia', 18)}}的其他基金
Computational Aspects of Reasoning about Dynamic Systems
动态系统推理的计算方面
- 批准号：
RGPIN-2022-05453 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号：
RGPIN-2017-06018 - 财政年份：2020
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号：
RGPIN-2017-06018 - 财政年份：2019
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号：
RGPIN-2017-06018 - 财政年份：2018
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号：
RGPIN-2017-06018 - 财政年份：2017
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
CRII: SaTC: Automated Knowledge Representation for IoT Cybersecurity Regulations
CRII：SaTC：物联网网络安全法规的自动化知识表示
- 批准号：
2348147 - 财政年份：2024
- 资助金额：
$ 1.68万 - 项目类别：
Standard Grant
CAREER: Digitize and Simulate the Large Physical World via Knowledge-Grounded Scene Representation
职业：通过基于知识的场景表示对大型物理世界进行数字化和模拟
- 批准号：
2340254 - 财政年份：2024
- 资助金额：
$ 1.68万 - 项目类别：
Continuing Grant
Travel: RI: Small: Student Travel Grant for 20th International Conference on Principles of Knowledge Representation and Reasoning and Doctoral Consortium
旅费：RI：小额：第 20 届知识表示和推理原理及博士联盟国际会议学生旅费补助
- 批准号：
2328173 - 财政年份：2023
- 资助金额：
$ 1.68万 - 项目类别：
Standard Grant
Cross-Lingual Knowledge Representation and Alignment in LLMs
法学硕士中的跨语言知识表示和协调
- 批准号：
2876276 - 财政年份：2023
- 资助金额：
$ 1.68万 - 项目类别：
Studentship
Representation Learning for Large Knowledge Graph Completion
大型知识图补全的表示学习
- 批准号：
2739427 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Studentship
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理：推动前沿
- 批准号：
RGPIN-2020-05211 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Knowledge Representation and Information Security
知识表示和信息安全
- 批准号：
RGPIN-2019-04251 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理：推动前沿
- 批准号：
RGPIN-2020-05211 - 财政年份：2021
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Representation of facility engineers' knowledge and experiences using building information models that have information of building components and networks between building components
使用具有建筑组件和建筑组件之间网络信息的建筑信息模型来表示设施工程师的知识和经验
- 批准号：
21K14328 - 财政年份：2021
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
CRII: III: Knowledge Graph Completion with Transferable Representation Learning
CRII：III：通过可迁移表示学习完成知识图谱
- 批准号：
2105329 - 财政年份：2021
- 资助金额：
$ 1.68万 - 项目类别：
Standard Grant