Learning logic programs by discovering higher-order abstractions by Hocquette, C, Dumancic, S, Cropper, A

“…We introduce the higher-order refactoring problem, where the goal is to compress a logic program by discovering higher-order abstractions, such as map, filter, and fold. …”

Preface by Gibbons, J, Miller, D

“…Preface to <i>Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings.…”

Learning big logical rules by joining small rules by Hocquette, C, Niskanen, A, Morel, R, Järvisalo, M, Cropper, A

“…A major challenge in inductive logic programming is learning big rules. To address this challenge, we introduce an approach where we join small rules to learn big rules. …”

Vision language representation learning by Yang, Xiaofeng

“…To address this, we propose an inductive logic programming method that enables the explanation of vision language models in formal logic language.…”
Get full text

End point detection of weld seam removal in robotic abrasive belt grinding process based on computer vision and deep learning by Murugan, Pushparaja

“…Also, automation eliminate the human involvements by using the logical programming commands. However, the determination of end point detection in abrasive belt grinding process has been a non-trivial process in the implementation of robots. …”
Get full text