A Systematic Approach to Reasoning about Actions and Change

推理行动和变革的系统方法

基本信息

  • 批准号：
    0096287
  • 负责人：
    Chitta Baral
  • 金额：
    $ 17.58万
  • 依托单位：
    Arizona State University
  • 依托单位国家：
    美国
  • 项目类别：
    Continuing Grant
  • 财政年份：
    1999
  • 资助国家：
    美国
  • 起止时间：
    1999-09-01 至 2001-08-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Chitta Baral其他文献

Recognizing Social Constructs from Textual Conversation
从文本对话中识别社会结构
Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks
生化网络中基于知识的假设形成综合框架
Knowledge Representation, Reasoning and Declarative Problem Solving
  • DOI：
    10.1017/cbo9780511543357.013
  • 发表时间：
    2003
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Chitta Baral
  • 通讯作者：
    Chitta Baral
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs
使用序列、条件、循环、非确定性选择和过程结构扩展答案集规划
  • DOI：
  • 发表时间：
    2001
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Tran Cao Son;Chitta Baral;Sheila A. McIlraith
  • 通讯作者：
    Sheila A. McIlraith
Reasoning About Effects of Concurrent Actions
关于并发操作的影响的推理
  • DOI：
    10.1016/s0743-1066(96)00140-9
  • 发表时间：
    1997
  • 期刊：
    J. Log. Program.
  • 影响因子：
    0
  • 作者：
    Chitta Baral;M. Gelfond
  • 通讯作者：
    M. Gelfond

Chitta Baral的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Chitta Baral', 18)}}的其他基金

Doctoral Mentoring Consortium at International Joint Conference on Artificial Intelligence (IJCAI) 2019
2019年国际人工智能联合会议（IJCAI）博士生导师联盟
  • 批准号：
    1935906
  • 财政年份：
    2019
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
RI: Small: A Cognitive Framework for Technical, Hard and Explainable Question Answering (THE-QA) with respect to Combined Textual and Visual Inputs
RI：小：结合文本和视觉输入的技术性、硬性和可解释性问答 (THE-QA) 的认知框架
  • 批准号：
    1816039
  • 财政年份：
    2018
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
Student Travel Grant: 2014 Principles of Knowledge Representation and Reasoning Conference and Doctoral Consortium
学生旅费资助：2014年知识表示和推理原理会议及博士联盟
  • 批准号：
    1441741
  • 财政年份：
    2014
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
EAGER: Enabling collaboration in the creation of scientific databases from the published literature
EAGER：促进根据已发表文献创建科学数据库的合作
  • 批准号：
    0950440
  • 财政年份：
    2009
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
Knowledge Representation, Reasoning, and Problem Solving in a Cellular Domain
细胞领域的知识表示、推理和问题解决
  • 批准号：
    0412000
  • 财政年份：
    2004
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Continuing Grant
Reasoning and Plannning with Sensing Actions and Their Applications
感知动作推理与规划及其应用
  • 批准号：
    0070463
  • 财政年份：
    2000
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Continuing Grant
A Systematic Approach to Reasoning about Actions and Change
推理行动和变革的系统方法
  • 批准号：
    9501577
  • 财政年份：
    1995
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Continuing Grant
Research in Knowledge Representaion and Common Sense Reasoning
知识表示和常识推理研究
  • 批准号：
    9211662
  • 财政年份：
    1992
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant

相似国自然基金

EnSite array指导下对Stepwise approach无效的慢性房颤机制及消融径线设计的实验研究
  • 批准号：
    81070152
  • 批准年份：
    2010
  • 资助金额：
    10.0 万元
  • 项目类别：
    面上项目

相似海外基金

CRII: SaTC: A Contextual Integrity Approach for Privacy Reasoning Regarding Performance Tracking Technologies in US College Athletics
CRII：SaTC：美国大学体育运动成绩跟踪技术隐私推理的上下文完整性方法
  • 批准号：
    2348294
  • 财政年份：
    2024
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
Designing an Equitable Approach to Multiplicative Reasoning through Dynamic Measurement for Area (DYME-A)
通过动态面积测量设计乘法推理的公平方法 (DYME-A)
  • 批准号：
    2321234
  • 财政年份：
    2023
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
EAGER: Robust Reasoning using a Geometric Approach to SAT and PSAT
EAGER：使用几何方法进行 SAT 和 PSAT 的稳健推理
  • 批准号：
    2152454
  • 财政年份：
    2022
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
Developing a knowledge inference and reasoning engine to extract meaningful insights from unstructured data using a novel neighbourhood graph approach
开发知识推理和推理引擎，使用新颖的邻域图方法从非结构化数据中提取有意义的见解
  • 批准号：
    10027139
  • 财政年份：
    2022
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Collaborative R&D
Spatio-temporal reasoning in mixed reality with a hybrid approach to support scalability and development of virtuality-reality continnum software
混合现实中的时空推理，采用混合方法来支持虚拟现实连续体软件的可扩展性和开发
  • 批准号：
    577627-2022
  • 财政年份：
    2022
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Alliance Grants
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
  • 批准号：
    RGPIN-2015-04158
  • 财政年份：
    2022
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Discovery Grants Program - Individual
A Machine Learning Approach to Improve Students’ Scientific Reasoning and Writing
提高学生科学推理和写作能力的机器学习方法
  • 批准号：
    2020784
  • 财政年份：
    2021
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Standard Grant
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
  • 批准号：
    RGPIN-2015-04158
  • 财政年份：
    2021
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Discovery Grants Program - Individual
Religious moral reasoning in the frame of dual process approach: Cultural differences in religious moral reasoning and thinking style.
双过程方法框架下的宗教道德推理：宗教道德推理和思维方式的文化差异
  • 批准号：
    21KK0042
  • 财政年份：
    2021
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
  • 批准号：
    RGPIN-2015-04158
  • 财政年份：
    2020
  • 资助金额：
    $ 17.58万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了