Temporal knowledge formalization and reasoning

时态知识形式化和推理

基本信息

  • 批准号:
    46773-2006
  • 负责人:
  • 金额:
    $ 1.09万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2006
  • 资助国家:
    加拿大
  • 起止时间:
    2006-01-01 至 2007-12-31
  • 项目状态:
    已结题

项目摘要

Most, if not all real world problems have a temporal aspect. Therefore, the ability to represent and reason about time is an integral part of any intelligent system. The long term goal of the research program is to produce a rich, robust and efficient temporal knowledge representation and reasoning system capable of solving a wide range of complex real world problems. A secondary research project seeks to answer the question: "How big is the World Wide Web?" The answer has both commercial and regulatory implications. We use a novel approach based on the observation that biologists have been measuring large populations for over a century. We apply methods from ecology to the Web. Our goal is to measure the exact size of the Web (i.e., a census), which has never been done.
大多数(如果不是全部)现实世界的问题都有时间方面的问题。因此,对时间进行表述和推理的能力是任何智能系统不可或缺的一部分。该研究计划的长期目标是产生一个丰富、健壮和高效的时态知识表示和推理系统,能够解决广泛的复杂现实世界问题。另一个次要研究项目试图回答这个问题:“万维网有多大?”这个问题的答案既有商业意义,也有监管意义。我们使用了一种新的方法,基于生物学家一个多世纪以来一直在测量大量人口的观察结果。我们将生态学的方法应用到网络上。我们的目标是测量网络的确切大小(即,人口普查),这是从来没有做过的。

项目成果

期刊论文数量(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 }}

Trudel, Andre其他文献

Trudel, Andre的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Trudel, Andre', 18)}}的其他基金

Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2010
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2009
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2008
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2007
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2005
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2004
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2002
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2001
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Point based spatio-temporal logics
基于点的时空逻辑
  • 批准号:
    46773-1999
  • 财政年份:
    2000
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

Staffordshire University - Malone Group GB Limited - Knowledge transfer partnerships (KTP): 2023 to 2024 Round 3
斯塔福德郡大学 - Malone Group GB Limited - 知识转移合作伙伴关系 (KTP):2023 年至 2024 年第 3 轮
  • 批准号:
    10082161
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Knowledge Transfer Network
Opening Spaces and Places for the Inclusion of Indigenous Knowledge, Voice and Identity: Moving Indigenous People out of the Margins
为包容土著知识、声音和身份提供开放的空间和场所:使土著人民走出边缘
  • 批准号:
    477924
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Salary Programs
CRII: SaTC: Automated Knowledge Representation for IoT Cybersecurity Regulations
CRII:SaTC:物联网网络安全法规的自动化知识表示
  • 批准号:
    2348147
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Standard Grant
CRII: AF: The Impact of Knowledge on the Performance of Distributed Algorithms
CRII:AF:知识对分布式算法性能的影响
  • 批准号:
    2348346
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Standard Grant
Conference: Doctoral Consortium for the 2024 Learning Analytics & Knowledge Conference
会议:2024 年学习分析博士联盟
  • 批准号:
    2400421
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Standard Grant
The Influence of Lifetime Occupational Experience on Cognitive Trajectories Among Mexican Older Adults
终生职业经历对墨西哥老年人认知轨迹的影响
  • 批准号:
    10748606
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
An Integrated Model of Contextual Safety, Social Safety, and Social Vigilance as Psychosocial Contributors to Cardiovascular Disease
情境安全、社会安全和社会警惕作为心血管疾病社会心理因素的综合模型
  • 批准号:
    10749134
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
The role of nigrostriatal and striatal cell subtype signaling in behavioral impairments related to schizophrenia
黑质纹状体和纹状体细胞亚型信号传导在精神分裂症相关行为障碍中的作用
  • 批准号:
    10751224
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
CAREER: Digitize and Simulate the Large Physical World via Knowledge-Grounded Scene Representation
职业:通过基于知识的场景表示对大型物理世界进行数字化和模拟
  • 批准号:
    2340254
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Continuing Grant
Doctoral Dissertation Research: Health, Wellness, and Indigenous Knowledge: A Community-Based Participatory Research Study
博士论文研究:健康、保健和土著知识:一项基于社区的参与性研究
  • 批准号:
    2343306
  • 财政年份:
    2024
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了