刷新
{{item.name}}会员
Artificial Intelligence, Parallel Logic Programming, and Deductive Databases (Computer Research)
人工智能、并行逻辑编程和演绎数据库（计算机研究）
基本信息
- 批准号：8305992
- 负责人：
- 金额：$ 29.18万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1983
- 资助国家：美国
- 起止时间：1983-09-01 至 1987-02-28
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Jack Minker其他文献
Representations of the language recognition problem for a theorem prover
- DOI：
10.1007/bf00977256 - 发表时间：
1974-09-01 - 期刊：
- 影响因子：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 - 期刊：
- 影响因子：0.800
- 作者：
Adnan Yahya;José Alberto Fernández;Jack Minker - 通讯作者：
Jack Minker
Combining databases with prioritized information
- DOI：
10.1007/bf00961654 - 发表时间：
1995-05-01 - 期刊：
- 影响因子：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 - 期刊：
- 影响因子：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 - 期刊：
- 影响因子：0.900
- 作者：
Jack Minker;Gerald A. Wilson - 通讯作者：
Gerald A. Wilson
Jack Minker的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Jack Minker', 18)}}的其他基金
Workshop on Research in Logic-Based Artificial Intelligence
基于逻辑的人工智能研究研讨会
- 批准号：
9820138 - 财政年份：1999
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
Logic Programming and Deductive Databases
逻辑编程和演绎数据库
- 批准号：
9300691 - 财政年份：1993
- 资助金额：
$ 29.18万 - 项目类别：
Continuing Grant
Artificial Intelligence Logic Programming and Deductive Databases
人工智能逻辑编程与演绎数据库
- 批准号：
8916059 - 财政年份：1990
- 资助金额：
$ 29.18万 - 项目类别：
Continuing Grant
Artificial Intelligence, Parallel Logic Programming and Deductive Databases (Computer and Information Science)
人工智能、并行逻辑编程和演绎数据库（计算机和信息科学）
- 批准号：
8609170 - 财政年份：1987
- 资助金额：
$ 29.18万 - 项目类别：
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
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
Applications of Logic and Theorem Proving to Databases
逻辑和定理证明在数据库中的应用
- 批准号：
7919418 - 财政年份：1980
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
Computer Science and Computer Engineering Research Equipment
计算机科学与计算机工程研究设备
- 批准号：
7906935 - 财政年份：1979
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
相似海外基金
Planning: Artificial Intelligence Assisted High-Performance Parallel Computing for Power System Optimization
规划：人工智能辅助高性能并行计算电力系统优化
- 批准号：
2414141 - 财政年份：2024
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
DMREF/GOALI/Collaborative Research: Physics-Informed Artificial Intelligence for Parallel Design of Metal Matrix Composites and their Additive Manufacturing
DMREF/GOALI/协作研究：基于物理的人工智能用于金属基复合材料及其增材制造的并行设计
- 批准号：
2119640 - 财政年份：2021
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
DMREF/GOALI/Collaborative Research: Physics-Informed Artificial Intelligence for Parallel Design of Metal Matrix Composites and their Additive Manufacturing
DMREF/GOALI/协作研究：基于物理的人工智能用于金属基复合材料及其增材制造的并行设计
- 批准号：
2119671 - 财政年份：2021
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
Integrating distributed and parallel computing in artificial intelligence and computer algebra
将分布式和并行计算集成到人工智能和计算机代数中
- 批准号：
391064-2010 - 财政年份：2009
- 资助金额：
$ 29.18万 - 项目类别：
Research Tools and Instruments - Category 1 (<$150,000)
Complexity, Risk Management and Dynamic Portfolio Selection in Investment Management using Advances in Evolutionary Parallel-computing Artificial Intelligence
利用进化并行计算人工智能的进步，研究投资管理中的复杂性、风险管理和动态投资组合选择
- 批准号：
DP0770081 - 财政年份：2007
- 资助金额：
$ 29.18万 - 项目类别：
Discovery Projects
RIA: Parallel Artificial Intelligence Techniques Applied toRobot Planning
RIA：并行人工智能技术应用于机器人规划
- 批准号：
9308308 - 财政年份：1993
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
A Laboratory for Joint Research in Artificial Intelligence and Parallel Computing
人工智能与并行计算联合研究实验室
- 批准号：
9216172 - 财政年份：1993
- 资助金额：
$ 29.18万 - 项目类别：
Continuing Grant
REU SUPPLEMENT: Parallel Processing Projects in Artificial Intelligence
REU 补充：人工智能中的并行处理项目
- 批准号：
8914670 - 财政年份：1990
- 资助金额：
$ 29.18万 - 项目类别：
Continuing Grant
RIA: Parallel Optical Architectures and Algorithms for Symbolic Artificial Intelligence Computing
RIA：用于符号人工智能计算的并行光学架构和算法
- 批准号：
8909216 - 财政年份：1989
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant
Hampton University Experimental Laboratory for Parallel Processing and Artificial Intelligence Research (HELPAR)
汉普顿大学并行处理和人工智能研究实验实验室 (HELPAR)
- 批准号：
8809530 - 财政年份：1988
- 资助金额：
$ 29.18万 - 项目类别：
Standard Grant