Proposed Joint Japanese/American Workshop on Future Trends in Logic Programming
Proposed Joint Japanese/American Workshop on Future Trends in Logic Programming
批准号:
8915387
负责人:
Ewing Lusk
金额:
$2.66万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1989
资助国家:
美国
项目状态:
已结题
起止时间:
1989-08-01 至 1990-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
A three day workshop on future trends in logic programming will be held in Argonne Illinois, October 11 thru 13, 1989. The workshop will be coordinated by Argonne National Laboratory and by the Institute for New Generation Computer Technology (ICOT) of Japan. The objective is to provide an open forum for discussion between American and Japanese researchers on recent advances in logic programming and on the impact of developments in deductive databases, artificial intelligence, and multiprocessing. The workshop will feature 25 lectures on such topics as multiprocessing, constraint logic programming, knowledge representation, and the logical foundations of programming. Participants will also be given ample time for informal and open discussions. It is expected that after the workshop is over, researchers will collaborate on projects in logic programming research. Thus the workshop will have the long term benefit of promoting scientific advances in a spirit of healthy cooperation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: System Software for Scalable Applications
-
批准号:1036216
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2011
-
负责人:Ewing Lusk
-
依托单位:
Japanese/American Workshop on Automated Reasoning, June 3-5, l991
-
批准号:9113560
-
项目类别:Interagency Agreement
-
资助金额:$0.0万
-
财政年份:1991
-
负责人:Ewing Lusk
-
依托单位:
MRI: Minority Internships in Parallel Computing
-
批准号:8818254
-
项目类别:Standard Grant
-
资助金额:$7.66万
-
财政年份:1989
-
负责人:Ewing Lusk
-
依托单位:
Institute in Parallel Computing for FY 1989, 1990, and 1991
-
批准号:8911439
-
项目类别:Interagency Agreement
-
资助金额:$24.8万
-
财政年份:1989
-
负责人:Ewing Lusk
-
依托单位:
国内基金
海外基金
基于双稳健共享参数Joint模型的脑卒中早期关键风险因素推断研究
-
批准号:81803337
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2018
-
负责人:石福艳
-
依托单位: