Search Results - Cropper, Andrew

  • Showing 1 - 13 results of 13
Refine Results
  1. 1
    Cover Image

    Learning logic programs by finding minimal unsatisfiable subprograms Autoría: Cropper, Andrew, Hocquette, Céline

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Relational decomposition for program synthesis Autoría: Hocquette, Céline, Cropper, Andrew

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    An Empirical Comparison of Cost Functions in Inductive Logic Programming Autoría: Hocquette, Céline, Cropper, Andrew

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    Symbolic Snapshot Ensembles Autoría: Liu, Mingyue, Cropper, Andrew

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    Generalisation Through Negation and Predicate Invention Autoría: Cerna, David M., Cropper, Andrew

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    Efficient rule induction by ignoring pointless rules Autoría: Cropper, Andrew, Cerna, David M.

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  7. 7
    Cover Image

    Learning logic programs by discovering higher-order abstractions Autoría: Hocquette, Céline, Dumančić, Sebastijan, Cropper, Andrew

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  8. 8
    Cover Image

    Honey, I shrunk the hypothesis space (through logical preprocessing) Autoría: Cropper, Andrew, Gouveia, Filipe, Cerna, David M.

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  9. 9
    Cover Image

    Symmetry breaking for inductive logic programming Autoría: Cropper, Andrew, Cerna, David M., Järvisalo, Matti

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  10. 10
    Cover Image

    Can humans teach machines to code? Autoría: Hocquette, Céline, Langer, Johannes, Cropper, Andrew, Schmid, Ute

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  11. 11
    Cover Image

    Scalable Knowledge Refactoring using Constrained Optimisation Autoría: Liu, Minghao, Cerna, David M., Gouveia, Filipe, Cropper, Andrew

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  12. 12
    Cover Image

    Learning Logical Rules using Minimum Message Length Autoría: Sharma, Ruben, Dumančić, Sebastijan, King, Ross D., Cropper, Andrew

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  13. 13
    Cover Image

    Learning big logical rules by joining small rules Autoría: Hocquette, Céline, Niskanen, Andreas, Morel, Rolf, Järvisalo, Matti, Cropper, Andrew

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: