不动点语义相关论文
逻辑程序始于上世纪70年代初，来源于定理机器证明与人工智能的研究。在逻辑程序30年的发展中，它已经成为了人工智能领域中重要的一个......
描述逻辑(Description Logic)作为基于对象的知识表示的形式化工具,广泛地应用在信息系统、数据库、软件工程、自然语言处理和网络......
分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语......
