995 search results - page 2 / 199 » Learning Useful Horn Approximations |
OWLED
2007
13 years 6 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
ICML
1989
IEEE
13 years 9 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
LOPSTR
2007
Springer
13 years 11 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
ASAP
2005
IEEE
13 years 11 months ago
2005
IEEE
The Radon transform (RT) is a widely studied algorithm used to perform image pattern extraction in fields such as computer graphics, medical imagery, and avionics. Real-time impl...
ICML
1998
IEEE
14 years 6 months ago
1998
IEEE
