知识库逻辑及应用
基本信息
批准号：18870434
项目类别：面上项目
资助金额：1.30
负责人：徐书润
学科分类：
依托单位：南开大学
批准年份：1988
结题年份：1992
起止时间：1989-01-01 - 1992-01-01
项目状态： 已结题
项目参与者：胡久稔,孙富元,潘家衍,梁朴
关键词：
人工智能知识库逻辑数理逻辑
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
结直肠癌免疫治疗的多模态影像及分子影像评估
结直肠癌免疫治疗的多模态影像及分子影像评估
DOI：10.13609/j.cnki.1000-0313.2022.04.019
发表时间：2022
2
智能煤矿建设路线与工程实践
智能煤矿建设路线与工程实践
DOI：10.13199/j.cnki.cst.2020.07.010
发表时间：2020
3
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
4
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
5
骨肌系统影像学机遇与挑战——中国十年来发展成果及展望
骨肌系统影像学机遇与挑战——中国十年来发展成果及展望
DOI：10.12015/issn.1674-8034.2022.10.003
发表时间：2022
徐书润的其他基金
相似国自然基金
1
应用逻辑及复杂性
批准号：19331053
批准年份：1993
负责人：李祥
学科分类：A0101
资助金额：4.00
项目类别：重点项目
2
分划逻辑的相关研究及应用
批准号：10001006
批准年份：2000
负责人：别荣芳
学科分类：A0101
资助金额：5.50
项目类别：青年科学基金项目
3
基于生命周期成本理论的知识库构建及应用研究
批准号：71172101
批准年份：2011
负责人：韩庆兰
学科分类：G0206
资助金额：40.00
项目类别：面上项目
4
分布参数系统逻辑切换自适应控制及应用
批准号：60974135
批准年份：2009
负责人：叶旭东
学科分类：F0301
资助金额：32.00
项目类别：面上项目