高阶逻辑程序系统与推理模型
基本信息
批准号：68975016
项目类别：面上项目
资助金额：3.50
负责人：陈其明
学科分类：
依托单位：清华大学
批准年份：1989
结题年份：1992
起止时间：1990-01-01 - 1992-12-31
项目状态： 已结题
项目参与者：蒋维杜,郑人杰,张素琴,郑亚利,叶旭东,陈邕涛,王令赤
关键词：
演绎数据库高阶逻辑程序系统知识工程
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
3
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
4
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
DOI：10.3969/j.issn.1002-0268.2020.03.007
发表时间：2020
5
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
陈其明的其他基金
批准号：68773010
批准年份：1987
资助金额：3.00
项目类别：面上项目
相似国自然基金
1
基于高阶逻辑的归纳逻辑程序设计学习算法及其应用研究
批准号：61300098
批准年份：2013
负责人：李艳娟
学科分类：F0605
资助金额：25.00
项目类别：青年科学基金项目
2
约束逻辑程序设计语言与系统的研究
批准号：69473016
批准年份：1994
负责人：刘椿年
学科分类：F0203
资助金额：7.00
项目类别：面上项目
3
基于逻辑程序的智能agent系统及其应用
批准号：69883008
批准年份：1998
负责人：王克文
学科分类：F0203
资助金额：11.00
项目类别：专项基金项目
4
神经网络与符号系统相结合的一般性推理模型
批准号：68880507
批准年份：1988
负责人：彭云
学科分类：F0307
资助金额：3.00
项目类别：专项基金项目