10.3969/j.issn.1000-3428.2003.19.003
约束归纳逻辑程序设计系统
提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统.该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序.
约束、归纳逻辑程序设计、约束归纳逻辑程序设计
29
TP391.2(计算技术、计算机技术)
国家自然科学基金60173014;北京市自然科学基金4022003
2003-12-19(万方平台首次上网日期,不代表论文的发表时间)
共3页
6-7,25