www.cs.utexas.edu

Inductive Logic Programming

Inductive logic programming (ILP) studies the learning of (Prolog) logic programs and other relational knowledge from examples. Most machine learning algorithms are restricted to finite, propositional ...
www.cs.cmu.edu

Inductive Logic Programming

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 ...
GitHub

inductive-logic-programming

Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform ...
GitHub

Logic Programming in Prolog

This repository contains laboratory assignments for the "Loginis Programavimas" (Logic Programming) university course. The projects focus on declarative problem-solving, recursive logic, and ...
www.cs.utexas.edu

Using Multiple Clause Constructors in Inductive Logic Programming for Semantic Parsing (2001)

In this paper, we explored a learning approach which combines different learning methods in inductive logic programming (ILP) to allow a learner to produce more expressive hypothese than that of each ...
IEEE

Baseball Digest Production System Using Inductive Logic Programming

Abstract: Here, we propose a technique to acquire knowledge for baseball digest video production using an inductive inference approach. We integrated the concept of inductive logic programming (ILP) ...
IEEE

Synthesizing Recursive Logic Programs by Inverting General Resolution

Abstract: A fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data. While ...