我们研究组的主要工作是，在约束程序理论研究方面：采用抽象解释和代数方法进行约束逻辑程序（Constraint logic program, CLP）的程序分析和语义研究，引入软约束理论（Soft constraint theory）并将其与CP网等...
基于8个网页-相关网页
...于解决ILP中处理数值量的问题，即研究向数值约束方向扩充ILP， 使得学习到的结果是约束逻辑程序（Constraint LogicProgram，CLP）。
基于2个网页-相关网页
分层约束逻辑程序设计 HCLP
提出用约束逻辑程序 Constraint Logic Programm ing ; CLP
约束逻辑程序
Constraint logic program
以上为机器翻译结果，长、整句建议使用 人工翻译 。
本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
In the field of Machine Learning, this thesis is presents new method to learn constraint atoms from positive and negative examples in first-order predicate, based on developed ILP system.
youdao
应用推荐
模块上移
模块下移
不移动