命题与模态逻辑的扩展规则推理与混合推理方法研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 面向方案初期的办公建筑绿色性能智能优化方法（国自然，吕帅，2025）
• 钴晶型对钴基费托合成催化剂尺寸效应的影响（国自然，吕帅，2021）
• 建筑形体设计性能辅助方法的建筑师适用性提升关键技术研究（国自然，吕帅，2020）
• 基于支持向量机和蒙特卡洛模拟的建筑形体性能评价与辅助方法研究（国自然，吕帅，2017）

吉林大学其他项目

• 基于拓扑化学单晶到单晶聚合的有机晶体机械性能调控研究（国自然，齐健群，2025）
• 仿生表面液滴弹跳主动声学调控（国自然，马志超，2025）
• 高陡岩质斜坡结构面多源快速识别与复杂结构岩体灾变研究（国自然，韩佳利，2025）
• 基于量子传感技术探索高压下镍基材料的超导电性（国自然，郭鉴宁，2025）
• 新型三维介孔共价有机框架材料的设计合成（国自然，郑浩瑞，2025）
• “糖酵解-组蛋白乳酸化轴”驱动酮病奶牛肝脏巨噬细胞促炎转变的分子机制（国自然，赵晨晨，2025）
• 地下水污染羽的演变规律及其影响机制研究（国自然，赵勇胜，2025）
• 大肠杆菌合成乳酰-N-四糖的碳流调控机制研究（国自然，胡苗苗，2025）

计算机科学的基础理论学科其他项目

• 算法洛瓦兹局部引理：冲破Shearer边界的束缚（国自然，刘兴武，2020）
• 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究（国自然，任爽，2020）
• 参数近似算法（国自然，郭炅，2020）
• 交互式定理证明工具和证明自动化技术研究（国自然，詹博华，2020）
• 基于指数时间假设的纳什均衡算法与复杂性研究（国自然，刘正阳，2020）
• 命题公式的结构熵在信息传播算法求解SAT问题中的应用研究（国自然，王晓峰，2020）
• 面向完整性和可用性的智能合约形式化分析与修复方法研究（国自然，李希萌，2020）
• 基于知识图谱表示的多模态数据特征提取与融合研究（国自然，高岭，2020）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• ACM Computing Surveys（IF 30.400，JCR Q1）
• Nature Machine Intelligence（IF 29.800，JCR Q1）
• IEEE Transactions on Pattern Analysis and Machine Intelligence（IF 20.400，JCR Q1）
• Nature Computational Science（IF 20.300，JCR Q1）
• Journal of Big Data（IF 10.800，JCR Q1）