Predicate Construction in Higher-order Logic
Download:
|
|
by J. W. Lloyd, J. W. Lloyd
http://cslab.anu.edu.au/~jwl/etai.ps.gz
Add To MetaCart
Abstract:
Formatted using etendu style Recommended citation:
Citations
| 604 | A formulation of the simple theory of types – Church - 1940 |
| 345 | Inductive logic programming : Theory and methods – Muggleton, Raedt - 1994 |
| 63 | Solving the multiple instance problem with axis-parallel rectangles – Dietterich, Lathrop, et al. - 1997 |
| 59 | Programming in an integrated functional and logic language – Lloyd - 1999 |
| 43 | Pharmacophore discovery using the inductive logic programming system PROGOL – Finn, Muggleton, et al. - 1998 |
| 19 | Classification of individuals with complex structure. Published – Bowers, Giraud-Carrier, et al. - 2000 |
| 7 | Knowledge representation, computation, and learning in higher-order logic – Lloyd - 2000 |
| 4 | A unifying view of knowledge representation for inductive learning – Bowers, Giraud-Carrier, et al. - 2000 |
