约束归纳逻辑程序设计系统

• 作者: 刘椿年 贾东 郑磊
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 约束 归纳逻辑程序设计 约束归纳逻辑程序设计
• 年，卷（期）: 2003,（19）
• 所属期刊栏目: 博士论文
• 页码范围: 6-7,25
• 页数: 3页
• 分类号: TP391.2
• 字数: 3576字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.19.003

摘要

提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统.该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘椿年	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	81	1010	16.0	29.0
2	郑磊	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	8	59	5.0	7.0
3	贾东	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	4	37	3.0	4.0