刷新
{{item.name}}会员
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
- 负责人：
- 金额：$ 2.54万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-04-01 至 1987-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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
- 资助金额：
$ 2.54万 - 项目类别：
Standard Grant
Logic Programming and Deductive Databases
逻辑编程和演绎数据库
- 批准号：
9300691 - 财政年份：1993
- 资助金额：
$ 2.54万 - 项目类别：
Continuing Grant
Artificial Intelligence Logic Programming and Deductive Databases
人工智能逻辑编程与演绎数据库
- 批准号：
8916059 - 财政年份：1990
- 资助金额：
$ 2.54万 - 项目类别：
Continuing Grant
Artificial Intelligence, Parallel Logic Programming and Deductive Databases (Computer and Information Science)
人工智能、并行逻辑编程和演绎数据库（计算机和信息科学）
- 批准号：
8609170 - 财政年份：1987
- 资助金额：
$ 2.54万 - 项目类别：
Continuing Grant
Artificial Intelligence, Parallel Logic Programming, and Deductive Databases (Computer Research)
人工智能、并行逻辑编程和演绎数据库（计算机研究）
- 批准号：
8305992 - 财政年份：1983
- 资助金额：
$ 2.54万 - 项目类别：
Standard Grant
Applications of Logic and Theorem Proving to Databases
逻辑和定理证明在数据库中的应用
- 批准号：
7919418 - 财政年份：1980
- 资助金额：
$ 2.54万 - 项目类别：
Standard Grant
Computer Science and Computer Engineering Research Equipment
计算机科学与计算机工程研究设备
- 批准号：
7906935 - 财政年份：1979
- 资助金额：
$ 2.54万 - 项目类别：
Standard Grant
相似海外基金
Collaborative Research: AF: Medium: Foundations of Oblivious Reconfigurable Networks
合作研究：AF：媒介：遗忘可重构网络的基础
- 批准号：
2402851 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Continuing Grant
Conference: Theory and Foundations of Statistics in the Era of Big Data
会议：大数据时代的统计学理论与基础
- 批准号：
2403813 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Standard Grant
Social Foundations of Cryptography
密码学的社会基础
- 批准号：
EP/X017524/1 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Research Grant
Mathematical Foundations of Intelligence: An "Erlangen Programme" for AI
智能的数学基础：人工智能的“埃尔兰根计划”
- 批准号：
EP/Y028872/1 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Research Grant
SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础：高于全面集成语义的经过验证的系统软件
- 批准号：
EP/Y035976/1 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Research Grant
Statistical Foundations for Detecting Anomalous Structure in Stream Settings (DASS)
检测流设置中的异常结构的统计基础 (DASS)
- 批准号：
EP/Z531327/1 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Research Grant
Social foundations of cryptography
密码学的社会基础
- 批准号：
EP/X016226/1 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Research Grant
Foundations of Classical and Quantum Verifiable Computing
经典和量子可验证计算的基础
- 批准号：
MR/X023583/1 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Fellowship
CAREER: Statistical foundations of particle tracking and trajectory inference
职业：粒子跟踪和轨迹推断的统计基础
- 批准号：
2339829 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Continuing Grant
CAREER: Architectural Foundations for Practical Privacy-Preserving Computation
职业：实用隐私保护计算的架构基础
- 批准号：
2340137 - 财政年份：2024
- 资助金额：
$ 2.54万 - 项目类别：
Continuing Grant