刷新
{{item.name}}会员
Automated Reasoning with Path Resolution and Semantic Graphs
通过路径解析和语义图进行自动推理
基本信息
- 批准号：8600848
- 负责人：
- 金额：$ 7.38万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-06-01 至 1988-11-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Neil Murray其他文献
Access, aspiration and attainment : foundation studies at the University of South Australia
机会、愿望和成就：南澳大利亚大学预科课程
- DOI：
10.1108/s1479-3628(2011)0000006014 - 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
Neil Murray;Christopher M. Klinger - 通讯作者：
Christopher M. Klinger
Pragmatic Competence as a Regulator of Foreign Language Speaking Proficiency
语用能力是外语口语能力的调节因素
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Mostafa Morady Moghaddam;Neil Murray;Yara Mirfendereski - 通讯作者：
Yara Mirfendereski
Integrating phylogeography and morphometrics to assess conservation merits and inform conservation strategies for an endangered subspecies of a common bird species
整合系统发育地理学和形态测量学来评估保护优点并为常见鸟类的濒危亚种的保护策略提供信息
- DOI：
- 发表时间：
2014 - 期刊：
- 影响因子：0
- 作者：
A. Pavlova;P. Selwood;K. Harrisson;Neil Murray;Bruce R. Quin;P. Menkhorst;Ian Smales;P. Sunnucks - 通讯作者：
P. Sunnucks
English as a lingua franca and the development of pragmatic competence
英语作为通用语言和语用能力的发展
- DOI：
10.1093/elt/ccs016 - 发表时间：
2012 - 期刊：
- 影响因子：2.5
- 作者：
Neil Murray - 通讯作者：
Neil Murray
A model to support the equitable development of academic literacy in institutions of higher education
支持高等教育机构学术素养公平发展的模型
- DOI：
10.1080/0309877x.2022.2044019 - 发表时间：
2022 - 期刊：
- 影响因子：2.3
- 作者：
Neil Murray - 通讯作者：
Neil Murray
Neil Murray的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Neil Murray', 18)}}的其他基金
III-COR: Collaborative Research: Knowledge Compilation with Fast Response
III-COR：协作研究：快速响应的知识编译
- 批准号：
0712849 - 财政年份：2007
- 资助金额：
$ 7.38万 - 项目类别：
Standard Grant
Implementation and Analysis of Inference Techniques for Classical and Multiple-Valued Logics
经典多值逻辑推理技术的实现与分析
- 批准号：
9404338 - 财政年份：1995
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
Implementation and Analysis of Proof Techniques Employing Negation Normal Form
否定范式证明技术的实现与分析
- 批准号：
9101208 - 财政年份：1991
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
An Investigation Into the Design and Implementation of a Prawitz-Based Theorem Prover (Computer Research)
基于 Prawitz 的定理证明器的设计和实现的研究（计算机研究）
- 批准号：
8218331 - 财政年份：1982
- 资助金额：
$ 7.38万 - 项目类别：
Standard Grant
An Investigation Into the Design and Implementation of a Prawitz-Based Theorem Prover
基于 Prawitz 的定理证明器的设计和实现的研究
- 批准号：
8103478 - 财政年份：1981
- 资助金额：
$ 7.38万 - 项目类别：
Standard Grant
相似海外基金
CAREER: Robust, Fair, and Culturally Aware Commonsense Reasoning in Natural Language
职业：用自然语言进行稳健、公平和具有文化意识的常识推理
- 批准号：
2339746 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
Postdoctoral Fellowship: STEMEdIPRF: Exploring the use of mechanistic reasoning in undergraduate physiology education
博士后奖学金：STEMEdIPRF：探索机械推理在本科生理学教育中的应用
- 批准号：
2327451 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Standard Grant
CRII: SHF: Embedding techniques for mechanized reasoning about existing programs
CRII：SHF：现有程序机械化推理的嵌入技术
- 批准号：
2348490 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Standard Grant
CAREER: From Fragile to Fortified: Harnessing Causal Reasoning for Trustworthy Machine Learning with Unreliable Data
职业：从脆弱到坚固：利用因果推理，利用不可靠的数据实现值得信赖的机器学习
- 批准号：
2337529 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline
SHF：Medium：机器学习管道中多重性的推理
- 批准号：
2402833 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业：物联网应用程序开发的编程抽象和形式推理
- 批准号：
2340479 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
Collaborative Research: Behavioral Science and the Making of the Right-Reasoning Public Health Citizenry
合作研究：行为科学与正确推理的公共卫生公民的培养
- 批准号：
2341512 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
Collaborative Research: Behavioral Science and the Making of the Right-Reasoning Public Health Citizenry
合作研究：行为科学与正确推理的公共卫生公民的培养
- 批准号：
2341513 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Continuing Grant
CRII: SaTC: A Contextual Integrity Approach for Privacy Reasoning Regarding Performance Tracking Technologies in US College Athletics
CRII：SaTC：美国大学体育运动成绩跟踪技术隐私推理的上下文完整性方法
- 批准号：
2348294 - 财政年份：2024
- 资助金额：
$ 7.38万 - 项目类别：
Standard Grant
Statistical and Probabilistic Reasoning を重視した授業と教師用教材の開発研究
研究和开发以统计和概率推理为重点的课程和教材
- 批准号：
23K02801 - 财政年份：2023
- 资助金额：
$ 7.38万 - 项目类别：
Grant-in-Aid for Scientific Research (C)