3 search results - page 1 / 1 » Generalised Kernel Sets for Inverse Entailment |
ICLP
2004
Springer
13 years 10 months ago
2004
Springer
ILP
2007
Springer
13 years 11 months ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
JSAI
2007
Springer
13 years 11 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...