权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Applications of Logic and Theorem Proving to Databases

逻辑和定理证明在数据库中的应用

基本信息

批准号：
7919418
负责人：
Jack Minker
金额：
$ 23.33万
依托单位：
University of Maryland, College Park
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1980
资助国家：
美国
起止时间：
1980-08-01 至 1984-07-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=7919418&HistoricalAwards=false
关键词：
Applications Logic Theorem Proving Databases

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

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

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Jack Minker其他文献

Representations of the language recognition problem for a theorem prover

DOI：
10.1007/bf00977256
发表时间：
1974-09-01
期刊：
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
影响因子：
0.900
作者：
Jack Minker;Gordon J. VanderBrug
通讯作者：
Gordon J. VanderBrug

Ordered model trees: A normal form for disjunctive deductive databases

DOI：
10.1007/bf00881914
发表时间：
1994-02-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
0.800
作者：
Adnan Yahya;José Alberto Fernández;Jack Minker
通讯作者：
Jack Minker

Combining databases with prioritized information

DOI：
10.1007/bf00961654
发表时间：
1995-05-01
期刊：
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
影响因子：
3.400
作者：
Shekhar Pradhan;Jack Minker;V. S. Subrahmanian
通讯作者：
V. S. Subrahmanian

View updates in stratified disjunctive databases

DOI：
10.1007/bf00881907
发表时间：
1993-01-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
0.800
作者：
John Grant;John Horty;Jorge Lobo;Jack Minker
通讯作者：
Jack Minker

A note on answer extraction in resolution-based systems

DOI：
10.1007/bf01002330
发表时间：
1977-09-01
期刊：
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
影响因子：
0.900
作者：
Jack Minker;Gerald A. Wilson
通讯作者：
Gerald A. Wilson

Jack Minker的其他文献

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

立即体验

{{ truncateString('Jack Minker', 18)}}的其他基金

Workshop on Research in Logic-Based Artificial Intelligence

基于逻辑的人工智能研究研讨会

批准号：
9820138
财政年份：
1999
资助金额：
$ 23.33万
项目类别：
Standard Grant

Logic Programming and Deductive Databases

逻辑编程和演绎数据库

批准号：
9300691
财政年份：
1993
资助金额：
$ 23.33万
项目类别：
Continuing Grant

Artificial Intelligence Logic Programming and Deductive Databases

人工智能逻辑编程与演绎数据库

批准号：
8916059
财政年份：
1990
资助金额：
$ 23.33万
项目类别：
Continuing Grant

Artificial Intelligence, Parallel Logic Programming and Deductive Databases (Computer and Information Science)

人工智能、并行逻辑编程和演绎数据库（计算机和信息科学）

批准号：
8609170
财政年份：
1987
资助金额：
$ 23.33万
项目类别：
Continuing Grant

Workshop on Foundations of Deductive Databases and Logic Programming to be held at the University of Maryland- College Park in August, 1986

演绎数据库和逻辑编程基础研讨会将于 1986 年 8 月在马里兰大学学院公园分校举行

批准号：
8602676
财政年份：
1986
资助金额：
$ 23.33万
项目类别：
Standard Grant

Artificial Intelligence, Parallel Logic Programming, and Deductive Databases (Computer Research)

人工智能、并行逻辑编程和演绎数据库（计算机研究）

批准号：
8305992
财政年份：
1983
资助金额：
$ 23.33万
项目类别：
Standard Grant

Computer Science and Computer Engineering Research Equipment

计算机科学与计算机工程研究设备

批准号：
7906935
财政年份：
1979
资助金额：
$ 23.33万
项目类别：
Standard Grant

Research in Question-Answering Systems

问答系统研究

批准号：
7303433
财政年份：
1974
资助金额：
$ 23.33万
项目类别：
Standard Grant

相似国自然基金

greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic

批准号：
批准年份：
2024
资助金额：
万元
项目类别：
外国学者研究基金项目

Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic

批准号：
批准年份：
2024
资助金额：
万元
项目类别：
外国学者研究基金项目

相似海外基金

Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware

用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算

批准号：
2343607
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Standard Grant

Conference: Southeastern Logic Symposium

会议：东南逻辑研讨会

批准号：
2401437
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Continuing Grant

CAREER: Next-generation Logic, Memory, and Agile Microwave Devices Enabled by Spin Phenomena in Emergent Quantum Materials

职业：由新兴量子材料中的自旋现象实现的下一代逻辑、存储器和敏捷微波器件

批准号：
2339723
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Continuing Grant

RII Track-4:NSF: Introducing Quantum Logic Spectroscopy to Greater Southern Nevada as a Vital Quantum Control and Information Process Method

RII Track-4：NSF：将量子逻辑光谱作为重要的量子控制和信息处理方法引入内华达州南部

批准号：
2327247
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Standard Grant

Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware

合作研究：用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算

批准号：
2343606
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Standard Grant

CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties

CRII：CPS：FAICYS：通过时态逻辑属性的引导伪造，对支持人工智能的网络物理系统进行基于模型的验证

批准号：
2347294
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Standard Grant

2022BBSRC-NSF/BIO Generating New Network Analysis Tools for Elucidating the Functional Logic of 3D Vision Circuits of the Drosophila Brain

2022BBSRC-NSF/BIO 生成新的网络分析工具来阐明果蝇大脑 3D 视觉电路的功能逻辑

批准号：
BB/Y000234/1
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Research Grant

Enriched Categorical Logic

丰富的分类逻辑

批准号：
EP/X027139/1
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Fellowship

Travel: Student Travel Support for Logic Mentoring Workshops 2024

旅行：2024 年逻辑辅导研讨会的学生旅行支持

批准号：
2408942
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Standard Grant

SHF: Small: Game Logic Programming

SHF：小：游戏逻辑编程

批准号：
2346619
财政年份：
2024
资助金额：
$ 23.33万
项目类别：
Standard Grant

会员权益说明：