恶化
发表于 2025-3-21 19:54:30
书目名称Inductive Logic Programming影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0463912<br><br> <br><br>书目名称Inductive Logic Programming读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0463912<br><br> <br><br>
craven
发表于 2025-3-21 21:58:52
Lookahead and discretization in ILP, We present a simple method for specifying when lookahead is to be used, and what kind of lookahead is interesting. Both the discretization and lookahead techniques are evaluated experimentally. The results show that both techniques improve the quality of the induced theory, while computational costs are acceptable.
In-Situ
发表于 2025-3-22 03:50:36
Learning with abduction,cs. An algorithm for an intermediate version of ACL is developed by suitably extending the top-down ILP method and integrating this with an abductive proof procedure for Abductive Logic Programming (ALP). A prototype system has been developed and applied to learning problems with incomplete information.
睨视
发表于 2025-3-22 08:05:20
http://reply.papertrans.cn/47/4640/463912/463912_4.png
mortgage
发表于 2025-3-22 09:02:46
http://reply.papertrans.cn/47/4640/463912/463912_5.png
保守
发表于 2025-3-22 13:57:32
Normal forms for inductive logic programming, logic. We define . (ENF), which is Skolemised existential DNF under a Consistent Naming Assumption. Because ENF is incomplete, in the sense that it does not have the expressive power of clausal logic, ENF evidence requires the identification of Skolem terms. The approach is partly implemented in the Primus system.
THROB
发表于 2025-3-22 18:22:47
On a sufficient condition for the existence of most specific hypothesis in progol,ple and indicated that Muggleton‘s proof contains error. He also gave a sufficient condition under which the MSH exists. In this paper, we give another and more realistic sufficient condition to guarantee the existence of the MSH.
ligature
发表于 2025-3-23 00:51:08
http://reply.papertrans.cn/47/4640/463912/463912_8.png
其他
发表于 2025-3-23 03:06:37
0302-9743 logic programming issues, natural language processing, speech processing, abductive learning, data mining, knowledge discovery, and relational database systems.978-3-540-63514-7978-3-540-69587-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
形容词
发表于 2025-3-23 06:42:36
http://reply.papertrans.cn/47/4640/463912/463912_10.png