Inductive logic programming [24] is situated in the intersection of machine learning or data mining on the one hand, and logic programming on the other hand. It shares with the former fields the goal ...
Complete implementation of Inductive Logic Programming algorithms with full research accuracy. Includes FOIL (Quinlan 1990) and Progol (Muggleton 1995) with comprehensive configuration. Muggleton, S. ...
Abstract: This paper presents a novel multi-relational data mining (MRDM) approach from a perspective of considering higher-order inductive logic programming to dealing with the representation ...
Abstract: Modern search techniques either cannot efficiently incorporate human feedback to refine search results or cannot express structural or semantic properties of desired code. The key insight of ...
This work presents a novel systematic methodology to analyse the capabilities and limitations of Large Language Models (LLMs) with feedback from a formal inference engine, on logic theory induction.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results