约束归纳逻辑程序设计的研究
基本信息
批准号：69883001
项目类别：专项基金项目
资助金额：12.00
负责人：刘椿年
学科分类：
依托单位：北京工业大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：朱青,石嘉明,景维玲,边嘉耕,夏珊珊,苗占禄,钟宁燕
关键词：
归纳逻辑程序设计约束逻辑程序设计
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
土体约束对海底管道整体屈曲的影响机理研究
土体约束对海底管道整体屈曲的影响机理研究
DOI：10.11759/hykx20170605001
发表时间：2018
2
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
3
一类正则化参数自由的线性约束凸优化问题的预测一校正算法
一类正则化参数自由的线性约束凸优化问题的预测一校正算法
DOI：
发表时间：2020
4
基于特征区域划分的文物碎片自动匹配算法
基于特征区域划分的文物碎片自动匹配算法
DOI：10.12263/dzxb.20201236
发表时间：2022
5
资源约束多项目调度问题研究现状与展望
资源约束多项目调度问题研究现状与展望
DOI：
发表时间：
刘椿年的其他基金
批准号：68973039
批准年份：1989
资助金额：4.00
项目类别：面上项目
批准号：60173014
批准年份：2001
资助金额：19.00
项目类别：面上项目
批准号：69273015
批准年份：1992
资助金额：6.00
项目类别：面上项目
批准号：69473016
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：69673022
批准年份：1996
资助金额：8.00
项目类别：面上项目
相似国自然基金
1
约束/归纳逻辑程序设计中的软计算研究
批准号：60173014
批准年份：2001
负责人：刘椿年
学科分类：F0203
资助金额：19.00
项目类别：面上项目
2
基于归纳逻辑程序设计的本体学习方法
批准号：60873153
批准年份：2008
负责人：高志强
学科分类：F0211
资助金额：28.00
项目类别：面上项目
3
基于高阶逻辑的归纳逻辑程序设计学习算法及其应用研究
批准号：61300098
批准年份：2013
负责人：李艳娟
学科分类：F0605
资助金额：25.00
项目类别：青年科学基金项目
4
约束推理与约束程序
批准号：60073039
批准年份：2000
负责人：孙吉贵
学科分类：F0201
资助金额：15.00
项目类别：面上项目