186 search results - page 1 / 38 » Completing Inverse Entailment |
ILP
1998
Springer
13 years 9 months ago
1998
Springer
ILP
2005
Springer
13 years 11 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
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...
ICLP
2004
Springer
13 years 10 months ago
2004
Springer
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...