计算机工程与科学2024，Vol.46Issue(2)：P.374-380,7.DOI:10.3969/j.issn.1007-130X.2024.02.019
一阶逻辑中基于treelet图神经网络的前提选择
摘要
关键词
一阶逻辑公式/图神经网络/前提选择/二元分类分类
信息技术与安全科学引用本文复制引用
马雪,何星星,兰咏琪,李莹芳..一阶逻辑中基于treelet图神经网络的前提选择[J].计算机工程与科学,2024,46(2):P.374-380,7.基金项目
国家自然科学基金(62106206) （62106206）
中央高校基本科研业务费专项资金(2682020ZT107) （2682020ZT107）
教育部人文社科项目(19YJCZH048,20XJCZH016) （19YJCZH048,20XJCZH016）
四川省科技计划(2023YFH0066)。 （2023YFH0066）
