Search dblp for Publications

• > Home > Search

@article{DBLP:journals/corr/abs-2308-08334,
  author       = {C{\'{e}}line Hocquette and
                  Sebastijan Dumancic and
                  Andrew Cropper},
  title        = {Learning Logic Programs by Discovering Higher-Order Abstractions},
  journal      = {CoRR},
  volume       = {abs/2308.08334},
  year         = {2023}
}

@inproceedings{DBLP:conf/ijcai/PurgalCK22,
  author       = {Stanislaw J. Purgal and
                  David M. Cerna and
                  Cezary Kaliszyk},
  title        = {Learning Higher-Order Logic Programs From Failures},
  booktitle    = {{IJCAI}},
  pages        = {2726--2733},
  publisher    = {ijcai.org},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2102-12553,
  author       = {Rolf Morel},
  title        = {Refinement Type Directed Search for Meta-Interpretive-Learning of
                  Higher-Order Logic Programs},
  journal      = {CoRR},
  volume       = {abs/2102.12553},
  year         = {2021}
}

@article{DBLP:journals/ml/CropperMM20,
  author       = {Andrew Cropper and
                  Rolf Morel and
                  Stephen H. Muggleton},
  title        = {Learning higher-order logic programs},
  journal      = {Mach. Learn.},
  volume       = {109},
  number       = {7},
  pages        = {1289--1322},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-1907-10953,
  author       = {Andrew Cropper and
                  Rolf Morel and
                  Stephen H. Muggleton},
  title        = {Learning higher-order logic programs},
  journal      = {CoRR},
  volume       = {abs/1907.10953},
  year         = {2019}
}

@inproceedings{DBLP:conf/ijcai/CropperM16,
  author       = {Andrew Cropper and
                  Stephen H. Muggleton},
  title        = {Learning Higher-Order Logic Programs through Abstraction and Invention},
  booktitle    = {{IJCAI}},
  pages        = {1418--1424},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016}
}