首页> 中文期刊> 《计算机工程》 >约束归纳逻辑程序设计系统

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2003年第19期|6-725|共3页
作者
郑磊; 刘椿年; 贾东;
展开▼
作者单位

北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室;

北京;

100022;

北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室;

北京;

100022;

北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室;

北京;

100022;

展开▼
原文格式 PDF
正文语种 chi
中图分类翻译机;
关键词
约束; 归纳逻辑程序设计; 约束归纳逻辑程序设计;

相似文献

中文文献
外文文献
专利

1. 分布式并行约束归纳逻辑程序设计研究 [J] . 卢向澄 ,郑磊 ,刘椿年 . 计算机应用研究 . 2005,第009期
2. 约束归纳逻辑程序设计方法的研究 [J] . 郑磊 ,刘椿年 . 计算机工程与应用 . 2003,第010期
3. 约束归纳逻辑程序设计的研究 [J] . 夏姗姗 ,刘椿年 . 北京工业大学学报 . 2000,第003期
4. 不同身体约束情况及约束方式约束效果的系统评价 [J] . 王海妍 ,郭红 ,赵菁 . 循证护理 . 2019,第002期
5. 不同身体约束情况及约束方式约束效果的系统评价 [J] . 王海妍1 ,郭红1 ,赵菁2 . 循证护理 . 2019,第002期
6. 归纳逻辑程序设计在基于Specification入侵检测技术中的应用 [C] . 唐勇 ,刘玉芳 ,孔晓峰 . 2004年全国计算机体系结构学术会议 . 2004
7. 约束归纳逻辑程序设计系统的研究与实现 [A] . 贾东 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号