关键词: 一阶逻辑  人工智能  子句集预处理  演绎距离  冗余子句  

2020年第03期 《计算机科学》

关键词: 形式化验证  一阶逻辑  布尔可满足  可满足性模理论  

2019年第12期 《计算机工程与科学》

关键词: 一阶逻辑  自动定理证明器  项评估  启发式策略  herbrand语义特征  

2019年第11期 《计算机工程》

关键词: 软件代码安全性缺陷  一阶逻辑  模式路径  静态分析  形式化描述  

2014年第01期

关键词: 外延主义  一阶逻辑  量词  变元  

2005年第03期 《晋阳学刊》

关键词: 本体论  电子商务  描述逻辑  框架系统  一阶逻辑  

2005年第02期 《电子学报》

关键词: 集合论  一阶逻辑  一致性  理论结构  

2004年第04期 《邯郸职业技术学院学报》

关键词: 数理逻辑  可靠性  完备性  协调性  命题逻辑  一阶逻辑  极大协调集  

2004年第02期 《新疆师范大学学报·哲学社会科学版》

关键词: 一阶逻辑  模态逻辑  人工智能  自然语言逻辑  非标准逻辑  

2019年第01期 《数码世界》

关键词: 人工智能  自然语言处理  本体论  电子商务  描述逻辑  框架系统  一阶逻辑  

2004年第06期 《中文信息学报》

关键词: 可满足性问题  一阶逻辑  命题逻辑  

2005年第03期 《软件学报》

关键词: 一阶逻辑  蕴含模归结  子句消去方法  命题逻辑  

2019年第05期 《计算机工程与应用》

关键词: 计量逻辑  一阶逻辑  准真度  推广规则  

2019年第06期 《计算机工程与应用》

关键词: 机器学习  一阶逻辑  规则学习  归纳逻辑程序设计  概率归纳逻辑程序设计  

2019年第01期 《计算机研究与发展》

关键词: 整数规划  一阶逻辑  多值逻辑  无穷值逻辑  

2005年第11期 《计算机工程与应用》

关键词: 资源描述框架  资源描述框架模式  一阶逻辑  语义互操作性  

2004年第28期 《计算机工程与应用》

关键词: 万维网  扩展标记语言  本体论  描述语言  一阶逻辑  

2004年第07期 《北京航空航天大学学报》

关键词: 向前向后法  一阶逻辑  模型论  内插定理  保持定理  

2004年第02期 《华侨大学学报·自然科学版》

关键词: 一阶逻辑  全称量词  存在量词  推理规则  成立条件  

2017年第03期 《湖南师范大学自然科学学报》

关键词: 一阶逻辑  外延语义  内涵语义  

2006年第06期 《湖南科技大学学报·自然科学版》